]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f822d32) | patch
[analyzer] Left shifting a negative value is undefined
authorGabor Horvath <xazax.hun@gmail.com>
Mon, 30 Oct 2017 17:06:42 +0000 (17:06 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Mon, 30 Oct 2017 17:06:42 +0000 (17:06 +0000)
commit1416d5328a4350d5514ac8ec793acd461e6a38c5
tree2f0f731dbe5d913075eabd4fd97bdaa1e4a695betree | snapshot
parentf822d3299b46ebefc293d06360e47a6bd731b4bdcommit | diff
[analyzer] Left shifting a negative value is undefined

The analyzer did not return an UndefVal in case a negative value was left
shifted. I also altered the UndefResultChecker to emit a clear warning in this
case.

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

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