OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR tree-optimization/83501 - strlen(a) not folded after strcpy(a, "...")

Browse Source 
gcc/testsuite/ChangeLog:
	* c-c++-common/Warray-bounds-3.c: Remove xfail.

From-SVN: r256181
This commit is contained in:
Martin Sebor 2018-01-03 16:26:49 +00:00 committed by Martin Sebor
parent 65f2d1ee1c
commit e95e79b628
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2018-01-03 Martin Sebor <msebor@redhat.com>
PR tree-optimization/83501
* c-c++-common/Warray-bounds-3.c: Remove xfail.
2018-01-03 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR tree-optimization/83501

2
gcc/testsuite/c-c++-common/Warray-bounds-3.c
View File

@ -359,7 +359,7 @@ void test_strcpy_bounds_memarray_range (void)
TM (a5, "0", ma.a5 + i, ma.a5);
TM (a5, "01", ma.a5 + i, ma.a5);
TM (a5, "012", ma.a5 + i, ma.a5);
TM (a5, "0123", ma.a5 + i, ma.a5); /* { dg-warning "offset 10 from the object at .ma. is out of the bounds of referenced subobject .\(MA::\)?a5. with type .char ?\\\[5]. at offset 4" "strcpy" { xfail *-*-* } } */
TM (a5, "0123", ma.a5 + i, ma.a5); /* { dg-warning "offset 10 from the object at .ma. is out of the bounds of referenced subobject .\(MA::\)?a5. with type .char ?\\\[5]. at offset 4" "strcpy" } */
TM (a11, "0", ma.a5, ma.a11);
TM (a11, "01", ma.a5, ma.a11);