blob: a884e0095767e3bcc8d3ab21e78a2ff62bc885b5 [file] [log] [blame]
/* { dg-do compile } */
/* { dg-options "-O2 -fno-strict-aliasing" } */
/* { dg-final { scan-assembler "dont_delete" } } */
typedef struct { int x; } __attribute__((may_alias)) S;
extern void dont_delete (void);
void f(S *s, float *f)
{
s->x = 1;
*f = 0;
if (s->x != 1)
dont_delete ();
}