Predicate isReceiverSuppressingCall
Holds if c
is a call of the form (dummy, e[p])(...)
, where dummy
is
some expression whose value is discarded, and which simply exists
to prevent the call from being interpreted as a method call.
Import path
import Expressions.ExprHasNoEffect
predicate isReceiverSuppressingCall(CallExpr c, Expr dummy, PropAccess callee)