On Fri, Jul 18, 2025 at 09:07:35AM +0200, Richard Biener wrote:
> The PR shows that the uninit analysis limits are set too low in
> cases we lower switches to ifs as happens on s390x for a linux
> kernel TU. This causes false positive uninit diagnostics as we
> abort the attempt to prove that a value is initialized on all
> paths. The new testcase only would require upping to 9.
>
> Bootstrap and regtest running on x86_64-unknown-linux-gnu.
>
> OK for trunk? OK for 15 branch?
LGTM for both.
Jakub
