[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