no-exit-cfg.c revision cdc3a89d5de90b2299c56f4a46c3de590c5184d1
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s 2 3// This is a test case for the issue reported in PR 2819: 4// http://llvm.org/bugs/show_bug.cgi?id=2819 5// The flow-sensitive dataflow solver should work even when no block in 6// the CFG reaches the exit block. 7 8int g(int x); 9void h(int x); 10 11int f(int x) 12{ 13out_err: 14 if (g(x)) { 15 h(x); 16 } 17 goto out_err; 18} 19