1 /* { dg-require-effective-target int32plus } */
2 /* { dg-options "-fno-strict-overflow" } */
4 extern void abort (void);
5 extern void exit (int);
7 __attribute__ ((noinline
)) void
8 foo(short unsigned int *p1
, short unsigned int *p2
)
10 short unsigned int x1
, x4
;
20 x7
= (unsigned int) x6
;
29 short unsigned int x
, y
;