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

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 20 07:53:58 PDT 2025


balazske wrote:

With the current version the extent symbol should become "dead" (not live any more) if the memory region becomes dead. The liveness of the extent symbol does not have effect on the liveness of the memory region. If the leak of the memory region can be detected, the leak of the extent can be detected too (maybe at a later point than before the patch). Normally the extent symbol is not something that can leak so this is anyway a rare case. Purpose of this patch is only to have the information about extent of the memory region available. If the original symbol would be garbage-collected but we keep it live like in this patch, it is not expected that the applied constraints change later. It should work like creating a new symbol for the extent and applying the constraints of the original symbol to it (and not making the original live). 

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


More information about the cfe-commits mailing list