PR testsuite/791051 - FAIL: gcc.dg/attr-alloc_size-4.c (test for warnings, line 140)
authorMartin Sebor <msebor@redhat.com>
Thu, 12 Jan 2017 18:35:19 +0000 (18:35 +0000)
committerMartin Sebor <msebor@gcc.gnu.org>
Thu, 12 Jan 2017 18:35:19 +0000 (11:35 -0700)
gcc/testsuite/ChangeLog:
* gcc.dg/attr-alloc_size-4.c: Avoid false negatives due to bug 79054.

From-SVN: r244380

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/attr-alloc_size-4.c

index 3cc4eafd393f8869385d0510738a95a3803fdb10..a30c6393561ca9938ea14c501dfb152f70f96295 100644 (file)
@@ -1,3 +1,8 @@
+2017-01-12  Martin Sebor  <msebor@redhat.com>
+
+       PR testsuite/791051
+       * gcc.dg/attr-alloc_size-4.c: Avoid false negatives due to bug 79054.
+
 2017-01-12  David Edelsohn  <dje.gcc@gmail.com>
 
        * gcc.dg/pr78768.c: Require LTO.
index 5ce593e069297013bfff94ef42ac48a7aa69488e..d50b436b26d61de432abdaa0fdb5378328cc39e0 100644 (file)
@@ -137,7 +137,12 @@ test_int_range (int n)
   sink (f_int_1 (SAR (-3, 123)));
   sink (f_int_1 (SAR (-4, 1234)));   /* { dg-warning "argument 1 range \\\[1235, \[0-9\]+\\\] exceeds maximum object size 1234" } */
   sink (f_int_1 (SAR (min + 1, 1233)));
-  sink (f_int_1 (SAR (min + 2, 1235)));   /* { dg-warning "argument 1 range \\\[1236, \[0-9\]+\\\] exceeds maximum object size 1234" } */
+
+#if __SIZEOF_LONG__ == 8
+  /* Avoid failures described in bug 79051.  */
+  sink (f_int_1 (SAR (min + 2, 1235)));   /* { dg-warning "argument 1 range \\\[1236, \[0-9\]+\\\] exceeds maximum object size 1234" "" { target { lp64 } } } */
+#endif
+
   sink (f_int_1 (SAR (0, max)));   /* { dg-warning "argument 1 range \\\[-\[0-9\]*, -1\\\] is negative" } */
   /* The range below includes zero which would be diagnosed by
      -Walloc-size-zero but since all other values are negative it