[clang] [LifetimeSafety] Add support for GSL Pointer types (PR #154009)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 12 08:14:12 PDT 2025


usx95 wrote:

I think we have a very different model of understanding when a loan is created so it is hard to match these. Is there any piece specifically you have in mind. 

I could imagine lot of implicit annotation and annotation presence check can be shared (`shouldTrackImplicitObjectArg`, `isPointerLikeType`).

In general, I am a bit hesitant to share and widely use heuristics from the stmt-local analysis. I am ok with doing it for annotation semantics, implicit additions of annotations.

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


More information about the cfe-commits mailing list