On Wed, Dec 2, 2015 at 10:36 PM, Sebastian Paul Pop <s....@samsung.com> wrote: > Do you recommend that we add a gcc_assert that min is always lower than max?
No, min can be one less than max if the array has size zero. > The change in Graphite code can be reverted then: > >>+ /* Fortran has some arrays where high bound is -1 and low is 0. */ >>+ if (integer_onep (fold_build2 (LT_EXPR, boolean_type_node, high, >>low))) >>+ return false; > > > -----Original Message----- > > But either that is the case or the frontend has a bug and should be fixed. > So your patch doesn't make any sense. > > Richard. > >