[PATCH] D71224: [analyzer][WIP] Escape symbols stored into specific region after a conservative evalcall.

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun marked an inline comment as done.
xazax.hun added inline comments.


================
Comment at: clang/include/clang/StaticAnalyzer/Core/CheckerManager.h:402
+                         InvalidatedSymbols *IS,
+                         RegionAndSymbolInvalidationTraits *ETraits,
+                         StoreManager::InvalidatedRegions *TopLevelInvalidated);
----------------
Actually, it is possible I went too far with plumbing `RegionAndSymbolInvalidationTraits`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71224