aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-09-11Revert "[analyzer] Disable STL inlining. Blocked by PR13724."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] Disable STL inlining. Blocked by PR13724.Anna Zaks
2012-09-11[analyzer] Member function calls that use qualified names are non-virtual.Jordan Rose
2012-09-10[analyzer] Turn stl inlining back on.Anna Zaks
2012-09-10[analyzer] Do not count calls to small functions when computing stackAnna Zaks
2012-09-10[analyzer] Add an option to enable/disable objc inlining.Anna Zaks
2012-09-10[analyzer] Add ipa-always-inline-size option (with 3 as the default).Anna Zaks
2012-09-10[analyzer] Make the defaults explicit for each of the new config options.Jordan Rose
2012-09-10[analyzer] For now, don't inline C++ standard library functions.Jordan Rose
2012-09-10Fix another case where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Add a few more cases where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Revert "Revert Ted's r163489 and r163490, due to breakage."Ted Kremenek
2012-09-10Revert Ted's r163489 and r163490, due to breakage.NAKAMURA Takumi
2012-09-10Use isBeforeInTranslationUnitThan() instead of operator<.Ted Kremenek
2012-09-10Take another crack at stabilizing the emission order of analyzerTed Kremenek
2012-09-10Indent the "message" key in analyzer plist output.Ted Kremenek
2012-09-09Remove dead method ProgramState::MarshalState().Ted Kremenek
2012-09-08Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek
2012-09-08Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek
2012-09-08[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose
2012-09-08Revert "Attempt to make the PathDiagnostic emission order more deterministic by"Ted Kremenek
2012-09-08Revert "Further tweaks to hopefully make the PathDiagnostic emission more det...Ted Kremenek
2012-09-08[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose
2012-09-08[analyzer] Symbolic regions are live if any subregions are live.Jordan Rose
2012-09-08[analyzer] Cast the result of a placement new-expression to the correct type.Jordan Rose
2012-09-07Further tweaks to hopefully make the PathDiagnostic emission more deterministic.Ted Kremenek
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-09-07Attempt to make the PathDiagnostic emission order more deterministic byTed Kremenek
2012-09-07Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek
2012-09-07[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose
2012-09-07[analyzer] Don't use the address of a temporary CFGElement.Jordan Rose
2012-09-07[analyzer] Explain why we need condition 8.Anna Zaks
2012-09-07ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr StmtsTed Kremenek
2012-09-07Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoringTed Kremenek
2012-09-07[analyzer] Fail gracefully when the dynamic type is outside the hierarchy.Jordan Rose
2012-09-06[analyzer] Don't crash if we cache out while evaluating an ObjC message.Jordan Rose
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-09-05[analyzer] Fix a crash PR13762.Anna Zaks
2012-09-05[analyzer] NullOrUndef diagnostics: track symbols binded to regions.Anna Zaks
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-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-04[analyzer] Don't use makeIntVal to create a floating-point value.Jordan Rose
2012-09-04Revert r163083 per chandlerc's request.Joao Matos
2012-09-02Implemented parsing and AST support for the MS __leave exception statement. A...Joao Matos
2012-09-01[analyzer] Silence unused variable warnings in NDEBUG builds.Jordan Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-10 02:09:16 +0000