mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-27 04:55:01 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

* gnat.dg/nan_max.adb: New test.

Browse Source 
From-SVN: r219011
This commit is contained in:
Eric Botcazou 2014-12-22 11:05:18 +00:00
parent 881cdd61ee
commit 1d3a0146ae
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
gcc/testsuite/gnat.dg/nan_max.adb Normal file
View File

@ -0,0 +1,30 @@
-- { dg-do run }
procedure Nan_Max is
function NaN return Long_Float is
Zero : Long_Float := 0.0;
begin
return Zero / Zero;
end;
Z : Long_Float := 1.0;
N : Long_Float := NaN;
begin
if Long_Float'Max (N, Z) /= Z then
raise Program_Error;
end if;
if Long_Float'Max (Z, N) /= Z then
raise Program_Error;
end if;
if Long_Float'Max (NaN, Z) /= Z then
raise Program_Error;
end if;
if Long_Float'Max (Z, NaN) /= Z then
raise Program_Error;
end if;
end;