]> granicus.if.org Git - clang/commit
[analyzer] Resolve the crash in ReturnUndefChecker
authorGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 29 Aug 2018 20:29:59 +0000 (20:29 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 29 Aug 2018 20:29:59 +0000 (20:29 +0000)
commitee49cd21c4f101034ea5457876b4bbd33d85c4d6
treef3f275bb28081b5bfbdc113f33e4f308d38528b3
parentb1014a1a42a8df161214945f1a72df55559563cf
[analyzer] Resolve the crash in ReturnUndefChecker

By making sure the returned value from getKnownSVal is consistent with
the value used inside expression engine.

PR38427

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@340965 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
test/Analysis/casts.c