Viewing file:  Warray-bounds-91.c (4.67 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR middle-end/103215 - bogus -Warray-bounds with two pointers with
different offsets each
Test for accesses into the same array through pointers with different
offsets each.
{ dg-do compile }
{ dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
#define NOIPA __attribute__ ((noipa))
#define A(p, off) ((p)[off] = __COUNTER__)
extern int a4[4];
NOIPA void p0_p1 (int i)
{
int *p0 = a4 + 0;
int *p1 = a4 + 1;
int *q = i ? p0 : p1;
A (q, -2); // { dg-warning "-Warray-bounds" }
A (q, -1); A (q, 0); A (q, 1); A (q, 2);
/* Since q points to a4 and -1 is a valid subscript, +3 must be invalid.
But the warning for each subscript is independent of prior subscripts
into the same object. That should be improved. */
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" }
}
NOIPA void p1_p0 (int i)
{
int *p1 = a4 + 1;
int *p0 = a4 + 0;
int *q = i ? p0 : p1;
A (q, -2); // { dg-warning "-Warray-bounds" }
A (q, -1); A (q, 0); A (q, 1); A (q, 2);
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" }
}
NOIPA void p1_p2 (int i)
{
int *p1 = a4 + 1;
int *p2 = a4 + 2;
int *q = i ? p1 : p2;
A (q, -3); // { dg-warning "-Warray-bounds" }
A (q, -2); A (q, -1); A (q, 0); A (q, 1);
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p2_p1 (int i)
{
int *p2 = a4 + 2;
int *p1 = a4 + 1;
int *q = i ? p1 : p2;
A (q, -3); // { dg-warning "-Warray-bounds" }
A (q, -2); A (q, -1); A (q, 0); A (q, 1);
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p1_p3 (int i)
{
int *p1 = a4 + 1;
int *p3 = a4 + 3;
int *q = i ? p1 : p3;
A (q, -4); // { dg-warning "-Warray-bounds" }
A (q, -3); A (q, -2); A (q, -1); A (q, 0);
A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p3_p1 (int i)
{
int *p3 = a4 + 3;
int *p1 = a4 + 1;
int *q = i ? p1 : p3;
A (q, -4); // { dg-warning "-Warray-bounds" }
A (q, -3); A (q, -2); A (q, -1); A (q, 0);
A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p1_p4 (int i)
{
int *p1 = a4 + 1;
int *p4 = a4 + 4;
int *q = i ? p1 : p4;
A (q, -5); // { dg-warning "-Warray-bounds" }
A (q, -4); A (q, -3); A (q, -2); A (q, -1);
A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p4_p1 (int i)
{
int *p4 = a4 + 4;
int *p1 = a4 + 1;
int *q = i ? p1 : p4;
A (q, -5); // { dg-warning "-Warray-bounds" }
A (q, -4); A (q, -3); A (q, -2); A (q, -1);
A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" }
}
NOIPA void p0_p1_p2 (int i)
{
int *p0 = a4 + 0;
int *p1 = a4 + 1;
int *p2 = a4 + 2;
int *q = i < 0 ? p1 : 0 < i ? p2 : p0;
A (q, -3); // { dg-warning "-Warray-bounds" }
A (q, -2); A (q, -1); A (q, 0); A (q, 1);
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" }
}
NOIPA void p0_p1_p2_p3_p4 (int i)
{
int *p0 = a4 + 0;
int *p1 = a4 + 1;
int *p2 = a4 + 2;
int *p3 = a4 + 3;
int *p4 = a4 + 4;
int *q = i < -1 ? p1 : i < 0 ? p2 : 1 < i ? p4 : 0 < i ? p3 : p0;
A (q, -5); // { dg-warning "-Warray-bounds" }
A (q, -4); A (q, -3); A (q, -2); A (q, -1);
A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" }
}
|
