summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BugReporter.cpp
Commit message (Expand)AuthorAgeFilesLines
* Extensive diagnostics: Do not add a location context for do...while statements.Ted Kremenek2009-04-281-1/+1
* BugReporter (extensive diagnostics): Clean up do...while control-flow edges, andTed Kremenek2009-04-281-7/+33
* Implement function-try-blocks. However, there's a very subtle bug that I can'...Sebastian Redl2009-04-261-2/+4
* Minor code cleanup.Eli Friedman2009-04-261-16/+4
* split ObjC and C++ Statements out into their own headers.Chris Lattner2009-04-261-2/+2
* BugReporter (extensive diagnostics): Recursively adjust the referred expressionTed Kremenek2009-04-231-12/+16
* BugReporter (extensive diagnostics): Ignore parentheses when added control-flowTed Kremenek2009-04-231-0/+16
* 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
OpenPOWER on IntegriCloud