[clang] [analyzer] Wrap SymbolicRegions by ElementRegions before getting a FieldRegion (PR #85211)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 18 06:51:08 PDT 2024
================
@@ -451,6 +451,38 @@ void ProgramState::setStore(const StoreRef &newStore) {
store = newStoreStore;
}
+/// FieldRegions are expected to be wrapped by an ElementRegion as a canonical
+/// representation. See f8643a9b31c4029942f67d4534c9139b45173504 why.
+static SVal wrapSymbolicRegion(const ProgramState &State, SVal Base) {
----------------
steakhal wrote:
Makes sense. Moved into a private member function.
https://github.com/llvm/llvm-project/pull/85211
More information about the cfe-commits
mailing list