[clang] [clang][analyzer] Extend lifetime of dynamic extent information (PR #163562)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Tue Oct 21 06:59:12 PDT 2025


================
@@ -128,5 +128,12 @@ ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
   return State->set<DynamicExtentMap>(MR->StripCasts(), Size);
 }
 
+void markAllDynamicExtentLive(ProgramStateRef State, SymbolReaper &SymReaper) {
----------------
NagyDonat wrote:

Perhaps rename this to `keepDynamicExtentAlive` or something similar now that we no longer mark _all_ the dynamic extent values as live?

https://github.com/llvm/llvm-project/pull/163562


More information about the cfe-commits mailing list