[clang] [analyzer] Order UninitializedObject notes deterministically (PR #214208)
Arseniy Zaostrovnykh via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 5 07:57:09 PDT 2026
================
@@ -0,0 +1,80 @@
+// DEFINE: %{run} = %clang_analyze_cc1 \
+// DEFINE: -analyzer-checker=core,optin.cplusplus.UninitializedObject \
+// DEFINE: -analyzer-output=text -fno-caret-diagnostics %s
+
+// RUN: %{run} -verify
+// RUN: %{run} 2>&1 | FileCheck %s
+
+// ATTENTION:
+// We use FileCheck to ensure that the relative order of the notes are in the expected order.
+// These notes used to be emitted in a non-deterministic order, which wasn't checked by `-verify`.
----------------
necto wrote:
```suggestion
// We use FileCheck to ensure that the relative order of the notes is stable.
// These notes used to be emitted in a non-deterministic order, which is not checked by `-verify`.
```
https://github.com/llvm/llvm-project/pull/214208
More information about the cfe-commits
mailing list