Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89560 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ted Kremenek 2009-11-21 17:55:24 +00:00
Родитель 37ac7990a6
Коммит 68c9ced7cd
2 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -31,6 +31,8 @@ void clang::RegisterExperimentalInternalChecks(GRExprEngine &Eng) {
// Note that this must be registered after ReturnStackAddresEngsChecker.
RegisterReturnPointerRangeChecker(Eng);
RegisterFixedAddressChecker(Eng);
RegisterPointerSubChecker(Eng);
RegisterPointerArithChecker(Eng);
RegisterCastToStructChecker(Eng);

Просмотреть файл

@ -326,6 +326,5 @@ void GRExprEngine::RegisterInternalChecks() {
RegisterDivZeroChecker(*this);
RegisterReturnStackAddressChecker(*this);
RegisterReturnUndefChecker(*this);
RegisterFixedAddressChecker(*this);
RegisterUndefinedArraySubscriptChecker(*this);
}