llvm/clang/test/Analysis/inlining/analysis-order.c

// RUN: %clang_analyze_cc1 -analyzer-checker=core.builtin.NoReturnFunctions -analyzer-display-progress %s 2>&1 | FileCheck %s

// Do not analyze test1() again because it was inlined
void test1(void);

void test2(void) {
  test1();
}

void test1(void) {
}

// CHECK: analysis-order.c test2
// CHECK-NEXT: analysis-order.c test1
// CHECK-NEXT: analysis-order.c test2