Viewing file:  Warray-bounds-79.c (3.47 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/99475 - bogus -Warray-bounds accessing an array
element of empty structs
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
struct S
{
#if SOME_CONFIG_MACRO
/* Suppose the contents are empty in the development configuration
but non-empty in others. Out of bounds accesses to elements of
the arrays below should be diagnosed in all configurations,
including when S is empty, even if they are folded away. */
int member;
#endif
};
extern struct S sa3[3];
extern struct S sa2_3[2][3];
extern struct S sa3_4_5[3][4][5];
void sink (void*);
void access_sa3 (void)
{
sa3[0] = (struct S){ };
sa3[1] = (struct S){ };
sa3[2] = (struct S){ };
sa3[3] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
}
void access_sa3_ptr (void)
{
struct S *p = &sa3[0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[3] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
}
void access_sa2_3_ptr (void)
{
struct S *p = &sa2_3[0][0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[6] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
}
void access_sa3_4_5_ptr (struct S s, int i)
{
struct S *p = &sa3_4_5[0][0][0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[60] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
}
void access_vla3 (struct S s, unsigned n)
{
struct S vla3[3 < n ? 3 : n];
vla3[0] = (struct S){ };
vla3[1] = (struct S){ };
vla3[2] = (struct S){ };
vla3[3] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
sink (vla3);
}
void access_vla3_ptr (struct S s, unsigned n)
{
struct S vla3[3 < n ? 3 : n];
struct S *p = &vla3[0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[3] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
sink (vla3);
}
void access_vla2_3_ptr (struct S s, unsigned n)
{
struct S vla2_3[2 < n ? 2 : n][3 < n ? 3 : n];
struct S *p = &vla2_3[0][0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[6] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
sink (vla2_3);
}
void access_vla3_4_5_ptr (struct S s, unsigned n)
{
struct S vla3_4_5[3 < n ? 3 : n][4 < n ? 4 : n][5 < n ? 5 : n];
struct S *p = &vla3_4_5[0][0][0];
p[0] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[1] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[2] = (struct S){ }; // { dg-bogus "\\\[-Warray-bounds" }
p[60] = (struct S){ }; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
sink (vla3_4_5);
}
|
