Miles :
sachant que HUGE_VAL est POSITIVE_INF qui est défini par :
#define POSITIVE_INF (*(float*)&(bcd){0x7FFF,0xAA00BB0000000000})
Même erreur avec NAN.

Mets à jour TIGCC, tu as une vieille bêta.
Maintenant, il y a:
#define POSITIVE_INF (1/POSITIVE_ZERO)
#define POSITIVE_ZERO (1.e-8192*1.e-8192)
et le compilateur calcule le tout en temps de compilation (ne change pas juste le header, il te faut aussi le GCC de la bêta la plus récente):
1.e-8192*1.e-8192 -> underflow -> +0
1/(+0)=+∞

Sinon, j'ai des erreurs de links : Symbol 'xxx\tigcc\Lib\tigcc.a_stl3' too far for size 2 reloc at 0x3A

C'est pas normal, au hasard ?

Ce n'est certainement pas normal. Essaye avec la bêta la plus récente (bêta 6).