27 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s2 3// expected-no-diagnostics4 5void clang_analyzer_warnIfReached();6 7void 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