------- Comment #65 from ebotcazou at gcc dot gnu dot org 2008-03-30 16:15 ------- > So even GNAT assumes parameter values are in-range? Wouldn't that > cause an bounded error to become an unbounded error if it were > out-of-range?
GNAT considers that it's an unbounded error in a few specific cases by default, for example subscripts on the LHS. But not on the RHS (-gnatVs is needed). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911