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

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 8 11:35:02 PDT 2016

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?


More information about the cfe-commits mailing list