From f373041ce59c7a1d13b733a167339815717e19f5 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Sun, 20 Oct 2019 20:53:37 +0200 Subject: tree-ssa-alias.c (nonoverlapping_refs_since_match_p): Do not skip non-zero array accesses. * tree-ssa-alias.c (nonoverlapping_refs_since_match_p): Do not skip non-zero array accesses. * gcc.c-torture/execute/alias-access-path-2.c: New testcase. * gcc.dg/tree-ssa/alias-access-path-11.c: xfail. From-SVN: r277214 --- gcc/testsuite/gcc.c-torture/execute/alias-access-path-2.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/alias-access-path-2.c (limited to 'gcc/testsuite/gcc.c-torture') diff --git a/gcc/testsuite/gcc.c-torture/execute/alias-access-path-2.c b/gcc/testsuite/gcc.c-torture/execute/alias-access-path-2.c new file mode 100644 index 0000000..6dab37c --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/alias-access-path-2.c @@ -0,0 +1,11 @@ +int +main (int argc, char **argv) +{ + int c; + unsigned char out[][1] = { {71}, {71}, {71} }; + + for (int i = 0; i < 3; i++) + if (!out[i][0]) + __builtin_abort (); + return 0; +} -- cgit v1.1