@@ -68,21 +68,18 @@ Result<Linker::LinkResult> Linker::linkForTarget(const fs::path &target, const f
6868 auto stubSources = stubGen.getStubSources (target);
6969
7070 CollectionUtils::MapFileTo<fs::path> filesToLink;
71- filesToLink.insert ({ objectFile, compilationUnitInfo->kleeFilesInfo ->getKleeBitcodeFile () });
7271 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, " " );
8581 }
82+ filesToLink.emplace (siblingObjectFile, bitcodeFile);
8683 }
8784 kleeGenerator->buildByCDb (filesToLink, stubSources);
8885
0 commit comments