+2015-08-14 Marek Polacek <polacek@redhat.com>
+
+ PR middle-end/67133
+ * gimple.c (infer_nonnull_range_by_attribute): Check that the
+ nonnull argument position is not outside function arguments.
+
2015-08-14 Matthew Wahab <matthew.wahab@arm.com>
PR target/67143
/* Now see if op appears in the nonnull list. */
for (tree t = TREE_VALUE (attrs); t; t = TREE_CHAIN (t))
{
- int idx = TREE_INT_CST_LOW (TREE_VALUE (t)) - 1;
- tree arg = gimple_call_arg (stmt, idx);
- if (operand_equal_p (op, arg, 0))
- return true;
+ unsigned int idx = TREE_INT_CST_LOW (TREE_VALUE (t)) - 1;
+ if (idx < gimple_call_num_args (stmt))
+ {
+ tree arg = gimple_call_arg (stmt, idx);
+ if (operand_equal_p (op, arg, 0))
+ return true;
+ }
}
}
}
+2015-08-14 Marek Polacek <polacek@redhat.com>
+
+ PR middle-end/67133
+ * gcc.dg/torture/pr67133.c: New test.
+
2015-08-14 Matthew Wahab <matthew.wahab@arm.com>
Matthias Klose <doko@debian.org>
--- /dev/null
+/* { dg-do compile } */
+/* { dg-additional-options "-fisolate-erroneous-paths-attribute" } */
+
+int printf (const char *, ...);
+int foo (int);
+
+int a, *b, c;
+
+static int
+fn1 ()
+{
+ if (a)
+ return (a = 0);
+ for (; a; )
+ a = 0;
+ return 0;
+}
+
+static int
+fn2 (int p)
+{
+ fn1 ();
+ c = 0;
+ if (p)
+ printf ("%d", 0);
+ foo (b != &p);
+ return 0;
+}
+
+void
+fn3 ()
+{
+ fn2 (0);
+}