Since gcc 4.3.4 has finally been stabilized under the regular hardened 
profiles, are there plans to update the SELinux hardened profile to also 
include it?

I've been using SELinux + hardened gcc-4.x for close to a year now with 
no serious problems, but if there's something in particular that needs 
testing I have a couple of disposable VMs...

--Mike