blob: 0c2f81a1705452a71ec4d92e30d76894a82c3999 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
/* PR middle-end/35314 */
/* { dg-do compile } */
/* { dg-options "-fmudflap" } */
#include <setjmp.h>
jmp_buf buf;
void
foo (volatile char *p)
{
if (__builtin_setjmp (buf))
*p;
}
|