]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc46da1) | patch
[analyzer] Fix an off-by-one in evalIntegralCast()
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 18 Jan 2016 10:17:16 +0000 (10:17 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 18 Jan 2016 10:17:16 +0000 (10:17 +0000)
commitda8e5d14ce98366d6e1e35c458e8d9780e7540ba
tree0b9857c634c94587f4dd13db64a58dd353f4f821tree | snapshot
parentbc46da159f9f6bbcb13e0b9f67d015673ec01143commit | diff
[analyzer] Fix an off-by-one in evalIntegralCast()

Make sure that we do not add SymbolCast at the very boundary of
the range in which the cast would not certainly happen.

Differential Revision: http://reviews.llvm.org/D16178

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@258039 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SValBuilder.cpp diff | blob | history
test/Analysis/bool-assignment.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.