Index: test/Analysis/func.c
===================================================================
--- test/Analysis/func.c
+++ test/Analysis/func.c
@@ -39,3 +39,9 @@
   f(); // expected-warning{{Called function pointer is null}}
   clang_analyzer_warnIfReached(); // no-warning
 }
+
+extern int table[];
+void unknownArrayIndex(int i) {
+  if (table[i] != 0) { }
+  clang_analyzer_eval(table[i] != 0); // expected-warning {{UNKNOWN}}
+}
Index: test/Analysis/unreachable-code-path.c
===================================================================
--- test/Analysis/unreachable-code-path.c
+++ test/Analysis/unreachable-code-path.c
@@ -198,7 +198,7 @@
 // Don't merge return nodes in ExplodedGraph unless they are same.
 extern int table[];
 static int inlineFunction(const int i) {
-  if (table[i] != 0)
+  if (table[i] != 0) // SVal for condition must be UNKNOWN
     return 1;
   return 0;
 }