[PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.

[Artem Dergachev via cfe-commits]

NoQ accepted this revision.
This revision is now accepted and ready to land.

================
Comment at: test/Analysis/out-of-bounds.c:153
@@ +152,3 @@
+// The result is unknown for the same reason as above.
+void test_asume_after_access(unsigned long x) {
+  int buf[100];
----------------
Yay, there already was a test for this.

/asume/assume/ here and below?


https://reviews.llvm.org/D23112