blob: 4f8baadb78272ce120ba7d216f129af0850ebb12 [file] [log] [blame]
Ted Kremenekbee01e52009-11-06 02:24:13 +00001//=-- GRExprEngineInternalChecks.h- Builtin GRExprEngine Checks -----*- C++ -*-=
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines functions to instantiate and register the "built-in"
11// checks in GRExprEngine.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS
16#define LLVM_CLANG_GREXPRENGINE_INTERNAL_CHECKS
17
18namespace clang {
19
20class GRExprEngine;
21
Ted Kremenek53a70c02009-11-06 20:47:51 +000022void RegisterDivZeroChecker(GRExprEngine &Eng);
Zhongxing Xu167bce92009-11-06 13:30:44 +000023void RegisterReturnPointerRangeChecker(GRExprEngine &Eng);
Ted Kremenek53a70c02009-11-06 20:47:51 +000024void RegisterReturnStackAddressChecker(GRExprEngine &Eng);
25void RegisterReturnUndefChecker(GRExprEngine &Eng);
Ted Kremenek795c6112009-11-06 21:51:50 +000026void RegisterVLASizeChecker(GRExprEngine &Eng);
Zhongxing Xu6c306c82009-11-09 06:52:44 +000027void RegisterPointerSubChecker(GRExprEngine &Eng);
28void RegisterFixedAddressChecker(GRExprEngine &Eng);
Zhongxing Xuf06c6842009-11-09 08:07:38 +000029void RegisterCastToStructChecker(GRExprEngine &Eng);
Ted Kremenekbee01e52009-11-06 02:24:13 +000030} // end clang namespace
31#endif