2017-03-03 07:30:53 +08:00
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-checker=core.builtin.NoReturnFunctions -analyzer-display-progress %s 2>&1 | FileCheck %s
|
2016-01-11 17:38:48 +08:00
|
|
|
|
|
|
|
|
// Do not analyze test1() again because it was inlined
|
|
|
|
|
void test1();
|
|
|
|
|
|
|
|
|
|
void test2() {
|
|
|
|
|
test1();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void test1() {
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// CHECK: analysis-order.c test2
|
|
|
|
|
// CHECK-NEXT: analysis-order.c test1
|
|
|
|
|
// CHECK-NEXT: analysis-order.c test2
|
