summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose2013-03-201-19/+12
* [analyzer] Remove strip of ElementRegion in CallEvent::invalidateRegions.Jordan Rose2013-03-201-26/+0
* [analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose2013-03-071-1/+0
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-3/+4
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-5/+6
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-4/+3
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-3/+4
* [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
OpenPOWER on IntegriCloud