1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpTraversal %s | FileCheck %s
2
3 void inline_callee(int i);
4
5 // CHECK: --BEGIN FUNCTION--
inline_caller()6 void inline_caller() {
7 // CHECK: --BEGIN FUNCTION--
8 // CHECK: --BEGIN FUNCTION--
9 // CHECK: --BEGIN FUNCTION--
10 inline_callee(3);
11 // CHECK: --END FUNCTION--
12 // CHECK: --END FUNCTION--
13 // CHECK: --END FUNCTION--
14 }
15 // CHECK: --END FUNCTION--
16
inline_callee(int i)17 void inline_callee(int i) {
18 if (i <= 1)
19 return;
20
21 inline_callee(i - 1);
22 }
23