]> granicus.if.org Git - clang/commit
[analyzer] clarify 'result is garbage value' when it is out of bounds
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 27 Feb 2017 10:44:24 +0000 (10:44 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 27 Feb 2017 10:44:24 +0000 (10:44 +0000)
commit4b4a06c6798637cd119e355c9ff31073ce6e3acc
tree359de4f713fa6e9fdefa73ff5a393855e3d05196
parent870fa3969cf0e9e914b21be0b8351f4b8b907eae
[analyzer] clarify 'result is garbage value' when it is out of bounds

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@296326 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
test/Analysis/uninit-vals-ps.c