[clang] Reland "[LifetimeSafety] Detect iterator invalidation through container aliases" (PR #197873)

[Zeyi Xu via cfe-commits]

================
@@ -407,49 +455,72 @@ void Invalidate1Use1IsInvalid() {
   s.strings1.push_back("1");
   *it;
 }
-void Invalidate1Use2IsOk() {
+void Invalidate2Use1IsOk() {
     S s;
     auto it = s.strings1.begin();
     s.strings2.push_back("1");
     *it;
-}void Invalidate1Use2ViaRefIsOk() {
+}
+// FIXME: Requires field-sensitive AccessPaths to fix.
----------------
zeyi2 wrote:

Done, thanks :)

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