[clang] Make lifetimebound and GSL analysis more coherent (#105884)

This allows clang to detect more use-after-free bugs (shown in the #100549). This relands the remaining change (removing the EnableLifetimeWarnings flag) in #104906, with a proper fix for the regression. Fixes #100549
llvm · Sep 4, 2024 · d94199c · d94199c
1 parent 7330c9b
commit d94199c
Show file tree

Hide file tree

Showing 3 changed files with 87 additions and 96 deletions.
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
@@ -270,6 +270,9 @@ Improvements to Clang's diagnostics
 
 - Clang now respects lifetimebound attribute for the assignment operator parameter. (#GH106372).
 
+- The lifetimebound and GSL analysis in clang are coherent, allowing clang to
+  detect more use-after-free bugs. (#GH100549).
+
 Improvements to Clang's time-trace
 ----------------------------------