]> granicus.if.org Git - clang/commit
lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification...
authorAdam Balogh <adam.balogh@ericsson.com>
Fri, 30 Nov 2018 10:37:44 +0000 (10:37 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Fri, 30 Nov 2018 10:37:44 +0000 (10:37 +0000)
commit1fe45f93473d64e67e056f3eab1de59fd3e6886a
treea7505f1c8c3d570400495d08efe83ce44f93b589
parent0eeda76b8325ae183af3ff739b194755a53c7a78
lyzer] [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/trunk@347981 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
test/Analysis/svalbuilder-rearrange-comparisons.c