On Sat, 2 Aug 2025, Martin Uecker wrote:

> In preparation N3652, this removes some UB from the conditional
> operator when forming a composite type.  This is an improvement
> also for earlier language modes (previously I submitted PR108931
> for this).
> 
> Bootstrapped and regression tested on x86_64.
> 
> 
>     c: Evaluate size expression only in the active branch of conditional 
> operator [PR108931]
>     
>     For size expressions in the branches of the conditional operator should
>     be evaluated only for the active branch.  To achieve this, construct
>     also the size expressions for the composite type as conditional
>     expressions depending on the condition of the conditional operator.
>     The change avoids some undefined behavior removed by N3652, but the
>     new constraints for C2Y are not yet implemented.

OK.

-- 
Joseph S. Myers
josmy...@redhat.com

Reply via email to