1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
2 
3 // expected-no-diagnostics
4 
5 void clang_analyzer_warnIfReached();
6 
testAsmGoto()7 void testAsmGoto() {
8   asm goto("xor %0, %0\n je %l[label1]\n jl %l[label2]"
9            : /* no outputs */
10            : /* inputs */
11            : /* clobbers */
12            : label1, label2 /* any labels used */);
13 
14   // FIXME: Should be reachable.
15   clang_analyzer_warnIfReached();
16 
17   label1:
18   // FIXME: Should be reachable.
19   clang_analyzer_warnIfReached();
20   return;
21 
22   label2:
23   // FIXME: Should be reachable.
24   clang_analyzer_warnIfReached();
25   return;
26 }
27