[clang] [NFC][analyzer] Refactor Environment to map Expr to SVal instead of Stmt to SVal (PR #193295)
Balázs Benics via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 21 12:48:49 PDT 2026
================
@@ -377,10 +377,10 @@ class ProgramState : public llvm::FoldingSetNode {
/// Get the lvalue for an array index.
SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
- /// Returns the SVal bound to the statement 'S' in the state's environment.
- SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
+ /// Returns the SVal bound to the expression 'E' in the state's environment.
----------------
steakhal wrote:
```suggestion
/// Returns the SVal bound to the expression \p E in the state's environment.
```
https://github.com/llvm/llvm-project/pull/193295
More information about the cfe-commits
mailing list