Address feedback: document current inconsistency

Author: marco-antognini-sonarsource

clang/test/Analysis/initializer.cpp

@@ -644,6 +644,13 @@ void test3() {
   clang_analyzer_eval(*a.m_ptr == 0); // expected-warning{{TRUE}}
 }
 
+void test3Bis(char arg) {
+  A a(arg);
+  // FIXME This test should behave like test3.
+  clang_analyzer_eval(a.m_buf[0] == arg); // expected-warning{{FALSE}} // expected-warning{{TRUE}}
+  clang_analyzer_eval(*a.m_ptr == arg); // expected-warning{{UNKNOWN}}
+}
+
 void test4(char arg) {
   A a(arg, 314);
   clang_analyzer_eval(a.m_buf[0] == arg); // expected-warning{{TRUE}}