disable optimisation for Clang and GCC on tricky translation units

vprover · Jun 14, 2024 · 0332895 · 0332895
1 parent 268dfff
commit 0332895
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/CASC/Schedules.cpp b/CASC/Schedules.cpp
@@ -14,6 +14,15 @@
  * @author Martin Suda
  */
 
+/* this translation unit causes the optimiser to take a very long time,
+ * but it's not really performance-critical code:
+ * disable optimisation for this file with various compilers */
+#if defined(__clang__)
+#pragma clang optimize off
+#elif defined(__GNUC__)
+#pragma GCC optimize 0
+#endif
+
 #include "Schedules.hpp"
 
 #include "Shell/Options.hpp"
@@ -7249,4 +7258,4 @@ void Schedules::getCascSat2024Schedule(const Property& property, Schedule& quick
 
   //total_instr 1326802
   // len(covered) 1067
-}
+}
diff --git a/Shell/Options.cpp b/Shell/Options.cpp
@@ -19,6 +19,16 @@
  * IMPORTANT --> see .hpp file for instructions on how to add an option
  */
 
+/* this translation unit causes the optimiser to take a very long time,
+ * but it's not really performance-critical code:
+ * disable optimisation for this file with various compilers */
+#if defined(__clang__)
+#pragma clang optimize off
+#elif defined(__GNUC__)
+#pragma GCC optimize 0
+#endif
+
+
 // Visual does not know the round function
 #include <cmath>
 #include <filesystem>