/* 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;
}