[Bug tree-optimization/106457] array_at_struct_end_p returns TRUE for a two-dimension array which is not inside any structure

["qinzhao at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106457

--- Comment #8 from qinzhao at gcc dot gnu.org ---
another testing case failed with the current array_at_struct_end_p is:
gcc/testsuite/gcc.dg/torture/pr50067-1.c:
  1 /* { dg-do run } */
  2 
  3 /* Make sure data-dependence analysis does not compute a bogus
  4    distance vector for the different sized accesses.  */
  5 
  6 extern int memcmp(const void *, const void *, __SIZE_TYPE__);
  7 extern void abort (void);
  8 short a[32] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
17, 18, 19, 20, 21    , 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 };
  9 short b[32] = { 4, 0, 5, 0, 6, 0, 7, 0, 8, 0, };
 10 int main()
 11 {
 12 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
 13   int i;
 14   if (sizeof (short) == 2)
 15     {
 16       for (i = 0; i < 32; ++i)
 17         (*((unsigned short(*)[32])&a[0]))[i] =
(*((char(*)[32])&a[0]))[i+8];
 18       if (memcmp (&a, &b, sizeof (a)) != 0)
 19         abort ();
 20     }
 21 #endif
 22   return 0;
 23 }

In the above, the array ref at line 17: (*((char(*)[32])&a[0]))[i+8] was
identified as TRUE by the current array_at_struct_end_p:
12690     if (TREE_CODE (ref) == ARRAY_REF
(gdb) call debug_tree(ref)
 <array_ref 0xfffff57a2b50
    type <integer_type 0xfffff57d03f0 char public unsigned QI
        size <integer_cst 0xfffff56c0f00 constant 8>
        unit-size <integer_cst 0xfffff56c0f18 constant 1>
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0xfffff57d03f0 precision:8 min <integer_cst 0xfffff56c0f60 0> max <integer_cst
0xfffff56c0f48 255>
        pointer_to_this <pointer_type 0xfffff57d40f8>>

    arg:0 <mem_ref 0xfffff59fe3d0
        type <array_type 0xfffff5994d70 type <integer_type 0xfffff57d03f0 char>
            BLK
            size <integer_cst 0xfffff56c1170 constant 256>
            unit-size <integer_cst 0xfffff56c1260 constant 32>
            align:8 warn_if_not_align:0 symtab:0 alias-set 0 canonical-type
0xfffff5994d70 domain <integer_type 0xfffff5994b78>
            pointer_to_this <pointer_type 0xfffff5994e18>>

        arg:0 <addr_expr 0xfffff56dbbe0 type <pointer_type 0xfffff5994ec0>
            constant arg:0 <var_decl 0xfffff5770ea0 a>>
        arg:1 <integer_cst 0xfffff56c7c08 constant 0>
       
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:42
start:
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:41
finish:
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:63>
    arg:1 <ssa_name 0xfffff57612d8
        type <integer_type 0xfffff57d05e8 int sizes-gimplified public SI
            size <integer_cst 0xfffff56c1050 constant 32>
            unit-size <integer_cst 0xfffff56c1068 constant 4>
            align:32 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0xfffff57d05e8 precision:32 min <integer_cst 0xfffff56c1008 -2147483648> max
<integer_cst 0xfffff56c1020 2147483647>
            pointer_to_this <pointer_type 0xfffff57d1a40>>
        visited
        def_stmt _1 = i_13 + 8;
        version:1
        ptr-info 0xfffff59fee20>
   
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:64
start:
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:41
finish:
/home/opc/Work/GCC/latest_gcc/gcc/testsuite/gcc.dg/torture/pr50067-1.c:17:68>
....(gdb) n
12801           return true;
(gdb)