clang/test/Analysis/ctu-onego-toplevel.cpp

   1 // RUN: rm -rf %t && mkdir %t
   2 // RUN: mkdir -p %t/ctudir
   3 // RUN: %clang_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
   4 // RUN:   -emit-pch -o %t/ctudir/ctu-onego-toplevel-other.cpp.ast %S/Inputs/ctu-onego-toplevel-other.cpp
   5 // RUN: cp %S/Inputs/ctu-onego-toplevel-other.cpp.externalDefMap.ast-dump.txt %t/ctudir/externalDefMap.txt
   6
   7 // RUN: %clang_analyze_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
   8 // RUN:   -analyzer-checker=core,debug.ExprInspection \
   9 // RUN:   -analyzer-config eagerly-assume=false \
  10 // RUN:   -analyzer-config experimental-enable-naive-ctu-analysis=true \
  11 // RUN:   -analyzer-config ctu-dir=%t/ctudir \
  12 // RUN:   -analyzer-config ctu-phase1-inlining=none \
  13 // RUN:   -verify=ctu %s
  14
  15 // RUN: %clang_analyze_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
  16 // RUN:   -analyzer-checker=core,debug.ExprInspection \
  17 // RUN:   -analyzer-config eagerly-assume=false \
  18 // RUN:   -analyzer-config experimental-enable-naive-ctu-analysis=true \
  19 // RUN:   -analyzer-config ctu-dir=%t/ctudir \
  20 // RUN:   -analyzer-config ctu-phase1-inlining=none \
  21 // RUN:   -analyzer-config display-ctu-progress=true \
  22 // RUN:   -analyzer-display-progress \
  23 // RUN:   -verify=ctu %s 2>&1 | FileCheck %s
  24
  25 // CallGraph: c->b
  26 // topological sort: c, b
  27 // Note that `other` calls into `b` but that is not visible in the CallGraph
  28 // because that happens in another TU.
  29
  30 // During the onego CTU analysis, we start with c() as top level function.
  31 // Then we visit b() as non-toplevel during the processing of the FWList, thus
  32 // that would not be visited as toplevel without special care.
  33
  34 // `c` is analyzed as toplevel and during that the other TU is loaded:
  35 // CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} c(int){{.*}}CTU loaded AST file
  36 // next, `b` is analyzed as toplevel:
  37 // CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} b(int)
  38
  39 void b(int x);
  40 void other(int y);
  41 void c(int y) {
  42   other(y);
  43   return;
  44   // The below call is here to form the proper CallGraph, but will not be
  45   // analyzed.
  46   b(1);
  47 }
  48
  49 void b(int x) {
  50   if (x == 0)
  51     (void)(1 / x);
  52     // ctu-warning@-1{{Division by zero}}
  53     // We receive the above warning only if `b` is analyzed as top-level.
  54 }