@@ -68,21 +68,18 @@ Result<Linker::LinkResult> Linker::linkForTarget(const fs::path &target, const f
68
68
auto stubSources = stubGen.getStubSources (target);
69
69
70
70
CollectionUtils::MapFileTo<fs::path> filesToLink;
71
- filesToLink.insert ({ objectFile, compilationUnitInfo->kleeFilesInfo ->getKleeBitcodeFile () });
72
71
for (const auto &sibling : siblings) {
73
- if (sibling != objectFile) {
74
- auto siblingCompilationUnitInfo =
75
- testGen.buildDatabase ->getClientCompilationUnitInfo (sibling);
76
- fs::path siblingObjectFile = siblingCompilationUnitInfo->getOutputFile ();
77
- fs::path bitcodeFile = testGen.buildDatabase ->getBitcodeForSource (
78
- siblingCompilationUnitInfo->getSourcePath ());
79
- if (CollectionUtils::contains (stubSources,
80
- siblingCompilationUnitInfo->getSourcePath ())) {
81
- bitcodeFile =
82
- LinkerUtils::applySuffix (bitcodeFile, BuildResult::Type::ALL_STUBS, " " );
83
- }
84
- filesToLink.emplace (siblingObjectFile, bitcodeFile);
72
+ auto siblingCompilationUnitInfo =
73
+ testGen.buildDatabase ->getClientCompilationUnitInfo (sibling);
74
+ fs::path siblingObjectFile = siblingCompilationUnitInfo->getOutputFile ();
75
+ fs::path bitcodeFile = testGen.buildDatabase ->getBitcodeForSource (
76
+ siblingCompilationUnitInfo->getSourcePath ());
77
+ if (CollectionUtils::contains (stubSources,
78
+ siblingCompilationUnitInfo->getSourcePath ())) {
79
+ bitcodeFile =
80
+ LinkerUtils::applySuffix (bitcodeFile, BuildResult::Type::ALL_STUBS, " " );
85
81
}
82
+ filesToLink.emplace (siblingObjectFile, bitcodeFile);
86
83
}
87
84
kleeGenerator->buildByCDb (filesToLink, stubSources);
88
85
0 commit comments