summaryrefslogtreecommitdiffstats
path: root/include/clang/Checker/PathSensitive/CheckerHelpers.h
blob: ea3c842ffc1f194df45a6ad4481c06a3283bcc23 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
//== CheckerHelpers.h - Helper functions for checkers ------------*- C++ -*--=//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
//  This file defines CheckerVisitor.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CLANG_CHECKER_PATHSENSITIVE_CHECKERHELPERS
#define LLVM_CLANG_CHECKER_PATHSENSITIVE_CHECKERHELPERS

#include "clang/AST/Stmt.h"

namespace clang {

bool containsMacro(const Stmt *S);
bool containsEnum(const Stmt *S);
bool containsStaticLocal(const Stmt *S);
bool containsBuiltinOffsetOf(const Stmt *S);
template <class T> bool containsStmt(const Stmt *S) {
  if (isa<T>(S))
      return true;

  for (Stmt::const_child_iterator I = S->child_begin(); I != S->child_end();
      ++I)
    if (const Stmt *child = *I)
      if (containsStmt<T>(child))
        return true;

  return false;
}

}

#endif
OpenPOWER on IntegriCloud