[PPL-devel] Some fails of simplify_using_context_assign in CLooG's testsuite

[Sebastian Pop]

Hi,

Many thanks for the implementation of simplify_using_context_assign.
Using the attached patch on top of cloog-ppl, I got some segfaults in
the code of simplify_using_context_assign:

diff -u ref_check.txt check_2008_08_21_22_00_44
--- ref_check.txt       2008-08-02 17:36:07.000000000 -0500
+++ check_2008_08_21_22_00_44   2008-08-21 22:01:18.000000000 -0500
@@ -135,6 +135,7 @@
 Verify file cholesky
 cholesky passed
 Verify file cholesky2
+/bin/bash: line 2: 19236 Segmentation fault      ../cloog ./$x.cloog > ttemp
 cholesky2 passed
 Verify file classen
 classen passed
@@ -197,12 +198,15 @@
 Verify file logopar
 logopar passed
 Verify file lu
+/bin/bash: line 2: 19763 Segmentation fault      ../cloog ./$x.cloog > ttemp
 lu passed
 Verify file lu2
+/bin/bash: line 2: 19785 Segmentation fault      ../cloog ./$x.cloog > ttemp
 lu2 passed
 Verify file lub
 lub passed
 Verify file lux
+/bin/bash: line 2: 19819 Segmentation fault      ../cloog ./$x.cloog > ttemp
 lux passed
 Verify file min-1-1
 min-1-1 passed
@@ -283,12 +287,14 @@
 Verify file ./reservoir/mg-interp2
 ./reservoir/mg-interp2 passed
 Verify file ./reservoir/mg-interp
+/bin/bash: line 2: 20499 Segmentation fault      ../cloog ./$x.cloog > ttemp
 ./reservoir/mg-interp passed
 Verify file ./reservoir/mg-psinv
 ./reservoir/mg-psinv passed
 Verify file ./reservoir/mg-resid
 ./reservoir/mg-resid passed
 Verify file ./reservoir/mg-rprj3
+/bin/bash: line 2: 20550 Segmentation fault      ../cloog ./$x.cloog > ttemp
 ./reservoir/mg-rprj3 passed
 Verify file ./reservoir/pingali1
 ./reservoir/pingali1 passed
@@ -310,6 +316,7 @@
 ./reservoir/two passed
 --- Testing FORTRAN files...
 Verify file dartef
+[CLooG]ERROR: unbounded loops not allowed in FORTRAN.
 dartef passed
 Verify file iftestf
 iftestf passed

I tried to debug it but I'm sure somebody more familiar with the code
of PPL could jump in to help.

>From a first look over the changes to the testsuite of CLooG, the
redundant checks in loops seem to disappear now.  Thanks again,

Sebastian Pop
--
AMD - GNU Tools