Predicate freeCall
A call to a library routine that frees memory.
DEPRECATED: Use DeallocationExpr
instead (this also includes delete
expressions).
Import path
import cpp
predicate freeCall(FunctionCall fc, Expr arg)
A call to a library routine that frees memory.
DEPRECATED: Use DeallocationExpr
instead (this also includes delete
expressions).
import cpp
predicate freeCall(FunctionCall fc, Expr arg)