contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h

   1 //== CheckerHelpers.h - Helper functions for checkers ------------*- C++ -*--=//
   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 //  This file defines CheckerVisitor.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H
  15 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_CHECKERHELPERS_H
  16
  17 #include "clang/AST/Stmt.h"
  18 #include <tuple>
  19
  20 namespace clang {
  21
  22 class Expr;
  23 class VarDecl;
  24
  25 namespace ento {
  26
  27 bool containsMacro(const Stmt *S);
  28 bool containsEnum(const Stmt *S);
  29 bool containsStaticLocal(const Stmt *S);
  30 bool containsBuiltinOffsetOf(const Stmt *S);
  31 template <class T> bool containsStmt(const Stmt *S) {
  32   if (isa<T>(S))
  33       return true;
  34
  35   for (const Stmt *Child : S->children())
  36     if (Child && containsStmt<T>(Child))
  37       return true;
  38
  39   return false;
  40 }
  41
  42 std::pair<const clang::VarDecl *, const clang::Expr *>
  43 parseAssignment(const Stmt *S);
  44
  45 } // end GR namespace
  46
  47 } // end clang namespace
  48
  49 #endif