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

// RUN: rm -rf %t && mkdir %t
// RUN: mkdir -p %t/ctudir
// RUN: %clang_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
// RUN:   -emit-pch -o %t/ctudir/ctu-onego-toplevel-other.cpp.ast %S/Inputs/ctu-onego-toplevel-other.cpp
// RUN: cp %S/Inputs/ctu-onego-toplevel-other.cpp.externalDefMap.ast-dump.txt %t/ctudir/externalDefMap.txt

// RUN: %clang_analyze_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
// RUN:   -analyzer-checker=core,debug.ExprInspection \
// RUN:   -analyzer-config eagerly-assume=false \
// RUN:   -analyzer-config experimental-enable-naive-ctu-analysis=true \
// RUN:   -analyzer-config ctu-dir=%t/ctudir \
// RUN:   -analyzer-config ctu-phase1-inlining=none \
// RUN:   -verify=ctu %s

// RUN: %clang_analyze_cc1 -std=c++14 -triple x86_64-pc-linux-gnu \
// RUN:   -analyzer-checker=core,debug.ExprInspection \
// RUN:   -analyzer-config eagerly-assume=false \
// RUN:   -analyzer-config experimental-enable-naive-ctu-analysis=true \
// RUN:   -analyzer-config ctu-dir=%t/ctudir \
// RUN:   -analyzer-config ctu-phase1-inlining=none \
// RUN:   -analyzer-config display-ctu-progress=true \
// RUN:   -analyzer-display-progress \
// RUN:   -verify=ctu %s 2>&1 | FileCheck %s

// CallGraph: c->b
// topological sort: c, b
// Note that `other` calls into `b` but that is not visible in the CallGraph
// because that happens in another TU.

// During the onego CTU analysis, we start with c() as top level function.
// Then we visit b() as non-toplevel during the processing of the FWList, thus
// that would not be visited as toplevel without special care.

// `c` is analyzed as toplevel and during that the other TU is loaded:
// CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} c(int){{.*}}CTU loaded AST file
// next, `b` is analyzed as toplevel:
// CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} b(int)

void b(int x);
void other(int y);
void c(int y) {
  other(y);
  return;
  // The below call is here to form the proper CallGraph, but will not be
  // analyzed.
  b(1);
}

void b(int x) {
  if (x == 0)
    (void)(1 / x);
    // ctu-warning@-1{{Division by zero}}
    // We receive the above warning only if `b` is analyzed as top-level.
}