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