================ @@ -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) { ---------------- NagyDonat wrote:
Why is this a global static function and not a private method of `ProgramState`? Calling this function with `*this` as the first argument triggers my "Why is this trickery useful?" intuition; and if it could work as a method, then I would prefer that "more natural" solution. https://github.com/llvm/llvm-project/pull/85211 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits