diff options
Diffstat (limited to 'include/clang/Checker/Checkers/DereferenceChecker.h')
-rw-r--r-- | include/clang/Checker/Checkers/DereferenceChecker.h | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/include/clang/Checker/Checkers/DereferenceChecker.h b/include/clang/Checker/Checkers/DereferenceChecker.h deleted file mode 100644 index a84183e..0000000 --- a/include/clang/Checker/Checkers/DereferenceChecker.h +++ /dev/null @@ -1,31 +0,0 @@ -//== NullDerefChecker.h - Null dereference checker --------------*- C++ -*--==// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines NullDerefChecker and UndefDerefChecker, two builtin checks -// in GRExprEngine that check for null and undefined pointers at loads -// and stores. -// -//===----------------------------------------------------------------------===// - -#ifndef LLVM_CLANG_DEREFCHECKER -#define LLVM_CLANG_DEREFCHECKER - -#include <utility> - -namespace clang { - -class GRExprEngine; -class ExplodedNode; - -std::pair<ExplodedNode * const *, ExplodedNode * const *> -GetImplicitNullDereferences(GRExprEngine &Eng); - -} // end clang namespace - -#endif |