clang/test/Analysis/traversal-begin-end-function.c

   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--
   6 void inline_caller(void) {
   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
  17 void inline_callee(int i) {
  18   if (i <= 1)
  19     return;
  20
  21   inline_callee(i - 1);
  22 }