70 lines
1.3 KiB
C
70 lines
1.3 KiB
C
/* PR debug/41340 */
|
|
/* { dg-do compile } */
|
|
/* { dg-options "-O3 -g -fcompare-debug" } */
|
|
/* { dg-options "-O3 -g -fcompare-debug -march=i686" { target { { i?86-*-* x86_64-*-* } && ilp32 } } } */
|
|
/* { dg-skip-if "no long pointers" { { ! ilp32 } && { ! lp64 } } } */
|
|
|
|
typedef struct { int t; } *T;
|
|
struct S1 { unsigned s1; };
|
|
struct S2 { struct S1 s2; };
|
|
struct S3 { unsigned s3; struct S2 **s4; };
|
|
struct S5 { struct S2 *s5; };
|
|
|
|
extern void fn0 (void) __attribute__ ((__noreturn__));
|
|
T fn6 (struct S3);
|
|
void fn7 (void);
|
|
|
|
static inline __attribute__((always_inline)) int
|
|
fn1 (const struct S1 *x)
|
|
{
|
|
return x->s1;
|
|
}
|
|
|
|
static inline __attribute__((always_inline)) int
|
|
fn2 (const struct S1 *x, unsigned y)
|
|
{
|
|
if (y >= x->s1)
|
|
fn0 ();
|
|
return 0;
|
|
}
|
|
|
|
static inline __attribute__((always_inline)) int
|
|
fn3 (struct S3 x)
|
|
{
|
|
return (x.s3 == fn1 (*x.s4 ? &(*x.s4)->s2 : 0));
|
|
}
|
|
|
|
static inline __attribute__((always_inline)) int
|
|
fn4 (struct S3 x)
|
|
{
|
|
return fn2 (&(*x.s4)->s2, x.s3);
|
|
}
|
|
|
|
int
|
|
fn5 (struct S3 x, T *y)
|
|
{
|
|
if (!fn3 (x))
|
|
{
|
|
*y = (T) (long) fn4 (x);
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
void
|
|
test (struct S5 *x)
|
|
{
|
|
struct S3 a;
|
|
T b;
|
|
unsigned char c = 0;
|
|
a.s4 = &x->s5;
|
|
while (fn5 (a, &b))
|
|
if (!(b->t & 8))
|
|
c = 1;
|
|
a.s4 = &x->s5;
|
|
while ((b = fn6 (a)))
|
|
;
|
|
if (!c)
|
|
fn7 ();
|
|
}
|