On Fri, 19 Feb 2016, Bernd Schmidt wrote: > On 02/19/2016 09:36 AM, Richard Biener wrote: > > Yup, so we should make sure we don't (even not "out of nowhere"). See > > my attempts on adding some SSA verification for this (needs to be > > restricted to overaligned, then it doesn't trigger that often...). > > One issue is that we've often got DECLs that are overaligned but at > > some point re-write them into SSA - and the SSA verifier expects the > > SSA name types to agree with their decls type. > > Sounds like the verifier needs to be relaxed a little?
No, we really use those two types interchangeably. If it's a DECL_INGORED var adjusting it is fine I think, but if it's a user var we'd drop some debug info (do we actually emit alignment info?) and if it's a PARM_DECL then it may change the ABI (in which case their SSA names maybe should have overaligned type...) Richard. > > Bernd > > -- Richard Biener <rguent...@suse.de> SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Graham Norton, HRB 21284 (AG Nuernberg)
