Sample code for https://developercommunity.visualstudio.com/t/With-__assume-isnan-after-isinf/1515649

vs2022-fp-bug.c

/* compile with -O2 */
#include <math.h>
#include <float.h>

#define value_finite(d) 'f'
#define value_infinity() 'i'
#define value_nan() 'n'

static int
check_value(double value)
{
    if (isinf(value)) {
        return value_infinity();
    }
    else if (isnan(value)) {
        return value_nan();
    }

    __assume(1); // This causes the bug.
    return value_finite(value);
}

int
main(void)
{
    int c = check_value(nan(""));
    printf("NaN=>%c\n", c);
    return c != value_nan();
}