================
@@ -0,0 +1,20 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core \
+// RUN: -analyzer-checker=core,debug.ExprInspection \
+// RUN: -analyzer-constraints=unsupported-z3 -verify %s
+// REQUIRES: z3
+// expected-no-diagnostics
+
+void atomic_bool(_Bool input) {
+ _Atomic(_Bool) value = input;
+ if (value) {
+ }
+}
+
+typedef _Bool B1;
+typedef _Bool B2;
+
+void atomic_bool_typedef(B1 input) {
+ _Atomic(B2) value = input;
+ if (value) {
+ }
+}
----------------
steakhal wrote:
The question is rather, which statement was the engine evaluating when it
crashed. It's printed in the trace btw. And the no-crash comment should be put
at that statement.
https://github.com/llvm/llvm-project/pull/212050
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
