Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/float_attributes_overflows.adb @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
-- { dg-do run } procedure Float_Attributes_Overflows is generic type Float_Type is digits <>; procedure Test_Float_Type; procedure Test_Float_Type is Biggest_Positive_float : Float_Type := Float_Type'Last; Biggest_Negative_Float : Float_Type := Float_Type'First; Float_Var : Float_Type; begin begin Float_Var := Float_Type'succ (Biggest_Positive_Float); raise Program_Error; exception when Constraint_Error => null; end; begin Float_Var := Float_Type'pred (Biggest_Negative_Float); raise Program_Error; exception when Constraint_Error => null; end; end Test_Float_Type; procedure Test_Float is new Test_Float_Type (Float); procedure Test_Long_Float is new Test_Float_Type (Long_Float); begin Test_Float; Test_Long_Float; end Float_Attributes_Overflows;