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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
