[clang] [NFC][analyzer] Simplify ExprEngine::Visit, eliminate NodeBuilders (PR #200837)

[Donát Nagy via cfe-commits]

================
@@ -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