Log a warning instead of throwing an exception when opt is not availa… (

hernanponcedeleon#666)

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
Co-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/utils/Compilation.java

@@ -33,7 +33,7 @@ public static File compileWithClang(File file, String cflags) throws Exception {
         return new File(outputFileName);
     }
 
-    public static File applyLlvmPasses(File file) throws Exception {
+    public static File applyLlvmPasses(File file) throws IOException {
         final String outputFileName = getOutputName(file, "-opt.ll");
         ArrayList<String> cmd = new ArrayList<>();
         cmd.add("opt");
@@ -45,7 +45,12 @@ public static File applyLlvmPasses(File file) throws Exception {
         cmd.add("-S");
         cmd.add("-o");
         cmd.add(outputFileName);
-        runCmd(cmd);
+        try {
+            runCmd(cmd);
+        } catch (Exception e) {
+            logger.warn("Failed to run opt (llvm optimizations). Continuing without optimizations.");
+            return file;
+        }
         return new File(outputFileName);
     }