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