]> granicus.if.org Git - clang/commit
[analyzer] Make inlining decisions based on the callee being variadic.
authorJordan Rose <jordan_rose@apple.com>
Sat, 28 Sep 2013 02:04:19 +0000 (02:04 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 28 Sep 2013 02:04:19 +0000 (02:04 +0000)
commit9b072b31ee2f41b8e30d1d22142c9ab72ac5ff1f
tree1c2a60de9c9878ac17bc0cf5bc4438e53aedab35
parent97b94cb783237b3b14e988dced3d2bb48e016edc
[analyzer] Make inlining decisions based on the callee being variadic.

...rather than trying to figure it out from the call site, and having
people complain that we guessed wrong and that a prototype-less call is
the same as a variadic call on their system. More importantly, fix a
crash when there's no decl at the call site (though we could have just
returned a default value).

<rdar://problem/15037033>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@191599 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
lib/StaticAnalyzer/Core/CallEvent.cpp
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/inlining/InlineObjCClassMethod.m