| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpTraversal %s | FileCheck %s | |
| void inline_callee(int i); | |
| // CHECK: --BEGIN FUNCTION-- | |
| void inline_caller(void) { | |
| // CHECK: --BEGIN FUNCTION-- | |
| // CHECK: --BEGIN FUNCTION-- | |
| // CHECK: --BEGIN FUNCTION-- | |
| inline_callee(3); | |
| // CHECK: --END FUNCTION-- | |
| // CHECK: --END FUNCTION-- | |
| // CHECK: --END FUNCTION-- | |
| } | |
| // CHECK: --END FUNCTION-- | |
| void inline_callee(int i) { | |
| if (i <= 1) | |
| return; | |
| inline_callee(i - 1); | |
| } |