Merge branch 'development' into f-RedeclarationForGCC

Author: pdschubert

include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/InterMonoSolver.h

@@ -352,6 +352,7 @@ template <typename AnalysisDomainTy, unsigned K> class InterMonoSolver {
   bool isSensibleToSummarize() {
     // use a heuristic to check whether we should compute a summary
     // make use of the call-graph information
+    return false;
   }
 
   virtual void solve() {

include/phasar/Utils/LLVMShorthands.h

@@ -241,7 +241,7 @@ class ModulesToSlotTracker {
 private:
   static inline llvm::SmallDenseMap<const llvm::Module *,
                                     std::unique_ptr<llvm::ModuleSlotTracker>, 2>
-      MToST; // NOLINT
+      MToST{};
 
   static void updateMSTForModule(const llvm::Module *Module);
   static void deleteMSTForModule(const llvm::Module *Module);