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