Assert instead of exiting with failure

Assert instead of exiting with failure in pluto_detect_tra.. Signed-off-by: Uday Reddy <udayreddy@gmail.com>
tajkhan · Dec 5, 2011 · 6966edf · 6966edf
1 parent c40f49b
commit 6966edf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pluto.c b/src/pluto.c
@@ -934,7 +934,7 @@ void pluto_detect_transformation_properties(PlutoProg *prog, int use_isl)
                     fprintf(stderr, "\tIf not, this usually is a result of a bug in the dependence tester,\n");
                     fprintf(stderr, "\tor rarely a bug in Pluto's auto transformation.\n");
                     fprintf(stderr, "\tPlease send this input file to the author if possible.\n");
-                    exit(EXIT_FAILURE);
+                    assert(0);
                 }
 
                 band++;