[Bug tree-optimization/45450] New: [graphite] some programs do not pass the legality check

[baghdadi dot mr at gmail dot com]

In the graphite branch some programs do not pass the legality check with the
following flags:

$ gcc -O3 -fgraphite -fno-loop-block run-id-pr42644.c
When executed, the program cannot pass any legality check similar to :
gcc_assert (graphite_legal_transform (scop));

Test files that have the same problem are :
id-17.c
id-1.c
pr37828.c
pr38510.c
pr38786.c
pr39335_1.c
pr39335.c
pr42211.c
run-id-pr42644.c

To produce the error you'll need to insert this test manually since the test is
not accessible by default. (it's called when you activate the option
-fgraphite-write, and after code transformation, code transformation make the
check pass but if the check is inserted before code transformation, there will
be an error). 
The same bug was also there without when I use a graphite version without any
recent OpenScop patches, so it's not related to recent changes by OpenScop
patches.


-- 
           Summary: [graphite] some programs do not pass the legality check
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: baghdadi dot mr at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45450