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 ExprEngine that check for null and undefined pointers at loads
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_CLANG_GR_DEREFCHECKER
17 #define LLVM_CLANG_GR_DEREFCHECKER
28 std::pair
<ExplodedNode
* const *, ExplodedNode
* const *>
29 GetImplicitNullDereferences(ExprEngine
&Eng
);
33 } // end clang namespace