126 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCallGraph %s -fblocks -std=c++14 2>&1 | FileCheck %s2 3int get5() {4 return 5;5}6 7int add(int val1, int val2) {8 return val1 + val2;9}10 11int test_add() {12 return add(10, get5());13}14 15static void mmm(int y) {16 if (y != 0)17 y++;18 y = y/y;19}20 21static int foo(int x, int y) {22 mmm(y);23 if (x != 0)24 x++;25 return 5/x;26}27 28void aaa() {29 foo(1,2);30}31 32void bbb(int y) {33 int x = (y > 2);34 ^ {35 foo(x, y);36 }();37}38void ccc();39void ddd() { ccc(); }40void ccc() {}41 42void eee();43void eee() {}44void fff() { eee(); }45 46// This test case tests that forward declaration for the top-level function47// does not affect call graph construction.48void do_nothing() {}49void test_single_call();50void test_single_call() {51 do_nothing();52}53 54namespace SomeNS {55template<typename T>56void templ(T t) {57 ccc();58}59 60template<>61void templ<double>(double t) {62 eee();63}64 65void templUser() {66 templ(5);67 templ(5.5);68}69}70 71namespace Lambdas {72 void Callee(){}73 74 void f1() {75 [](int i) {76 Callee();77 }(1);78 [](auto i) {79 Callee();80 }(1);81 }82}83 84namespace CallDecl {85 void SomeDecl();86 void SomeOtherDecl();87 void SomeDef() {}88 89 void Caller() {90 SomeDecl();91 SomeOtherDecl();92 }93 94 void SomeOtherDecl() {95 SomeDef();96 }97}98 99// CHECK:--- Call graph Dump ---100// 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 Lambdas::Callee Lambdas::f1 Lambdas::f1\(\)::\(anonymous class\)::operator\(\) Lambdas::f1\(\)::\(anonymous class\)::operator\(\) CallDecl::SomeDef CallDecl::Caller CallDecl::SomeDecl CallDecl::SomeOtherDecl $}}101// CHECK-NEXT: {{Function: CallDecl::Caller calls: CallDecl::SomeDecl CallDecl::SomeOtherDecl $}}102// CHECK-NEXT: {{Function: CallDecl::SomeOtherDecl calls: CallDecl::SomeDef $}}103// CHECK-NEXT: {{Function: CallDecl::SomeDecl calls: $}}104// CHECK-NEXT: {{Function: CallDecl::SomeDef calls: $}}105// CHECK-NEXT: {{Function: Lambdas::f1 calls: Lambdas::f1\(\)::\(anonymous class\)::operator\(\) Lambdas::f1\(\)::\(anonymous class\)::operator\(\) $}}106// CHECK-NEXT: {{Function: Lambdas::f1\(\)::\(anonymous class\)::operator\(\) calls: Lambdas::Callee $}}107// CHECK-NEXT: {{Function: Lambdas::f1\(\)::\(anonymous class\)::operator\(\) calls: Lambdas::Callee $}}108// CHECK-NEXT: {{Function: Lambdas::Callee calls: $}}109// CHECK-NEXT: {{Function: SomeNS::templUser calls: SomeNS::templ SomeNS::templ $}}110// CHECK-NEXT: {{Function: SomeNS::templ calls: eee $}}111// CHECK-NEXT: {{Function: SomeNS::templ calls: ccc $}}112// CHECK-NEXT: {{Function: test_single_call calls: do_nothing $}}113// CHECK-NEXT: {{Function: do_nothing calls: $}}114// CHECK-NEXT: {{Function: fff calls: eee $}}115// CHECK-NEXT: {{Function: eee calls: $}}116// CHECK-NEXT: {{Function: ddd calls: ccc $}}117// CHECK-NEXT: {{Function: ccc calls: $}}118// CHECK-NEXT: {{Function: bbb calls: < > $}}119// CHECK-NEXT: {{Function: < > calls: foo $}}120// CHECK-NEXT: {{Function: aaa calls: foo $}}121// CHECK-NEXT: {{Function: foo calls: mmm $}}122// CHECK-NEXT: {{Function: mmm calls: $}}123// CHECK-NEXT: {{Function: test_add calls: add get5 $}}124// CHECK-NEXT: {{Function: add calls: $}}125// CHECK-NEXT: {{Function: get5 calls: $}}126