Do not call FlushReports() in GRBugReporter's dtor. We already call it in

ActionGRExprEngine().

llvm-svn: 81064
This commit is contained in:
Zhongxing Xu 2009-09-05 06:06:49 +00:00
parent dc6d2c3cda
commit d7674a47f9
1 changed files with 1 additions and 1 deletions

View File

@ -1293,7 +1293,7 @@ BugReportEquivClass::~BugReportEquivClass() {
for (iterator I=begin(), E=end(); I!=E; ++I) delete *I;
}
GRBugReporter::~GRBugReporter() { FlushReports(); }
GRBugReporter::~GRBugReporter() { }
BugReporterData::~BugReporterData() {}
ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); }