blob: a9077bf75715bf3c5af24de0df0ff27169b72fbe [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 Kremenek43253152009-11-11 05:50:44 +000022void RegisterAttrNonNullChecker(GRExprEngine &Eng);
23void RegisterBadCallChecker(GRExprEngine &Eng);
Ted Kremenek5e1f78a2009-11-11 03:26:34 +000024void RegisterDereferenceChecker(GRExprEngine &Eng);
Ted Kremenek53a70c02009-11-06 20:47:51 +000025void RegisterDivZeroChecker(GRExprEngine &Eng);
Zhongxing Xu167bce92009-11-06 13:30:44 +000026void RegisterReturnPointerRangeChecker(GRExprEngine &Eng);
Ted Kremenek53a70c02009-11-06 20:47:51 +000027void RegisterReturnStackAddressChecker(GRExprEngine &Eng);
28void RegisterReturnUndefChecker(GRExprEngine &Eng);
Ted Kremenek795c6112009-11-06 21:51:50 +000029void RegisterVLASizeChecker(GRExprEngine &Eng);
Zhongxing Xu6c306c82009-11-09 06:52:44 +000030void RegisterPointerSubChecker(GRExprEngine &Eng);
Zhongxing Xuab0e27f2009-11-09 13:23:31 +000031void RegisterPointerArithChecker(GRExprEngine &Eng);
Zhongxing Xu6c306c82009-11-09 06:52:44 +000032void RegisterFixedAddressChecker(GRExprEngine &Eng);
Zhongxing Xuf06c6842009-11-09 08:07:38 +000033void RegisterCastToStructChecker(GRExprEngine &Eng);
Ted Kremenek43253152009-11-11 05:50:44 +000034void RegisterUndefinedArgChecker(GRExprEngine &Eng);
Zhongxing Xu4f7759a2009-11-11 12:33:27 +000035void RegisterArrayBoundChecker(GRExprEngine &Eng);
Zhongxing Xub1667122009-11-11 13:42:54 +000036void RegisterUndefinedArraySubscriptChecker(GRExprEngine &Eng);
Ted Kremenek5e1f78a2009-11-11 03:26:34 +000037
Ted Kremenekbee01e52009-11-06 02:24:13 +000038} // end clang namespace
39#endif