]> granicus.if.org Git - clang/commit
[analyzer] Do not report use of undef on "return foo();" when the return type is...
authorAnna Zaks <ganna@apple.com>
Wed, 12 Sep 2012 22:57:40 +0000 (22:57 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 12 Sep 2012 22:57:40 +0000 (22:57 +0000)
commit16e6a7cb41319459ded69b4d47f405c1035dd347
treed4f2052e18ec59004f5570b24f76d555318ef9e2
parent9dc298bf8e4001978e44e7f1872f337fe5805960
[analyzer] Do not report use of undef on "return foo();" when the return type is void.

Fixes a false positive found by analyzing LLVM code base.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163750 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp
lib/StaticAnalyzer/Core/CallEvent.cpp
test/Analysis/uninit-vals-ps.c