================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to