================
@@ -1225,11 +1227,11 @@ void ExprEngine::defaultEvalCall(NodeBuilder &Bldr,
ExplodedNode *Pred,
return;
}
- // Try to inline the call.
- // The origin expression here is just used as a kind of checksum;
- // this should still be safe even for CallEvents that don't come from exprs.
const Expr *E = Call.getOriginExpr();
+ // Try to inline the call. Note that `getInlineFailedStates` only uses its
+ // second argument in an assertion, so this should still be safe even for
+ // calls that don't come from exprs.
----------------
steakhal wrote:
How can we calls that doesn't come from exprs? Even ObjC message exprs (aka.
calls) are exprs. Do you have evidence for non-expr calls?
Maybe the way how we handle delegating ctors, or other ctors we have instances
of non-expr 'calls'.
https://github.com/llvm/llvm-project/pull/188319
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits