It doesn't seem to happen for integers, though.
Sure I'm doing something wrong, but what is it, and how to fix?
It's modified "startup_Cortex-A8", going emulator "startup-Cortex-A8-RTSM-example.launch" (otherwise all fresh installation)
int main(void)
{
float A;
float B;
float C;
float D;
A = 1.2f;
B = 2.3f;
C = 3.4f;
D = B + C;
return 0;
}

















