------- Comment #6 from jakub at gcc dot gnu dot org 2007-07-16 14:03 -------
Even shorter testcase:
struct S
{
unsigned long bits[1];
};
void f1 (int, unsigned long *);
int f2 (void);
int f3 (int, unsigned long *);
int f4 (int, unsigned long *);
static inline __attribute__ ((always_inline))
void baz (int x, volatile struct S *y)
{
f1 (x, y->bits);
}
static int
bar (int x, struct S *y)
{
int n;
if (__builtin_constant_p (x) ? f3 (x, y->bits) : f4 (x, y->bits))
baz (x, y);
for (n = f2 (); n < 8; n = f2 ())
f3 (n, y->bits);
}
void
foo (int x, int y)
{
struct S m;
while ((y = bar (x, &m)) >= 0);
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32772