Я ещё помучил компилятор. Никакие литералы с плавающей точкой не проходят. Вот это работает:

    printf("123.45 = %f\n", (double)12345 / 100);

А это падает с той самой ошибкой:

    printf("123.45 = %f\n", 123.45);

Очевидно, глюк в симуляторе. В процессе обработки литерала с плавающей точкой возникает какая-то фигня.