summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* BugReporter (extensive diagnostics): Use correct location for location contexts.Ted Kremenek2009-04-221-1/+1
* BugReporter (extensive diagnostics): always add an edge if there is no locationTed Kremenek2009-04-221-1/+8
* BugReporter (extensive diagnostics):Ted Kremenek2009-04-221-3/+2
* BugReporter (extensive diagnostic algorithm): The initial control-flow edge nowTed Kremenek2009-04-221-2/+16
* FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor2009-04-181-3/+3
* Removed some commented code.Ted Kremenek2009-04-071-16/+3
* PathDiagnostic generation: experiment with avoiding generation of control-flowTed Kremenek2009-04-071-4/+4
* Don't overguard to adding a control-flow piece when "alwaysAdd" is true.Ted Kremenek2009-04-071-2/+2
* Rewrite control-flow diagnostic generation "extensive" algorithm using "edgeTed Kremenek2009-04-061-22/+277
* Add another null pointer check. Simplify condition.Ted Kremenek2009-04-021-7/+8
* Add null pointer check.Ted Kremenek2009-04-021-1/+2
* BugReporter, extensive path-diagnostics: add an extra control-flow edge to theTed Kremenek2009-04-011-0/+32
* Fix comment.Ted Kremenek2009-04-011-1/+1
* BugReporter: for extensive path diagnostics:Ted Kremenek2009-04-011-11/+9
* BugReporter: for extensive PathDiagnostic generation, add control-flow from theTed Kremenek2009-04-011-1/+17
* BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide mostTed Kremenek2009-04-011-13/+21
* - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocationTed Kremenek2009-04-011-5/+168
* More code reshuffling. No functionality change.Ted Kremenek2009-03-311-465/+465
* Allow two codepaths for PathDiagnostic generation. This patch mainly consists ofTed Kremenek2009-03-311-41/+77
* Simplify more code by using SVal::getAsSymbol().Ted Kremenek2009-03-301-9/+4
* Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). ThisTed Kremenek2009-03-301-11/+4
* Adjust control-flow endpoints for '&&' and '||'.Ted Kremenek2009-03-281-17/+49
* Text PathDiagnosticBuilder::getEnclosingStmt() about '?'Ted Kremenek2009-03-281-2/+19
* Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for,Ted Kremenek2009-03-281-2/+30
* BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' toTed Kremenek2009-03-271-4/+40
* BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns aTed Kremenek2009-03-271-39/+43
* BugReporter:Ted Kremenek2009-03-271-31/+78
* - Add class PathDiagosticLocationPair.Ted Kremenek2009-03-261-22/+22
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-3/+3
* Use the correct data structures!Ted Kremenek2009-03-121-7/+9
* PathDiagnostics:Ted Kremenek2009-03-121-91/+127
* BugReporter:Ted Kremenek2009-03-101-0/+96
* Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece andTed Kremenek2009-03-061-25/+19
* BasicStore:Ted Kremenek2009-03-051-2/+4
* Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek2009-03-031-1/+1
* BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFl...Ted Kremenek2009-03-021-11/+21
* When retrieving the location of a Node, for MemberExprs use the location of theTed Kremenek2009-02-271-1/+7
* Use Loc::IsLocType() instead of isPointerType() and isReferenceType().Ted Kremenek2009-02-261-2/+1
* Drop uses of isPointerLikeType.Daniel Dunbar2009-02-261-1/+1
* Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a '...Ted Kremenek2009-02-231-17/+14
* Tidy up the path diagnostic generation logic in BugReporter and remove a case...Ted Kremenek2009-02-231-50/+53
* Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek2009-02-181-10/+40
* BugReporter: Use llvm::raw_string_stream instead of std::ostringstream.Ted Kremenek2009-02-101-29/+25
* Use BugReport::getDescription() for the compiler warning text.Ted Kremenek2009-02-071-2/+2
* Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek2009-02-041-182/+196
* PathDiagnostics:Ted Kremenek2009-01-271-0/+1
* More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek2009-01-241-108/+76
* Output summary diagnostic for each bug report.Ted Kremenek2009-01-231-7/+12
* Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is ...Ted Kremenek2009-01-231-0/+42
* more SourceLocation lexicon change: instead of referring to theChris Lattner2009-01-161-15/+8
OpenPOWER on IntegriCloud