[Bug c/59850] Support sparse-style pointer address spaces (type attributes)

[manu at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59850

--- Comment #24 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to PaX Team from comment #23)
> 3. designated_init is a tricky problem because by the time a plugin can
> examine variable initializers, gcc will have lost the information. however
> with a trick such unwanted initializers can instead be turned into a compile
> error (that existing gcc infrastructure can detect). you can find it in
> spender's randomize_layout plugin that's distributed in grsecurity.

There is a patch for GCC that was basically approved in January:
https://gcc.gnu.org/ml/gcc-patches/2014-01/msg01284.html

I am not sure why it hasn't been committed yet.