[Ada] Reset x87 FPU to 64-bit precision for floating-point I/O on Linux
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 18 Jan 2021 10:19:01 +0000 (11:19 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 6 May 2021 07:51:27 +0000 (03:51 -0400)
commit1bc178bb6c6f5c959c9fb0d929734c08ad5aa1d5
tree203dc953d4fed02ea462c875b5efca1a792dbf9e
parent799dfd944ab88e1a32e537fcef7307634c376907
[Ada] Reset x87 FPU to 64-bit precision for floating-point I/O on Linux

gcc/ada/

* init.c (__gnat_init_float): Use full version on Linux too.
gcc/ada/init.c