Remove pragma[inline] from deconstructSizeExpr/3.

This commit is contained in:
Cornelius Riemenschneider
2020-04-23 15:53:11 +02:00
parent a33b7f8c99
commit 492f1f446a

View File

@@ -255,7 +255,6 @@ class OperatorNewAllocationFunction extends AllocationFunction {
}
}
pragma[inline]
private predicate deconstructSizeExpr(Expr sizeExpr, Expr lengthExpr, int sizeof) {
sizeExpr instanceof MulExpr and
exists(SizeofOperator sizeofOp |