test/Analysis/debug-CallGraph.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCallGraph %s -fblocks 2>&1 | FileCheck %s
   2
   3 int get5() {
   4   return 5;
   5 }
   6
   7 int add(int val1, int val2) {
   8   return val1 + val2;
   9 }
  10
  11 int test_add() {
  12   return add(10, get5());
  13 }
  14
  15 static void mmm(int y) {
  16   if (y != 0)
  17       y++;
  18   y = y/y;
  19 }
  20
  21 static int foo(int x, int y) {
  22     mmm(y);
  23     if (x != 0)
  24       x++;
  25     return 5/x;
  26 }
  27
  28 void aaa() {
  29   foo(1,2);
  30 }
  31
  32 void bbb(int y) {
  33   int x = (y > 2);
  34   ^ {
  35       foo(x, y);
  36   }();
  37 }
  38 void ccc();
  39 void ddd() { ccc(); }
  40 void ccc() {}
  41
  42 void eee();
  43 void eee() {}
  44 void fff() { eee(); }
  45
  46 // This test case tests that forward declaration for the top-level function
  47 // does not affect call graph construction.
  48 void do_nothing() {}
  49 void test_single_call();
  50 void test_single_call() {
  51   do_nothing();
  52 }
  53
  54 namespace SomeNS {
  55 template<typename T>
  56 void templ(T t) {
  57   ccc();
  58 }
  59
  60 template<>
  61 void templ<double>(double t) {
  62   eee();
  63 }
  64
  65 void templUser() {
  66   templ(5);
  67   templ(5.5);
  68 }
  69 }
  70
  71 // CHECK:--- Call graph Dump ---
  72 // CHECK-NEXT: {{Function: < root > calls: get5 add test_add mmm foo aaa < > bbb ddd ccc eee fff do_nothing test_single_call SomeNS::templ SomeNS::templ SomeNS::templUser $}}
  73 // CHECK-NEXT: {{Function: SomeNS::templUser calls: SomeNS::templ SomeNS::templ $}}
  74 // CHECK-NEXT: {{Function: SomeNS::templ calls: eee $}}
  75 // CHECK-NEXT: {{Function: SomeNS::templ calls: ccc $}}
  76 // CHECK-NEXT: {{Function: test_single_call calls: do_nothing $}}
  77 // CHECK-NEXT: {{Function: do_nothing calls: $}}
  78 // CHECK-NEXT: {{Function: fff calls: eee $}}
  79 // CHECK-NEXT: {{Function: eee calls: $}}
  80 // CHECK-NEXT: {{Function: ddd calls: ccc $}}
  81 // CHECK-NEXT: {{Function: ccc calls: $}}
  82 // CHECK-NEXT: {{Function: bbb calls: < > $}}
  83 // CHECK-NEXT: {{Function: < > calls: foo $}}
  84 // CHECK-NEXT: {{Function: aaa calls: foo $}}
  85 // CHECK-NEXT: {{Function: foo calls: mmm $}}
  86 // CHECK-NEXT: {{Function: mmm calls: $}}
  87 // CHECK-NEXT: {{Function: test_add calls: add get5 $}}
  88 // CHECK-NEXT: {{Function: add calls: $}}
  89 // CHECK-NEXT: {{Function: get5 calls: $}}