Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / . / lib / Checker / GRExprEngineInternalChecks.h
blob: f91a759b3299ecc01fea3616440599aee091e598 [file] [log] [blame]
Ted Kremenek1053d242009-11-06 02:24:13 +0000[diff] [blame]1//=-- 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 Kremeneke5b0fa42010-02-25 00:20:25 +0000[diff] [blame]22// Foundational checks that handle basic semantics.
Ted Kremenek40c37e12010-02-04 00:47:48 +0000[diff] [blame]23void RegisterAdjustedReturnValueChecker(GRExprEngine &Eng);
Ted Kremenek9b251702010-02-25 00:20:22 +0000[diff] [blame]24void RegisterArrayBoundChecker(GRExprEngine &Eng);
Ted Kremenekf493f492009-11-11 05:50:44 +0000[diff] [blame]25void RegisterAttrNonNullChecker(GRExprEngine &Eng);
Ted Kremenek9b251702010-02-25 00:20:22 +0000[diff] [blame]26void RegisterBuiltinFunctionChecker(GRExprEngine &Eng);
27void RegisterCallAndMessageChecker(GRExprEngine &Eng);
28void RegisterCastToStructChecker(GRExprEngine &Eng);
Zhongxing Xuab280992010-05-25 04:59:19 +0000[diff] [blame]29void RegisterCastSizeChecker(GRExprEngine &Eng);
Ted Kremenekb4b817d2009-11-11 03:26:34 +0000[diff] [blame]30void RegisterDereferenceChecker(GRExprEngine &Eng);
Ted Kremenek36df58a2009-11-06 20:47:51 +0000[diff] [blame]31void RegisterDivZeroChecker(GRExprEngine &Eng);
Ted Kremenek9b251702010-02-25 00:20:22 +0000[diff] [blame]32void RegisterFixedAddressChecker(GRExprEngine &Eng);
33void RegisterNoReturnFunctionChecker(GRExprEngine &Eng);
Ted Kremenek9b251702010-02-25 00:20:22 +0000[diff] [blame]34void RegisterPointerArithChecker(GRExprEngine &Eng);
35void RegisterPointerSubChecker(GRExprEngine &Eng);
Zhongxing Xuceeb02d2009-11-06 13:30:44 +0000[diff] [blame]36void RegisterReturnPointerRangeChecker(GRExprEngine &Eng);
Ted Kremenek36df58a2009-11-06 20:47:51 +0000[diff] [blame]37void RegisterReturnUndefChecker(GRExprEngine &Eng);
Zhongxing Xu1622a542010-06-08 10:00:00 +0000[diff] [blame]38void RegisterStackAddrLeakChecker(GRExprEngine &Eng);
Zhongxing Xu0835e4c2009-11-23 03:20:54 +0000[diff] [blame]39void RegisterUndefBranchChecker(GRExprEngine &Eng);
Ted Kremenek94fd0b82010-02-16 08:33:59 +0000[diff] [blame]40void RegisterUndefCapturedBlockVarChecker(GRExprEngine &Eng);
Zhongxing Xu668399b2009-11-24 08:24:26 +0000[diff] [blame]41void RegisterUndefResultChecker(GRExprEngine &Eng);
Ted Kremenek9b251702010-02-25 00:20:22 +0000[diff] [blame]42void RegisterUndefinedArraySubscriptChecker(GRExprEngine &Eng);
43void RegisterUndefinedAssignmentChecker(GRExprEngine &Eng);
44void RegisterVLASizeChecker(GRExprEngine &Eng);
Ted Kremeneke5b0fa42010-02-25 00:20:25 +0000[diff] [blame]45
46// API checks.
Ted Kremenekdf61b582010-02-25 05:44:09 +0000[diff] [blame]47void RegisterMacOSXAPIChecker(GRExprEngine &Eng);
Ted Kremeneke5b0fa42010-02-25 00:20:25 +0000[diff] [blame]48void RegisterOSAtomicChecker(GRExprEngine &Eng);
Ted Kremenek381d1bf2010-02-25 00:20:35 +0000[diff] [blame]49void RegisterUnixAPIChecker(GRExprEngine &Eng);
Ted Kremeneke5b0fa42010-02-25 00:20:25 +0000[diff] [blame]50
Ted Kremenek1053d242009-11-06 02:24:13 +0000[diff] [blame]51} // end clang namespace
52#endif