re PR testsuite/79051 (FAIL: gcc.dg/attr-alloc_size-4.c (test for warnings, line 140))

PR testsuite/79051

gcc/testsuite/ChangeLog:
	* gcc.dg/attr-alloc_size-4.c: Work harder to avoid false negatives
	due to bug 79054.

From-SVN: r244382
This commit is contained in:
Martin Sebor 2017-01-12 18:50:26 +00:00 committed by Martin Sebor
parent 8be3f30682
commit 940242cd07
2 changed files with 3 additions and 4 deletions

View File

@ -1,7 +1,8 @@
2017-01-12 Martin Sebor <msebor@redhat.com>
PR testsuite/79051
* gcc.dg/attr-alloc_size-4.c: Avoid false negatives due to bug 79054.
* gcc.dg/attr-alloc_size-4.c: Work harder to avoid false negatives
due to bug 79054.
2017-01-12 David Edelsohn <dje.gcc@gmail.com>

View File

@ -138,10 +138,8 @@ test_int_range (int n)
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)));
#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 (min + 2, 1235))); /* { dg-warning "argument 1 range \\\[1236, \[0-9\]+\\\] exceeds maximum object size 1234" "" { target { x86_64-*-* } } } */
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