1 // PR sanitizer/81262
2 // { dg-do compile }
3 // { dg-options "-O2 -fsanitize=unreachable" }
4 
5 int
foo()6 foo ()
7 {
8   asm goto ("" : : : : l1, l2);
9   __builtin_unreachable ();
10  l1:
11   return 1;
12  l2:
13   return 0;
14 }
15