| //=-- GRExprEngineExperimentalChecks.h ------------------------------*- C++ -*-= |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file defines functions to instantiate and register experimental |
| // checks in GRExprEngine. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "GRExprEngineInternalChecks.h" |
| #include "GRExprEngineExperimentalChecks.h" |
| #include "clang/Checker/Checkers/LocalCheckers.h" |
| |
| using namespace clang; |
| |
| void clang::RegisterExperimentalChecks(GRExprEngine &Eng) { |
| // These are checks that never belong as internal checks |
| // within GRExprEngine. |
| RegisterPthreadLockChecker(Eng); |
| RegisterMallocChecker(Eng); |
| } |
| |
| void clang::RegisterExperimentalInternalChecks(GRExprEngine &Eng) { |
| // These are internal checks that should eventually migrate to |
| // RegisterInternalChecks() once they have been further tested. |
| |
| // Note that this must be registered after ReturnStackAddresEngsChecker. |
| RegisterReturnPointerRangeChecker(Eng); |
| |
| RegisterFixedAddressChecker(Eng); |
| RegisterPointerSubChecker(Eng); |
| RegisterPointerArithChecker(Eng); |
| RegisterCastToStructChecker(Eng); |
| RegisterCastSizeChecker(Eng); |
| RegisterArrayBoundChecker(Eng); |
| |
| } |