[PING] tighten gimple addressability checks

Olivier Hainque hainque@adacore.com
Fri Dec 7 17:01:00 GMT 2007


Hello,

   http://gcc.gnu.org/ml/gcc-patches/2007-10/msg01504.html

Olivier Hainque wrote:
> is_gimple_addressable is fairly permissive today, and I think too
> permissive in some cases.
> 
> In particular, COMPONENT_REFs are all considered addressable while
> the address of BIT_FIELD decls sometimes really can't be taken.
[...]

 This is a suggestion to fix regressions (compiler crash on valid
 code) compared to the 3.4 series. As I wrote then:

> I realize this is invasive and would be happy to discuss enhancements
> or alternate ways out as necessary.

 Thanks in advance,

 Olivier





More information about the Gcc-patches mailing list