clang/test/Analysis/egraph-asm-goto-no-crash.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
   2
   3 // expected-no-diagnostics
   4
   5 void clang_analyzer_warnIfReached();
   6
   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 }