This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
RE: Incorrect bitfield aliasing with Tree SSA
> It's very tricky. Didn't we go round more-or-less this same ground a couple
> of years back with DECL_READONLY_P vs. constructors of const objects being
> allowed to write to them (once)? Seems to me we perhaps have two analagous
> possibile interpretations of DECL_NONADDRESSABLE_P here: not addressable by
> user's code, vs. not ever actually addressable even by behind-the-scenes
> internal compiler magic.
If by "compiler magic", you mean front-end stuff, indeed the Ada front end
has to set it sparingly due to this. But it isn't affected by middle-end
or back-end accesses.