// RUN: %llvmgcc -S %s -o - | llvm-as -o /dev/null
#include <setjmp.h>
sigjmp_buf B;
int foo() {
sigsetjmp(B, 1);
bar();
}