summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Follow up to r167762 - precisely determine the adjustmentAnna Zaks2012-11-131-3/+14
* Merge in analyzer fix r167762, which was a recent regression.Ted Kremenek2012-11-121-0/+2
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-2/+3
* StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.NAKAMURA Takumi2012-11-031-2/+2
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-1/+33
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-21/+15
* [analyzer] Adjust the return type of an inlined devirtualized method call.Jordan Rose2012-10-031-5/+56
* Have AnalyzerOptions::getBooleanOption() stick the matching configTed Kremenek2012-10-011-1/+1
* Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correc...Jordan Rose2012-10-011-1/+8
* Revert "[analyzer] Handle inlined constructors for rvalue temporaries correct...Jordan Rose2012-09-291-8/+1
* [analyzer] Handle inlined constructors for rvalue temporaries correctly.Jordan Rose2012-09-281-1/+8
* Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek2012-09-211-1/+1
* Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek2012-09-211-1/+1
* [analyzer] Do not count calls to small functions when computing stackAnna Zaks2012-09-101-3/+18
* [analyzer] Add an option to enable/disable objc inlining.Anna Zaks2012-09-101-0/+2
* [analyzer] Add ipa-always-inline-size option (with 3 as the default).Anna Zaks2012-09-101-7/+15
* [analyzer] For now, don't inline C++ standard library functions.Jordan Rose2012-09-101-0/+30
* [analyzer] Silence unused variable warnings in NDEBUG builds.Jordan Rose2012-09-011-0/+2
* [analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.Jordan Rose2012-08-311-30/+14
* [analyzer] Refactor the logic that determines if a functions should beAnna Zaks2012-08-301-0/+4
* Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek2012-08-301-8/+8
* [analyzer] When we look for the last stmt in a function, skip implicit dtors.Jordan Rose2012-08-281-12/+21
* [analyzer] Don't purge dead symbols at the end of calls if -analyzer-purge=none.Jordan Rose2012-08-281-1/+1
* [analyzer] Don't inline constructors for objects allocated with operator new.Jordan Rose2012-08-271-1/+10
* [analyzer] More internal stats collection.Anna Zaks2012-08-271-0/+5
* [analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose2012-08-271-9/+12
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-10/+9
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-1/+1
* Add an llvm_unreachable to pacify GCC's -Wreturn-type.Matt Beaumont-Gay2012-08-211-0/+1
* [analyzer] Set the default IPA mode to 'basic-inlining', which excludes C++.Jordan Rose2012-08-211-6/+18
* [analyzer] Even if we are not inlining a virtual call, still invalidate!Jordan Rose2012-08-151-1/+3
* [analyzer] Correctly devirtualize virtual method calls in constructors.Jordan Rose2012-08-151-9/+14
* [analyzer] Don't inline dynamic-dispatch methods unless -analyzer-ipa=dynamic.Jordan Rose2012-08-151-5/+12
* [analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose2012-08-131-2/+2
* [analyzer] Clarify the values in Dyn. Dispatch Bifurcation map.Anna Zaks2012-08-091-5/+12
* [analyzer] Improve readability of the dyn. dispatch bifurcation patchAnna Zaks2012-08-091-22/+21
* Unbreak the build.Anna Zaks2012-08-091-2/+2
* [analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks2012-08-091-21/+102
* [analyzer] Control C++ inlining with a macro in ExprEngineCallAndReturn.cpp.Jordan Rose2012-07-311-1/+14
* [analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose2012-07-311-9/+27
* [analyzer] Perform post-call checks for all inlined calls.Jordan Rose2012-07-301-10/+20
* [analyzer] Add -analyzer-ipa=dynamic option for inlining dynamicallyAnna Zaks2012-07-301-0/+2
* [analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose2012-07-301-66/+31
* [analyzer] Use a stack-based local AGAIN to fix the build for real.Jordan Rose2012-07-271-11/+16
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Don't crash on array constructors and destructors.Jordan Rose2012-07-261-3/+9
* [analyzer] Handle C++ member initializers and destructors.Jordan Rose2012-07-261-3/+5
* [analyzer] Handle base class initializers and destructors.Jordan Rose2012-07-261-27/+42
* [analyzer] Show paths for destructor calls.Jordan Rose2012-07-261-0/+5
* [analyzer] Inline ctors + dtors when the CFG is built for them.Jordan Rose2012-07-261-4/+9