unsigned conversion in C works as expected on x86 but not ARM [duplicate]

问题

This question already has answers here:

Is the behaviour of casting a negative double to unsigned int defined in the C standard? Different behaviour on ARM vs. x86 (1 answer)

iphone: floats cast to unsigned ints get set to 0 if they are negative? (4 answers)

Closed last month.

I am facing a problem running a C program on ARM processor.

#include <stdio.h>
#include <stdlib.h>

int main()
{
    float f = -40.000000;
    unsigned int a = f;

    printf("\t Actual TX Power = %0.2f dBm \n",
         (double)(int)a);

    return 0;
}

outputs:

on x86-        Actual TX Power = -40.00 dBm
on ARM-        Actual TX Power = -0.00 dBm

The value survives the round-trip on x86 but not ARM.

I am not able to figure out what is the issue. What could be the reason behind it.

来源：https://stackoverflow.com/questions/60925860/unsigned-conversion-in-c-works-as-expected-on-x86-but-not-arm