2001-07-11 Richard Sandiford <rsandifo@redhat.com>
+ * gcc.c-torture/compile/20010711-1.c,
+ * gcc.c-torture/compile/20010711-2.c: New tests.
+
+2001-07-11 Richard Sandiford <rsandifo@redhat.com>
+
* gcc.c-torture/execute/20010711-1.c: New test.
2001-07-11 Ben Elliston <bje@redhat.com>
--- /dev/null
+typedef unsigned long long value;
+
+void foo (value *v) {}
+
+void test ()
+{
+ value v;
+ foo (&v);
+ if (v-- > 0)
+ foo (&v);
+}
--- /dev/null
+typedef unsigned long long value;
+
+void foo (value *v) {}
+
+void test ()
+{
+ value v;
+ foo (&v);
+ if (v-- == 1)
+ foo (&v);
+}