[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