[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