]> granicus.if.org Git - clang/commit
static analyzer: handle casts of a function to a function pointer with
authorTed Kremenek <kremenek@apple.com>
Thu, 4 Feb 2010 00:47:48 +0000 (00:47 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 4 Feb 2010 00:47:48 +0000 (00:47 +0000)
commit40c37e1a624c27f987458a3234f615d929e9d813
tree328ac7dd44b457e58b48c7cafe688456fc13963e
parent2663f527c2717295fbaed4715945b879ad68f4cf
static analyzer: handle casts of a function to a function pointer with
a different return type.  While we don't emit any errors (yet), at
least we avoid cases where we might crash because of an assertion
failure later on (when the return type differs from what is expected).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95268 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/AdjustedReturnValueChecker.cpp [new file with mode: 0644]
lib/Checker/CMakeLists.txt
lib/Checker/GRExprEngine.cpp
lib/Checker/GRExprEngineInternalChecks.h
test/Analysis/misc-ps.m