diff options
| author | Martin Sebor <msebor@redhat.com> | 2018-01-03 16:26:49 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2018-01-03 09:26:49 -0700 |
| commit | e95e79b628438a978b14c9a0740e0bb8072477e0 (patch) | |
| tree | 4ddc3e72ce2e09098552f61412f66f66ba65773e | |
| parent | 65f2d1ee1c20860e238750099b88e394ee30a770 (diff) | |
| download | gcc-e95e79b628438a978b14c9a0740e0bb8072477e0.zip gcc-e95e79b628438a978b14c9a0740e0bb8072477e0.tar.gz gcc-e95e79b628438a978b14c9a0740e0bb8072477e0.tar.bz2 | |
PR tree-optimization/83501 - strlen(a) not folded after strcpy(a, "...")
gcc/testsuite/ChangeLog:
* c-c++-common/Warray-bounds-3.c: Remove xfail.
From-SVN: r256181
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/Warray-bounds-3.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c18e6c7..1c21902 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/c-c++-common/Warray-bounds-3.c b/gcc/testsuite/c-c++-common/Warray-bounds-3.c index 30e5cfe..eb0f050 100644 --- a/gcc/testsuite/c-c++-common/Warray-bounds-3.c +++ b/gcc/testsuite/c-c++-common/Warray-bounds-3.c @@ -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); |