1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin.NoReturnFunctions -analyzer-display-progress %s 2>&1 | FileCheck %s |
---|---|
2 | |
3 | // Do not analyze test1() again because it was inlined |
4 | void test1(); |
5 | |
6 | void test2() { |
7 | test1(); |
8 | } |
9 | |
10 | void test1() { |
11 | } |
12 | |
13 | // CHECK: analysis-order.c test2 |
14 | // CHECK-NEXT: analysis-order.c test1 |
15 | // CHECK-NEXT: analysis-order.c test2 |
16 |