Added hacks around too aggressive inlining

ftsrg · Jul 23, 2023 · c61d04b · c61d04b
1 parent 98601e4
commit c61d04b
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/XcfaUtils.java b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/XcfaUtils.java
@@ -61,10 +61,10 @@ public static XCFA fromFile(File model, ArithmeticType arithmeticType) throws IO
 
         if (!model.exists()) throw new FileNotFoundException();
 
-       if (model.getName().endsWith(".ll") || model.getName().endsWith(".bc")) {
+       if (model.getName().endsWith("ll") || model.getName().endsWith("bc")) {
             return createXCFA(new LlvmIrProvider(model.getAbsolutePath()), arithmeticType);
 
-        } else if (model.getName().endsWith(".c") || model.getName().endsWith(".i")) {
+        } else if (model.getName().endsWith("c") || model.getName().endsWith("i")) {
             return createXCFA(new LlvmIrProvider(model.getAbsolutePath(), true, true, true, true), arithmeticType);
 
         } else {
@@ -106,6 +106,7 @@ else if(arithmeticType == ArithmeticType.efficient) {
         GlobalState globalState = new GlobalState(ssa, arithmeticType);
 
         for (Tuple3<String, Optional<String>, List<Tuple2<String, String>>> function : ssa.getFunctions()) {
+            if(function.get1().equals("reach_error")) continue;
             FunctionState functionState = new FunctionState(globalState, function);
 
             for (String block : ssa.getBlocks(function.get1())) {
@@ -136,6 +137,13 @@ else if(arithmeticType == ArithmeticType.efficient) {
             System.exit(-80);
         }
 
+        builtState.getProcedures().forEach((s, builder) -> {
+            if(builder.getErrorLoc() == null) {
+                System.err.println("Frontend failed");
+                System.exit(-80);
+            }
+        });
+
         final XCFA.Builder builder = globalState.getBuilder();
 
         return new XCFA(builder.getGlobalVars(),