> OK. Note I wondered for some time whether we can pre-compute (and LTO
> stream) whether a type is variably modified during type layout?
During type layout seems a little early, the end of gimplification would seem
more natural since we have a workaround in RETURN_TRUE_IF_VAR:
/* Test if T is
On Wed, Mar 11, 2020 at 8:56 AM Eric Botcazou wrote:
>
> Hi,
>
> this is a GIMPLE verification failure in LTO mode on Ada code:
>
> /vol/gcc/src/hg/master/local/gcc/testsuite/gnat.dg/lto24_pkg1.ads:9:8: error:
> type mismatch in 'component_ref'
> lto24_pkg1__rec___b___XVN
>
> lto24_pkg1__rec___b__
Hi,
this is a GIMPLE verification failure in LTO mode on Ada code:
/vol/gcc/src/hg/master/local/gcc/testsuite/gnat.dg/lto24_pkg1.ads:9:8: error:
type mismatch in 'component_ref'
lto24_pkg1__rec___b___XVN
lto24_pkg1__rec___b___XVN
The __XVN fields are the fields with QUAL_UNION_TYPE in Ada, whi
