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? Bernd
