[PING] tighten gimple addressability checks

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



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,


More information about the Gcc-patches mailing list