Commits · 901a4e406b45445ffeb7d482bb7a6ff8862d5cb3 · Roger Ferrer / llvm-epi-0.8

Apr 19, 2008
- Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did · 423edc23
  Ted Kremenek authored Apr 18, 2008
```
before.  This allows the HTMLDiagnostic object to retrieve the bug type, bug description, etc.

llvm-svn: 49939
```
  423edc23
- Reenable using the PathDiagnosticClient for BugReports without paths. · bf27dc96
  Ted Kremenek authored Apr 18, 2008
```
llvm-svn: 49934
```
  bf27dc96
Apr 18, 2008

Generalize caching mechanism for bugs reports. Now individual BugTypes · 31484b24

Ted Kremenek authored Apr 18, 2008

can decide the policy on how to cache related bugs.  This allows us to
properly to handle warning about multiple leaks in the same location in the
ref count checker (not yet done).

llvm-svn: 49918

31484b24

BugReport::VisitNode now takes BugReporter& instead of ASTContext&. · 396f4362

Ted Kremenek authored Apr 18, 2008

Shuffled around code in CFRefCount to better pair classes with implementation,
and started adding subclasses of RangedBugReport to handle better diagnostics
for reference count bugs.

llvm-svn: 49889

396f4362

Added null check. · 89e6a9b9
Ted Kremenek authored Apr 18, 2008
```
llvm-svn: 49887
```
89e6a9b9

Simplified internal logic of BugReporter, consolidating EmitWarning and · cffe6356

Ted Kremenek authored Apr 18, 2008

EmitPathWarning into one method.  We now properly handle emitting warnings
without a PathDiagnosticClient when the warning does not involve a particular
statement.

llvm-svn: 49884

cffe6356

Modified BugReport::getEndPath() to handle the case where end path is at · 69049c27
Ted Kremenek authored Apr 17, 2008
```
the exit block of the CFG.

llvm-svn: 49880
```
69049c27

Apr 14, 2008
- Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. · bae225d5
  Ted Kremenek authored Apr 14, 2008
```
llvm-svn: 49668
```
  bae225d5
- Hooked up the dead-store checker to the BugReporter interface. Now dead-store · 7e15130d
  Ted Kremenek authored Apr 14, 2008
```
warnings are emitted as part of the warnings registered by GRSimpleVals.

llvm-svn: 49658
```
  7e15130d
Apr 11, 2008
- Added "RangedBugReport". · 6e38ffa5
  Ted Kremenek authored Apr 11, 2008
```
llvm-svn: 49551
```
  6e38ffa5
Apr 10, 2008
- When not emitting path diagnostics in BugReporter::EmitWarning(), use the · 42d9db75
  Ted Kremenek authored Apr 10, 2008
```
BugReport-specific SourceRanges (when available).

llvm-svn: 49486
```
  42d9db75
Apr 09, 2008

Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. · 7acc3a36

Ted Kremenek authored Apr 09, 2008

Bugs are now reported using a combination of "BugType" (previously
BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which
generates PathDiagnostics). This provides a far more modular way of registering
bug types and plugging in diagnostics.

GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the
ExplodedGraph.

ExplodedGraph is no longer templated on the "checker", but instead on the state
contained in the nodes.

llvm-svn: 49453

7acc3a36

Added new "BugReporterHelper" class which is used by BugReporter to emit · 3cef454e
Ted Kremenek authored Apr 09, 2008
```
checker-specific diagnostics.

llvm-svn: 49412
```
3cef454e

Apr 08, 2008
- Improve BugReport diagnostics for loops and ? operator. · e73006ee
  Ted Kremenek authored Apr 07, 2008
```
llvm-svn: 49356
```
  e73006ee
Apr 03, 2008
- Use "getRanges" in default implementation of "getEndPath" to determine · 89575b7b
  Ted Kremenek authored Apr 03, 2008
```
the ranges of highlighted elements in the source code.

llvm-svn: 49181
```
  89575b7b
- Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use · cb2dc8ec
  Ted Kremenek authored Apr 03, 2008
```
the new BugReporter interface.

llvm-svn: 49180
```
  cb2dc8ec
- Handle the case when getEndPath() returns NULL. · ca406642
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49155
```
  ca406642
- Add back bug name to PathDiagnostic. · e4c029e7
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49139
```
  e4c029e7
- When creating PathDiagnostics, created a trimmed graph first and report the · 4e9cc3f2
  Ted Kremenek authored Apr 03, 2008
```
BFS path to the root.  This also avoids problems with loops in the ExplodedGraph.

llvm-svn: 49133
```
  4e9cc3f2
- Created new path-sensitive bug-reporting scheme based on the classes · 505a36af
  Ted Kremenek authored Apr 03, 2008
```
"BugReporter" and "BugDescription".  BugDescription is used to describe
a bug and provide pieces of the PathDiagnostic, and BugReporter creates
the actual PathDiagnostic by crawling through the ExplodedGraph.

Migrated checks done by GRSimpleVals to be reported using the new BugReporter
mechanism.

llvm-svn: 49127
```
  505a36af