C++: Fix mistake in previous commit.

This commit is contained in:
Geoffrey White
2021-10-20 15:30:37 +01:00
parent f7bd74ea59
commit f17c06a37f

View File

@@ -45,7 +45,7 @@ predicate mayAddNullTerminator(Expr e, VariableAccess va) {
// Assignment to another stack variable
exists(Expr e0 |
mayAddNullTerminatorHelper(pragma[only_bind_into](e), va, pragma[only_bind_into](e0)) and
nodeBefore(e0, e)
nodeBefore(e, e0)
)
or
// Assignment to non-stack variable