[clang] [analyzer] Revert incorrect LazyCoumpoundVal changes (PR #163461)

Marco Borgeaud via cfe-commits cfe-commits at lists.llvm.org
Fri Oct 31 08:01:06 PDT 2025


================
@@ -503,3 +503,75 @@ namespace optional_union {
     custom_union_t a;
   } // leak-warning{{Potential leak of memory pointed to by 'a.present.q'}}
 }
+
+namespace gh153782 {
+
+// Ensure we do not regress on the following use case.
+
+namespace mutually_exclusive_test_case_1 {
+struct StorageWrapper {
+  // Imagine those two call a reset() function (among other things)
----------------
marco-antognini-sonarsource wrote:

I've clarified this comment (and its copies) to refer explicitly to the destructor and copy constructor.

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


More information about the cfe-commits mailing list