1 /* PR sanitizer/81262 */
2 
3 void bar (void) __attribute__((cold, noreturn));
4 
5 int
foo(void)6 foo (void)
7 {
8   asm goto ("" : : : : l1, l2);
9   bar ();
10  l1:
11   return 1;
12  l2:
13   return 0;
14 }
15