commit | ab28099e3bd4859585ccb316f9f571c8c6b035fd | [log] [tgz] |
---|---|---|
author | Zhongxing Xu <xuzhongxing@gmail.com> | Tue May 25 04:59:19 2010 +0000 |
committer | Zhongxing Xu <xuzhongxing@gmail.com> | Tue May 25 04:59:19 2010 +0000 |
tree | 05ff6fcba2bd6c55f36d951ad126cda96bb477bd | |
parent | 8b2423361648c39a7d8a3c5e8129e12006deac32 [diff] [blame] |
CastSizeChecker checks when casting a malloc'ed symbolic region to type T, whether the size of the symbolic region is a multiple of the size of T. Fixes PR6123 and PR7217. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@104584 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Checker/GRExprEngineExperimentalChecks.cpp b/lib/Checker/GRExprEngineExperimentalChecks.cpp index 89b4e4b..6066a1c 100644 --- a/lib/Checker/GRExprEngineExperimentalChecks.cpp +++ b/lib/Checker/GRExprEngineExperimentalChecks.cpp
@@ -36,5 +36,6 @@ RegisterPointerSubChecker(Eng); RegisterPointerArithChecker(Eng); RegisterCastToStructChecker(Eng); + RegisterCastSizeChecker(Eng); RegisterArrayBoundChecker(Eng); }