Home | History | Annotate | Download | only in Analysis
      1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.DumpTraversal %s | FileCheck %s
      2 
      3 void inline_callee(int i);
      4 
      5 // CHECK: --BEGIN FUNCTION--
      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 
     17 void inline_callee(int i) {
     18   if (i <= 1)
     19     return;
     20 
     21   inline_callee(i - 1);
     22 }
     23