================
@@ -590,6 +590,26 @@ static ProgramStateRef
getInlineFailedState(ProgramStateRef State,
void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
ExplodedNodeSet &dst) {
+ if (const auto *OCE = dyn_cast<CXXOperatorCallExpr>(CE)) {
+ // For instance method operators, make sure the 'this' argument has a
+ // valid region.
+ // FIXME: Why is this only applied for operator calls and not other calls?
----------------
NagyDonat wrote:
OK, thanks. Eventually somebody should investigate this, but (IMO) there is no
need to enter this rabbit hole right now. The FIXME comment is probably enough
for marking this issue; or I could create a Github ticket if you would prefer
so.
https://github.com/llvm/llvm-project/pull/200837
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
