]> granicus.if.org Git - clang/commit
[Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplificati...
authorAdam Balogh <adam.balogh@ericsson.com>
Wed, 5 Dec 2018 13:17:50 +0000 (13:17 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Wed, 5 Dec 2018 13:17:50 +0000 (13:17 +0000)
commitc0efe26a537310ec8db3660402d47cb87485b2d9
tree9cefc2198bc33cc7eab8d09d2b8ed888a165f942
parente44b4e4240e03c24f5479f81235519493823c27b
[Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled

During the review of D41938 a condition check with an early exit accidentally
slipped into a branch, leaving the other branch unprotected. This may result in
an assertion later on. This hotfix moves this contition check outside of the
branch.

Differential Revision: https://reviews.llvm.org/D55051

git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_70@348362 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
test/Analysis/svalbuilder-rearrange-comparisons.c