aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/PathDiagnostic.cpp
AgeCommit message (Expand)Author
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Simplify code to use castAs rather than getAs + assert.David Blaikie
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-21Use None rather than Optional<T>() where possible.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
2013-01-19[analyzer] Don't show "Entered 'foo'" if 'foo' is implicit.Jordan Rose
2013-01-18[analyzer] Special path notes for C++ special member functions.Jordan Rose
2013-01-18[analyzer] Do a better job describing C++ member functions in the call stack.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
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-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-15[analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose
2012-10-29[analyzer] New option to not suppress null return paths if an argument is null.Jordan Rose
2012-10-06[analyzer] Handle implicit statements used for end-of-path nodes' source locs.Jordan Rose
2012-09-22Use llvm::getOrdinalSuffix to print ordinal numbers in diagnostics.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-08Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek
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-07Further tweaks to hopefully make the PathDiagnostic emission more deterministic.Ted Kremenek
2012-09-07Attempt to make the PathDiagnostic emission order more deterministic byTed Kremenek
2012-08-31[analyzer] Ensure that PathDiagnostics profile the same regardless of path.Jordan Rose
2012-08-24Rework how PathDiagnosticConsumers pass knowledge of what files theyTed Kremenek
2012-08-16Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<Source...Ted Kremenek
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-08-03[analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose
2012-08-03[analyzer] Provide useful PathDiagnosticLocations for CallEnter/Exit events.Jordan Rose
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-07-26[analyzer] Don't crash on implicit statements inside initializers.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-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-03-16[analyzer] Shorten the stack hint diagnostic.Anna Zaks
2012-03-16[analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks
2012-03-15[analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks
2012-03-14[analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks