Fix library-summary relocation with C++20 modules

Author: fabianbs96

lib/PhasarLLVM/DataFlow/IfdsIde/IfdsIde.cppm

@@ -1,7 +1,6 @@
 module;
 
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/DefaultAliasAwareIDEProblem.h"
-#include "phasar/PhasarLLVM/DataFlow/IfdsIde/LibCSummary.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h"
 #include "phasar/PhasarLLVM/DataFlow/IfdsIde/Problems/ExtendedTaintAnalysis/AllSanitized.h"
@@ -106,7 +105,6 @@ using psr::JoinLatticeTraits;
 using psr::to_string;
 using psr::operator<<;
 using psr::CSTDFILEIOTypeStateDescription;
-using psr::getLibCSummary;
 using psr::IDETypeStateAnalysis;
 using psr::OpenSSLEVPKDFCTXDescription;
 using psr::OpenSSLEVPKDFCTXState;
@@ -125,15 +123,6 @@ export namespace std {
 using std::hash;
 } // namespace std
 
-export namespace psr::library_summary {
-using psr::library_summary::DataFlowFact;
-using psr::library_summary::FunctionDataFlowFacts;
-using psr::library_summary::LLVMFunctionDataFlowFacts;
-using psr::library_summary::Parameter;
-using psr::library_summary::readFromFDFF;
-using psr::library_summary::ReturnValue;
-} // namespace psr::library_summary
-
 export namespace llvm {
 using llvm::DenseMapInfo;
 } // namespace llvm

lib/PhasarLLVM/Utils/Utils.cppm

@@ -5,6 +5,7 @@ module;
 #include "phasar/PhasarLLVM/Utils/DataFlowAnalysisType.h"
 #include "phasar/PhasarLLVM/Utils/LLVMBasedContainerConfig.h"
 #include "phasar/PhasarLLVM/Utils/LLVMCXXShorthands.h"
+#include "phasar/PhasarLLVM/Utils/LLVMFunctionDataFlowFacts.h"
 #include "phasar/PhasarLLVM/Utils/LLVMIRToSrc.h"
 #include "phasar/PhasarLLVM/Utils/LLVMShorthands.h"
 #include "phasar/PhasarLLVM/Utils/LLVMSourceManager.h"
@@ -74,3 +75,8 @@ using psr::SourceCodeInfo;
 using psr::SourceMgrPrinter;
 using psr::to_json;
 } // namespace psr
+
+export namespace psr::library_summary {
+using psr::library_summary::LLVMFunctionDataFlowFacts;
+using psr::library_summary::readFromFDFF;
+} // namespace psr::library_summary

lib/Utils/Utils.cppm

@@ -20,11 +20,13 @@ module;
 #include "phasar/Utils/EnumFlags.h"
 #include "phasar/Utils/EquivalenceClassMap.h"
 #include "phasar/Utils/ErrorHandling.h"
+#include "phasar/Utils/FunctionDataFlowFacts.h"
 #include "phasar/Utils/GraphTraits.h"
 #include "phasar/Utils/IO.h"
 #include "phasar/Utils/InitPhasar.h"
 #include "phasar/Utils/IotaIterator.h"
 #include "phasar/Utils/JoinLattice.h"
+#include "phasar/Utils/LibCSummary.h"
 #include "phasar/Utils/Macros.h"
 #include "phasar/Utils/MaybeUniquePtr.h"
 #include "phasar/Utils/NullAnalysisPrinter.h"
@@ -168,6 +170,7 @@ using psr::DummyUnorderedTable1d;
 using psr::ElementType;
 using psr::FalseFn;
 using psr::forward_like;
+using psr::getLibCSummary;
 using psr::has_adl_to_string_v;
 using psr::has_erase_iterator_v;
 using psr::has_getAsJson;
@@ -221,3 +224,10 @@ using psr::UnorderedTable1d;
 using psr::variant_idx;
 
 } // namespace psr
+
+export namespace psr::library_summary {
+using psr::library_summary::DataFlowFact;
+using psr::library_summary::FunctionDataFlowFacts;
+using psr::library_summary::Parameter;
+using psr::library_summary::ReturnValue;
+} // namespace psr::library_summary