================
@@ -10,8 +10,7 @@ struct S {
 S const sarr[2] = {};
 void definit() {
   int i = 1;
-  // FIXME: Should recognize that it is 3.
-  clang_analyzer_eval(sarr[i].a); // expected-warning{{UNKNOWN}}
+  clang_analyzer_eval(sarr[i].a); // expected-warning{{TRUE}}
----------------
steakhal wrote:

Can we dump that this is `3 S32b`?

https://github.com/llvm/llvm-project/pull/189361
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to