Predicate isIndirectEval
Holds if c
is an indirect eval call of the form (dummy, eval)(...)
, where
dummy
is some expression whose value is discarded, and which simply
exists to prevent the call from being interpreted as a direct eval.
Import path
import Expressions.ExprHasNoEffect
predicate isIndirectEval(CallExpr c, Expr dummy)