> PR59338, I have a fix in testing (restrict checking to non-aggregates).
This will be sufficient for Ada I think, this occurs only when downcasting because of the infamous VIEW_CONVERT_EXPRs used to implement it (yes, the ones which carry the TYPE_ALIGN_OK flag). -- Eric Botcazou