[PATCH] D135136: [analyzer] Make directly bounded LazyCompoundVal as lazily copied

[Balázs Benics via Phabricator via cfe-commits]

steakhal added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:2290
       List.insert(List.end(), InnerList.begin(), InnerList.end());
-      continue;
     }
----------------
Here is the `continue` which previously prevented `getInterestingValues()` returning a list containing `LazyCompoundVals`. Now, we actually want them to be able to mark them as //lazily copied// as described in the summary.
I'm just highlighting this, as when I reviewed this change it did not immediately stand out.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D135136/new/

https://reviews.llvm.org/D135136