| -- { dg-do run } | |
| -- { dg-options "-gnateF -O0" } | |
| procedure Range_Check5 is | |
| subtype Small_Float is Float range -100.0 .. 100.0; | |
| function Conv (F : Long_Float) return Small_Float is | |
| begin | |
| return Small_Float (F); | |
| end; | |
| R : Small_Float; | |
| begin | |
| R := Conv (4.0E+38); | |
| raise Program_Error; | |
| exception | |
| when Constraint_Error => | |
| null; | |
| end; |