granicus.if.org Git - clang/blob - unittests/Analysis/CFGTest.cpp

   1 //===- unittests/Analysis/CFGTest.cpp - CFG tests -------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #include "clang/ASTMatchers/ASTMatchFinder.h"
  11 #include "clang/Analysis/CFG.h"
  12 #include "clang/Tooling/Tooling.h"
  13 #include "gtest/gtest.h"
  14 #include <string>
  15 #include <vector>
  16
  17 namespace clang {
  18 namespace analysis {
  19 namespace {
  20
  21 // Constructing a CFG for a range-based for over a dependent type fails (but
  22 // should not crash).
  23 TEST(CFG, RangeBasedForOverDependentType) {
  24   const char *Code = "class Foo;\n"
  25                      "template <typename T>\n"
  26                      "void f(const T &Range) {\n"
  27                      "  for (const Foo *TheFoo : Range) {\n"
  28                      "  }\n"
  29                      "}\n";
  30
  31   class CFGCallback : public ast_matchers::MatchFinder::MatchCallback {
  32   public:
  33     bool SawFunctionBody = false;
  34
  35     void run(const ast_matchers::MatchFinder::MatchResult &Result) override {
  36       const auto *Func = Result.Nodes.getNodeAs<FunctionDecl>("func");
  37       Stmt *Body = Func->getBody();
  38       if (!Body)
  39         return;
  40       SawFunctionBody = true;
  41       std::unique_ptr<CFG> cfg =
  42           CFG::buildCFG(nullptr, Body, Result.Context, CFG::BuildOptions());
  43       EXPECT_EQ(nullptr, cfg);
  44     }
  45   } Callback;
  46
  47   ast_matchers::MatchFinder Finder;
  48   Finder.addMatcher(ast_matchers::functionDecl().bind("func"), &Callback);
  49   std::unique_ptr<tooling::FrontendActionFactory> Factory(
  50       tooling::newFrontendActionFactory(&Finder));
  51   std::vector<std::string> Args = {"-std=c++11", "-fno-delayed-template-parsing"};
  52   ASSERT_TRUE(tooling::runToolOnCodeWithArgs(Factory->create(), Code, Args));
  53   EXPECT_TRUE(Callback.SawFunctionBody);
  54 }
  55
  56 } // namespace
  57 } // namespace analysis
  58 } // namespace clang