C++: Update predicate after getAnArrayOffset/0 deprecation

This commit is contained in:
Jeroen Ketema
2026-01-08 13:54:02 +01:00
parent 4c3fb0c7c4
commit 9ceb091f85

View File

@@ -13,7 +13,7 @@ class SizeofImpureExprOperator extends SizeofExprOperator {
not e.(OverloadedPointerDereferenceExpr).getExpr().isPure() and
not exists(OverloadedArrayExpr op | op = e |
op.getArrayBase().isPure() and
op.getArrayOffset().isPure()
forall(Expr offset | offset = op.getAnArrayOffset() | offset.isPure())
)
)
}