[clang] [NFC][analyzer] Refactor Environment to map Expr to SVal instead of Stmt to SVal (PR #193295)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 23 01:46:46 PDT 2026


================
@@ -792,22 +792,18 @@ inline SVal ProgramState::getLValue(QualType ElementType, SVal Idx, SVal Base) c
   return UnknownVal();
 }
 
-inline SVal ProgramState::getSVal(const Stmt *Ex,
+inline SVal ProgramState::getSVal(const Expr *Ex,
----------------
NagyDonat wrote:

Personally feel that `E` and `Ex` are equally valid names, and in fact I very slightly prefer `Ex`, so I support that this change introduces `Ex` in the new places. However, I can also accept switching to `E` if you prefer that.

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


More information about the cfe-commits mailing list