| 338 | } |
| 339 | |
| 340 | static std::string getDumpFileName(const Settings& settings, const FileWithDetails& file) |
| 341 | { |
| 342 | std::string extension = ".dump"; |
| 343 | if (file.fsFileId() > 0) |
| 344 | extension = "." + std::to_string(file.fsFileId()) + extension; |
| 345 | if (!settings.dump && settings.buildDir.empty()) |
| 346 | extension = "." + std::to_string(settings.pid) + extension; |
| 347 | |
| 348 | if (!settings.dump && !settings.buildDir.empty()) |
| 349 | return AnalyzerInformation::getAnalyzerInfoFile(settings.buildDir, file.spath(), "", file.fsFileId()) + extension; |
| 350 | return file.spath() + extension; |
| 351 | } |
| 352 | |
| 353 | static std::string getCtuInfoFileName(const std::string &dumpFile) |
| 354 | { |
no test coverage detected