| /* Test to verify that --param ssa_name_def_chain_limit can be used to |
| limit the maximum number of SSA_NAME assignments the warning follows. |
| { dg-do compile } |
| { dg-options "-O2 -Wall --param ssa-name-def-chain-limit=4" } */ |
| |
| #define NOIPA __attribute__ ((noipa)) |
| |
| const char a9[] = "123456789"; |
| |
| void sink (const char*, ...); |
| |
| NOIPA int g2 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| |
| sink (p0, p1, p2); |
| |
| return p2[8]; // { dg-warning "\\\[-Warray-bounds]" } |
| } |
| |
| NOIPA int g3 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| |
| sink (p0, p1, p2, p3); |
| |
| return p3[7]; // { dg-warning "\\\[-Warray-bounds]" } |
| } |
| |
| NOIPA int g4 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| const char *p4 = p3 + i; |
| |
| sink (p0, p1, p2, p3, p4); |
| |
| return p4[6]; // { dg-warning "\\\[-Warray-bounds]" } |
| } |
| |
| NOIPA int g5 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| const char *p4 = p3 + i; |
| const char *p5 = p4 + i; |
| |
| sink (p0, p1, p2, p3, p4, p5); |
| |
| return p5[5]; |
| } |
| |
| NOIPA int g6 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| const char *p4 = p3 + i; |
| const char *p5 = p4 + i; |
| const char *p6 = p5 + i; |
| |
| sink (p0, p1, p2, p3, p4, p5, p6); |
| |
| return p6[4]; |
| } |
| |
| NOIPA int g7 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| const char *p4 = p3 + i; |
| const char *p5 = p4 + i; |
| const char *p6 = p5 + i; |
| const char *p7 = p6 + i; |
| |
| sink (p0, p1, p2, p3, p4, p5, p6, p7); |
| |
| return p7[3]; |
| } |
| |
| NOIPA int g8 (int i) |
| { |
| if (i < 1) i = 1; |
| |
| const char *p0 = a9; |
| const char *p1 = p0 + i; |
| const char *p2 = p1 + i; |
| const char *p3 = p2 + i; |
| const char *p4 = p3 + i; |
| const char *p5 = p4 + i; |
| const char *p6 = p5 + i; |
| const char *p7 = p6 + i; |
| const char *p8 = p7 + i; |
| |
| sink (p0, p1, p2, p3, p4, p5, p6, p7, p8); |
| |
| return p8[2]; |
| } |