Re: [Freemint-discuss] Debugging a problem in gcc-14

[Thorsten O. <ad...@th...>]

On Donnerstag, 30. Mai 2024 15:35:47 CEST Mark Duckworth via Freemint-discuss 
wrote:
> Your binary's stack size is sufficient?

Yes, thats always the first thing i try when i get strange errors ;)

And the bug can be reproduced by a simple program like:

int x509_date_is_valid(int mon)
{
    switch (mon) {
        case 1:
        case 3:
        case 5:
        case 7:
        case 8:
        case 10:
        case 12:
            break;
        default:
            return 0x2400;
    }

    return 0;
}

It crashes in GIMPLE: pass switchlower, regardless of optimizations used.

There is a 2nd simple test that also crashes, also involving a switch 
statement:

int mbedtls_to_psa_error(int ret)
{
    switch (ret) {
        case -0x0020:
            return (-134);
        case -0x0060:
        case -0x0062:
        case -0x0064:
        case -0x0066:
        case -0x0068:
            return (-135);
        case -0x006A:
            return (-141);
    }
    return (-132);
}