Richard Guenther wrote:
But no, the frontend cannot currently communicate such things.
This would, btw, also disable array-bounds warnings - as that
does rely on "true" value ranges being used, like for
Yep - I later realized that one should either:
1. Emit code for array bound checking, or
2. Communicate the assumptions to the middle end.
But as the latter isn't possible (yet), it is an academic question for
now ....
Thanks,
--
Toon Moene - e-mail: t...@moene.org - phone: +31 346 214290
Saturnushof 14, 3738 XG Maartensdijk, The Netherlands
At home: http://moene.org/~toon/; weather: http://moene.org/~hirlam/
Progress of GNU Fortran: http://gcc.gnu.org/gcc-4.5/changes.html#Fortran
