1 //== NullDerefChecker.h - Null dereference checker --------------*- C++ -*--==//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This defines NullDerefChecker and UndefDerefChecker, two builtin checks
11 // in GRExprEngine that check for null and undefined pointers at loads
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_CLANG_DEREFCHECKER
17 #define LLVM_CLANG_DEREFCHECKER
26 std::pair
<ExplodedNode
* const *, ExplodedNode
* const *>
27 GetImplicitNullDereferences(GRExprEngine
&Eng
);
29 } // end clang namespace