[clang] [NFC][analyzer] Spread use of 'Expr*' instead of 'Stmt*' (PR #188319)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 30 02:12:12 PDT 2026


================
@@ -32,6 +32,12 @@ class SymbolReaper;
 /// This allows the environment to manage context-sensitive bindings,
 /// which is essentially for modeling recursive function analysis, among
 /// other things.
+/// FIXME: Use 'Expr' instead of 'Stmt' because associating a result with a
+/// non-expression statement does not make sense. Currently the environment
+/// never contains non-expression statements; and there is only one
----------------
steakhal wrote:

I'm tempted to simplify the double negation with saying `the environment only contains Exprs`

https://github.com/llvm/llvm-project/pull/188319


More information about the cfe-commits mailing list