Simplify a condition.

This commit is contained in:
Max Schaefer
2020-03-12 15:01:30 +00:00
parent d66888e651
commit b2f1da8942

View File

@@ -150,7 +150,7 @@ module AllocationSizeOverflow {
private predicate isSmall(Expr e) {
isSmallType(e.getType())
or
exists(e.getExactValue())
e.isConst()
or
exists(KeyValueExpr kv | kv = e |
isSmall(kv.getKey()) and