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

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

From-SVN: r244380
This commit is contained in:
Martin Sebor 2017-01-12 18:35:19 +00:00 committed by Martin Sebor
parent b7431c206e
commit dcb5624309
2 changed files with 11 additions and 1 deletions

View 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.

View 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