Re: Can a front end pass information to the Value Range Propagation Pass ?

[Toon Moene <toon at moene dot org>]

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: toon@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