aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-08-03[analyzer] Fixup: remove the extra whitespaceAnna Zaks
2012-08-03[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks
2012-08-03[analyzer] Fix a typo. Thanks Jordan.Anna Zaks
2012-08-02[analyzer] Solve another source of non-determinism in the diagnosticAnna Zaks
2012-08-02[analyzer] Also emit Prev/Next links for macros in HTML output. Oops.Jordan Rose
2012-08-02[analyzer] Add Prev/Next links to the HTML output.Jordan Rose
2012-08-02[analyzer] Flush bug reports in deterministic order.Anna Zaks
2012-07-31[analyzer] Control C++ inlining with a macro in ExprEngineCallAndReturn.cpp.Jordan Rose
2012-07-31[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.Jordan Rose
2012-07-31[analyzer] Don't try to inline if there's no region for a message receiver.Jordan Rose
2012-07-31[analyzer] Add a FIXME about devirtualization in ctors/dtors.Jordan Rose
2012-07-31[analyzer] Getting an lvalue for a reference field still requires a load.Jordan Rose
2012-07-31[analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose
2012-07-30[analyzer] Handle inlining of instance calls to super.Anna Zaks
2012-07-30[analyzer] Perform post-call checks for all inlined calls.Jordan Rose
2012-07-30[analyzer] Very simple ObjC instance method inliningAnna Zaks
2012-07-30[analyzer] Add -analyzer-ipa=dynamic option for inlining dynamicallyAnna Zaks
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-30[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.Jordan Rose
2012-07-27clang/lib: [CMake] Update tblgen'd dependencies.NAKAMURA Takumi
2012-07-27[analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose
2012-07-27[analyzer] Use a stack-based local AGAIN to fix the build for real.Jordan Rose
2012-07-26[analyzer] Use a stack-based local instead of a temporary to fix build.Jordan Rose
2012-07-26Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek
2012-07-26[analyzer] CallEvent is no longer a value object.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26[analyzer] Don't crash on implicit statements inside initializers.Jordan Rose
2012-07-26[analyzer] Don't crash on array constructors and destructors.Jordan Rose
2012-07-26[analyzer] Handle C++ member initializers and destructors.Jordan Rose
2012-07-26[analyzer] Use the CFG to see if a constructor is for a local variable.Jordan Rose
2012-07-26[analyzer] Handle base class initializers and destructors.Jordan Rose
2012-07-26[analyzer] Show paths for destructor calls.Jordan Rose
2012-07-26[analyzer] Inline ctors + dtors when the CFG is built for them.Jordan Rose
2012-07-26[analyzer] PostImplicitCall can also occur between CFGElements.Jordan Rose
2012-07-26[analyzer] Inline ObjC class methods.Anna Zaks
2012-07-25Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek
2012-07-25Remove ExprEngine::MarkBranch(), as it is no longer needed.Ted Kremenek
2012-07-25Update ExprEngine's handling of ternary operators to find the ternary expressionTed Kremenek
2012-07-23Fix a typo (the the => the)Sylvestre Ledru
2012-07-20Remove unused private member variable uncovered by the recent changes to clan...Benjamin Kramer
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-19Silence another GCC warning.Richard Smith
2012-07-18[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.Jordan Rose
2012-07-18[analyzer] Rename addExtraInvalidatedRegions to get...RegionsJordan Rose
2012-07-18[analyzer] Make CallEvent a value object.Jordan Rose
2012-07-18[analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose
2012-07-18[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.Jordan Rose
2012-07-18Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling refe...Ted Kremenek
2012-07-17[analyzer] Remove stale result type lvalue code.Jordan Rose
2012-07-16[analyzer] Handle new-expressions with initializers for scalars.Jordan Rose