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