"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/AnalysisReporting.C" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

AnalysisReporting.C  (rose-0.11.49.0):AnalysisReporting.C  (rose-0.11.50.0)
skipping to change at line 128 skipping to change at line 128
if(node) { if(node) {
//cout<<lab.toString()<<","<<value<<endl; //cout<<lab.toString()<<","<<value<<endl;
locationsCSVFileData<<ProgramLocationsReport::findOriginalProgramLocat ionOfLabel(analyzer->getLabeler(),lab); locationsCSVFileData<<ProgramLocationsReport::findOriginalProgramLocat ionOfLabel(analyzer->getLabeler(),lab);
// CONTINUE // CONTINUE
} else { } else {
locationsCSVFileData<<"unknown-location"<<endl; locationsCSVFileData<<"unknown-location"<<endl;
} }
locationsCSVFileData<<endl; locationsCSVFileData<<endl;
} }
string s=locationsCSVFileData.str(); string s=locationsCSVFileData.str();
if(!CppStdUtilities::writeFile(ctOpt.csvReportModeString,ctOpt.reportFileP string fileName=ctOpt.reportFilePath+"/"+ctOpt.deadCodeAnalysisFileName;
ath+"/"+ctOpt.deadCodeAnalysisFileName, s)) { if(!CppStdUtilities::writeFile(ctOpt.csvReportModeString, fileName, s)) {
cerr<<"Error: cannot write file "<<ctOpt.deadCodeAnalysisFileName<<endl; cerr<<"Error: cannot write file "<<fileName<<endl;
} else { } else {
if(!ctOpt.quiet) if(!ctOpt.quiet)
cout<<"Generated analysis results in file "<<ctOpt.deadCodeAnalysisFil eName<<endl; cout<<"Generated analysis results in file "<<fileName<<endl;
} }
} }
} }
void AnalysisReporting::generateConstantConditionVerificationReport(CodeThornO ptions& ctOpt, CodeThorn::CTAnalysis* analyzer, AnalysisSelector analysisSel) { void AnalysisReporting::generateConstantConditionVerificationReport(CodeThornO ptions& ctOpt, CodeThorn::CTAnalysis* analyzer, AnalysisSelector analysisSel) {
ROSE_ASSERT(analyzer->getEStateTransferFunctions()); ROSE_ASSERT(analyzer->getEStateTransferFunctions());
if(ReadWriteListener* readWriteListener=analyzer->getEStateTransferFunctions ()->getReadWriteListener()) { if(ReadWriteListener* readWriteListener=analyzer->getEStateTransferFunctions ()->getReadWriteListener()) {
ROSE_ASSERT(readWriteListener); ROSE_ASSERT(readWriteListener);
ConstantConditionAnalysis* constCondAnalysis=dynamic_cast<ConstantConditio nAnalysis*>(readWriteListener); ConstantConditionAnalysis* constCondAnalysis=dynamic_cast<ConstantConditio nAnalysis*>(readWriteListener);
ROSE_ASSERT(constCondAnalysis); ROSE_ASSERT(constCondAnalysis);
skipping to change at line 457 skipping to change at line 458
std::string dotFileString1=cgNodes.str(); std::string dotFileString1=cgNodes.str();
if(!CppStdUtilities::writeFile(ctOpt.csvReportModeString, fileName1, dotFile String1)) { if(!CppStdUtilities::writeFile(ctOpt.csvReportModeString, fileName1, dotFile String1)) {
cerr<<"Error: could not generate function verification file "<<fileName1<< endl; cerr<<"Error: could not generate function verification file "<<fileName1<< endl;
exit(1); exit(1);
} else { } else {
cout<<"Generated function verification file "<<fileName1<<endl; cout<<"Generated function verification file "<<fileName1<<endl;
} }
} }
void AnalysisReporting::generateInternalAnalysisReport(CodeThornOptions& ctOpt
, CodeThorn::CTAnalysis* analyzer) {
string report=analyzer->internalAnalysisReportToString();
string fileName=ctOpt.reportFilePath+"/"+ctOpt.internalAnalysisReportFileNam
e;
if(!CppStdUtilities::writeFile(ctOpt.csvReportModeString, fileName, report))
{
cerr<<"Error: cannot write file "<<fileName<<endl;
} else {
if(!ctOpt.quiet)
cout<<"Generated analysis results in file "<<fileName<<endl;
}
}
} // end of namespace CodeThorn } // end of namespace CodeThorn
 End of changes. 3 change blocks. 
4 lines changed or deleted 18 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)