Viewing file:  Warray-bounds-92.c (5.31 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 distinct arrays through pointers with different
offsets each.
If/when -Warray-bounds is enhanced to issue "maybe" kinds of warnings
some of the accesses here will trigger those and will need updating.
{ 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], a8[8];
NOIPA void a4_p1_a8_p3 (int i)
{
int *a4_p1 = a4 + 1;
int *a8_p3 = a8 + 3;
int *q = i ? a4_p1 : a8_p3;
A (q, -4); // { dg-warning "-Warray-bounds" }
/* Because -3 is a valid offset into a8 but not a4, q must point
to the former and so subscripts between -3 and +4 refer to its
elements. */
A (q, -3); A (q, -2); A (q, -1); A (q, 0);
A (q, 1); A (q, 2); A (q, 3); A (q, 4);
A (q, 5); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
/* Both of the following are definitely out of bounds but the first isn't
diagnosed because the code conservatively merges the offsets into A4
and A8. */
A (q, 7); // { dg-warning "-Warray-bounds" }
}
NOIPA void a4_p1_a8_p5 (int i)
{
int *a4_p1 = a4 + 1;
int *a8_p5 = a8 + 5;
int *q = i ? a4_p1 : a8_p5;
A (q, -6); // { dg-warning "-Warray-bounds" }
/* Similarly to the above, because -5 is a valid offset into a8 but
not a4, q must point to the former and so subscripts between -5
and +2 refer to its elements. */
A (q, -5); A (q, -4); A (q, -3); A (q, -2);
A (q, -1); A (q, 0); A (q, 1); A (q, 2);
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 7); // { dg-warning "-Warray-bounds" }
}
NOIPA void a4_p1_a8_p7 (int i)
{
int *a4_p1 = a4 + 1;
int *a8_p7 = a8 + 7;
int *q = i ? a4_p1 : a8_p7;
A (q, -8); // { dg-warning "-Warray-bounds" }
A (q, -7); A (q, -6); A (q, -5); A (q, -4);
A (q, -3); A (q, -2); A (q, -1); A (q, 0);
/* Since -7 is valid, q must point to a8 and the last valid subscript
must be 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" "pr??????" { xfail *-*-* } }
A (q, 7); // { dg-warning "-Warray-bounds" }
}
NOIPA void mp_1_a4_p1_a8_p7 (int i, int j)
{
int *a4_p1 = a4 + 1;
int *a8_p7 = a8 + 7;
int *p = i ? a4_p1 : a8_p7;
int *q = j ? p + 1 : p - 1;
A (q, -9); // { dg-warning "-Warray-bounds" }
/* q points either to a8 + [6, 8] or a4 + [0, 2]. */
A (q, -8); A (q, -7); A (q, -6); A (q, -5);
A (q, -4); A (q, -3); A (q, -2); A (q, -1);
/* Since all the above are valid, q must point to a8 + 8. But as
mentioned above, the warning for each subscript is independent
of prior subscripts into the same object so the access below
aren't diagnosed. */
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" "pr??????" { xfail *-*-* } }
A (q, 8); // { dg-warning "-Warray-bounds" }
}
NOIPA void mp1_a4_p1_a8_p5 (int i, int j)
{
int *a4_p1 = a4 + 1;
int *a8_p5 = a8 + 5;
int *p = i ? a4_p1 : a8_p5;
int *q = j ? p + 1 : p - 1;
// q is assumed to point to a8 + 6
A (q, -7); // { dg-warning "-Warray-bounds" }
A (q, -6); A (q, -5); A (q, -4); A (q, -3);
A (q, -2); A (q, -1); A (q, 0); A (q, 1);
/* Even though the above accesses rule it out, q is now assumed
to point to either a4 + [0, 2] or a8 + [4, 5]. */
A (q, 2);
/* q is now assumed to point tp a4. Given that, only the first store
is valid. */
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 5); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 6); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 7); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 8); // { dg-warning "-Warray-bounds" }
}
NOIPA void mp1_a4_p1_a8_p4 (int i, int j)
{
int *a4_p1 = a4 + 1;
int *a8_p4 = a8 + 4;
int *p = i ? a4_p1 : a8_p4;
int *q = j ? p + 1 : p - 1;
// q is assumed to point to a8 + 5
A (q, -6); // { dg-warning "-Warray-bounds" }
A (q, -5);
A (q, -4);
A (q, -3);
A (q, -2);
A (q, -1);
A (q, 0);
A (q, 1);
A (q, 2);
/* Even though the above accesses rule it out, q is now assumed
to point tp a4. Given that, only the first store is valid. */
A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 4); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 5); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 6); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 7); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
A (q, 8); // { dg-warning "-Warray-bounds" }
}
|
