[clang] Reland: [clang] Diagnose dangling issues for the "Container<GSLPointer>" case. #107213 (PR #108344)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 12 16:23:49 PDT 2024


https://github.com/usx95 commented:

We seem to be good at detecting new false positives but this is natural due to the visible compiler diagnositc. Unfortunately, same is not true for new false-negatives. More tests in our test-suite is the only way to detect those and we should be extensively adding more tests. This is something I feel particularly missing for lifetime analysis given the complexity of the code. This is obviously not actionable and non-blocking and is more of a meta comment.

See my comment for ideas for more tests.

I also found a recently introduced false-negative. This is not particularly introduced by this PR but is very related:
https://github.com/llvm/llvm-project/issues/108463

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


More information about the cfe-commits mailing list