blob: cfbf5d7e154824f81e6dc7bf11ed596ea2370d3f [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);
Zhongxing Xuab0e27f2009-11-09 13:23:31 +000028void RegisterPointerArithChecker(GRExprEngine &Eng);
Zhongxing Xu6c306c82009-11-09 06:52:44 +000029void RegisterFixedAddressChecker(GRExprEngine &Eng);
Zhongxing Xuf06c6842009-11-09 08:07:38 +000030void RegisterCastToStructChecker(GRExprEngine &Eng);
Ted Kremenekbee01e52009-11-06 02:24:13 +000031} // end clang namespace
32#endif