aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CallEvent.cpp
AgeCommit message (Expand)Author
2013-04-17[analyzer] Don't warn for returning void expressions in void blocks.Jordan Rose
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-03-20[analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose
2013-03-20[analyzer] Remove strip of ElementRegion in CallEvent::invalidateRegions.Jordan Rose
2013-03-07[analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-07Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefin...Ted Kremenek
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-11-02[analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose
2012-10-31[analyzer]Don't invalidate const arguments when there is noAnna Zaks
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-12[analyzer] Do not report use of undef on "return foo();" when the return type...Anna Zaks
2012-09-12[analyzer] Handle when the dynamic type is worse than the static type.Jordan Rose
2012-09-12Revert "[analyzer] Use the static type for a virtual call if the dynamic type...Jordan Rose
2012-09-11[analyzer] Use the static type for a virtual call if the dynamic type is worse.Jordan Rose
2012-09-11[analyzer] Member function calls that use qualified names are non-virtual.Jordan Rose
2012-09-07[analyzer] Fail gracefully when the dynamic type is outside the hierarchy.Jordan Rose
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-09-05[analyzer] Be more forgiving about calling methods on struct rvalues.Jordan Rose
2012-09-05[analyzer] Clean up a couple uses of getPointeeType().Jordan Rose
2012-09-01[analyzer] Always derive a CallEvent's return type from its origin expr.Jordan Rose
2012-08-28[analyzer] Teach CallEventManager that CXXTemporaryObjectExpr is also a ctor.Jordan Rose
2012-08-28[analyzer] Rename CallEvent::mayBeInlined to CallEvent::isCallStmt.Jordan Rose
2012-08-24[analyzer] Make analyzer less aggressive when dealing with [self init].Anna Zaks
2012-08-16Store SourceManager pointer on PrintingPolicy in the case where we're dumping,Richard Smith
2012-08-15[analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose
2012-08-15[analyzer] Don't try to devirtualize if the class is incomplete.Jordan Rose
2012-08-15[analyzer] Only adjust the type of 'this' when we devirtualize a method call.Jordan Rose
2012-08-15[analyzer] Correctly devirtualize virtual method calls in destructors.Jordan Rose
2012-08-14[analyzer]Assume that the properties cannot be overridden when dotAnna Zaks
2012-08-14Do NOT use inline functions with LLVM_ATTRIBUTE_USED.Benjamin Kramer
2012-08-13[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose
2012-08-13[analyzer] Be more careful when downcasting for devirtualization.Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-10[analyzer] Strip CXXBaseObjectRegions when devirtualizing method calls.Jordan Rose
2012-08-10[analyzer] Try to devirtualize even if the static callee has no definition.Jordan Rose
2012-08-10[analyzer] Track if a region can be a subclass in the dynamic type info.Anna Zaks
2012-08-10[analyzer] Optimize dynamic dispatch bifurcation by detecting the casesAnna Zaks
2012-08-09[analyzer] Improve readability of the dyn. dispatch bifurcation patchAnna Zaks
2012-08-09Unbreak the build.Anna Zaks
2012-08-09[analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks
2012-08-07[analyzer] Address Jordan's review of DynamicTypePropagation.Anna Zaks