This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]