summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-1/+1
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-0/+1
* Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefin...Ted Kremenek2012-12-071-1/+29
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-2/+2
* Include pruning and general cleanup.Benjamin Kramer2012-12-011-0/+1
* [analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose2012-11-021-0/+16
* [analyzer]Don't invalidate const arguments when there is noAnna Zaks2012-10-311-1/+1
* [analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose2012-10-171-9/+1
* Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek2012-09-211-9/+9
* Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek2012-09-211-9/+9
* [analyzer] Do not report use of undef on "return foo();" when the return type...Anna Zaks2012-09-121-0/+10
* [analyzer] Handle when the dynamic type is worse than the static type.Jordan Rose2012-09-121-1/+8
* Revert "[analyzer] Use the static type for a virtual call if the dynamic type...Jordan Rose2012-09-121-10/+3
* [analyzer] Use the static type for a virtual call if the dynamic type is worse.Jordan Rose2012-09-111-3/+10
* [analyzer] Member function calls that use qualified names are non-virtual.Jordan Rose2012-09-111-0/+12
* [analyzer] Fail gracefully when the dynamic type is outside the hierarchy.Jordan Rose2012-09-071-1/+9
* [analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose2012-09-061-2/+11
* [analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose2012-09-051-0/+19
* [analyzer] Clean up a couple uses of getPointeeType().Jordan Rose2012-09-051-1/+3
* [analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose2012-09-011-28/+19
* [analyzer] Teach CallEventManager that CXXTemporaryObjectExpr is also a ctor.Jordan Rose2012-08-281-1/+2
* [analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose2012-08-281-3/+3
* [analyzer] Make analyzer less aggressive when dealing with [self init].Anna Zaks2012-08-241-4/+25
* Store SourceManager pointer on PrintingPolicy in the case where we're dumping,Richard Smith2012-08-161-2/+1
* [analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose2012-08-151-1/+1
* [analyzer] Don't try to devirtualize if the class is incomplete.Jordan Rose2012-08-151-1/+1
* [analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose2012-08-151-8/+6
* [analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose2012-08-151-30/+32
* [analyzer]Assume that the properties cannot be overridden when dotAnna Zaks2012-08-141-0/+3
* Do NOT use inline functions with LLVM_ATTRIBUTE_USED.Benjamin Kramer2012-08-141-0/+4
* [analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose2012-08-131-42/+14
* [analyzer] Be more careful when downcasting for devirtualization.Jordan Rose2012-08-131-12/+9
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-1/+0
* [analyzer] Strip CXXBaseObjectRegions when devirtualizing method calls.Jordan Rose2012-08-101-1/+25
* [analyzer] Try to devirtualize even if the static callee has no definition.Jordan Rose2012-08-101-2/+2
* [analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks2012-08-101-4/+13
* [analyzer] Optimize dynamic dispatch bifurcation by detecting the casesAnna Zaks2012-08-101-2/+59
* [analyzer] Improve readability of the dyn. dispatch bifurcation patchAnna Zaks2012-08-091-5/+5
* Unbreak the build.Anna Zaks2012-08-091-2/+2
* [analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks2012-08-091-18/+22
* [analyzer] Address Jordan's review of DynamicTypePropagation.Anna Zaks2012-08-071-2/+2
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-061-5/+4
* [analyzer] Track null/uninitialized C++ objects used in method calls.Jordan Rose2012-08-031-12/+4
* [analyzer] Don't try to inline if there's no region for a message receiver.Jordan Rose2012-07-311-0/+3
* [analyzer] Add a FIXME about devirtualization in ctors/dtors.Jordan Rose2012-07-311-0/+8
* [analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose2012-07-311-30/+116
* [analyzer] Handle inlining of instance calls to super.Anna Zaks2012-07-301-10/+16
* [analyzer] Perform post-call checks for all inlined calls.Jordan Rose2012-07-301-0/+57
* [analyzer] Very simple ObjC instance method inliningAnna Zaks2012-07-301-25/+25
* [analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose2012-07-301-0/+21
OpenPOWER on IntegriCloud