]> granicus.if.org Git - clang/commit
[analyzer] Make sure that inlined defensive checks work on div by zero.
authorAnna Zaks <ganna@apple.com>
Thu, 4 Jul 2013 02:38:06 +0000 (02:38 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 4 Jul 2013 02:38:06 +0000 (02:38 +0000)
commit7f79b78351af03a392ee16d8ec557d47746c33c6
tree480fe52da5a6cd6d67287d23743852560227f934
parent305e5b4268685aa97d6338fe4362d1b73246cbe9
[analyzer] Make sure that inlined defensive checks work on div by zero.

This suppresses a false positive in std::hash_map.
Fixes  radar://14255587.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@185608 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/inlining/false-positive-suppression.c
test/Analysis/inlining/inline-defensive-checks.c