improve error/warning message

Author: pdschubert

lib/Controller/AnalysisController.cpp

@@ -14,6 +14,7 @@
 #include <set>
 #include <utility>
 
+#include "llvm/ADT/STLExtras.h"
 #include "llvm/Support/ErrorHandling.h"
 
 #include "phasar/Controller/AnalysisController.h"

lib/PhasarLLVM/ControlFlow/LLVMBasedICFG.cpp

@@ -854,16 +854,20 @@ LLVMBasedICFG::buildCRuntimeGlobalCtorsDtorsModel(llvm::Module &M) {
       break;
     case 2:
       if (UEntry->getName() != "main") {
-        std::cerr << "ERROR: The only entrypoint, where parameters are "
-                     "supported, is main\n";
+        std::cerr
+            << "WARNING: The only entrypoint, where parameters are "
+               "supported, is 'main'.\nAutomated global support for library "
+               "analysis (entry-points=__ALL__) is not yet supported.\n";
         break;
       }
 
       IRB.CreateCall(UEntry, {GlobModel->getArg(0), GlobModel->getArg(1)});
       break;
     default:
-      std::cerr << "ERROR: Entrypoints with parameters are not supported, "
-                   "except for argc and argv in main\n";
+      std::cerr
+          << "WARNING: Entrypoints with parameters are not supported, "
+             "except for argc and argv in main.\nAutomated global support for "
+             "library analysis (entry-points=__ALL__) is not yet supported.\n";
       break;
     }
 

lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDELinearConstantAnalysis.cpp

@@ -257,9 +257,20 @@ IDELinearConstantAnalysis::initialSeeds() {
   // The analysis' entry points
   std::set<const llvm::Function *> EntryPointFuns;
 
-  // Otherwise, consider the user-defined entry point(s)
-  for (const auto &EntryPoint : EntryPoints) {
-    EntryPointFuns.insert(IRDB->getFunctionDefinition(EntryPoint));
+  // Consider the user-defined entry point(s)
+  if (EntryPoints.size() == 1U &&
+      EntryPoints.find("__ALL__") != EntryPoints.end()) {
+    // Consider all available function definitions as entry points
+    for (const auto *Fun : IRDB->getAllFunctions()) {
+      if (!Fun->isDeclaration()) {
+        EntryPointFuns.insert(Fun);
+      }
+    }
+  } else {
+    // Consider the user specified entry points
+    for (const auto &EntryPoint : EntryPoints) {
+      EntryPointFuns.insert(IRDB->getFunctionDefinition(EntryPoint));
+    }
   }
 
   // std::set initial seeds at the required entry points and generate global