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