Merge branch 'development' into f-FixesExplicitCtorCallForGCC

pdschubert · web-flow · commit a34e35fcc2c1 · 2022-07-19T13:16:51.000+02:00
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/Mono/Solver/InterMonoSolver.h b/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() {

Original file line number	Diff line number	Diff line change
`@@ -352,6 +352,7 @@ template <typename AnalysisDomainTy, unsigned K> class InterMonoSolver {`
`352`	`352`	`bool isSensibleToSummarize() {`
`353`	`353`	`// use a heuristic to check whether we should compute a summary`
`354`	`354`	`// make use of the call-graph information`
	`355`	`+ return false;`
`355`	`356`	`}`
`356`	`357`
`357`	`358`	`virtual void solve() {`