diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-01-08 14:31:25 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-05 04:18:58 -0400 |
| commit | ab3de94f09bbaec63da85cdd872f61da2a98e01f (patch) | |
| tree | 6910fade6c804271918efcc72110c5e971c9de38 /gcc | |
| parent | 61b54320da90358a010e93b086230ca0627a8fe6 (diff) | |
| download | gcc-ab3de94f09bbaec63da85cdd872f61da2a98e01f.zip gcc-ab3de94f09bbaec63da85cdd872f61da2a98e01f.tar.gz gcc-ab3de94f09bbaec63da85cdd872f61da2a98e01f.tar.bz2 | |
[Ada] Set constraint error on real division just like on integer division
gcc/ada/
* sem_eval.adb (Eval_Arithmetic_Op): Call
Set_Raises_Constraint_Error on real division by zero just like
it is called for integer division by zero earlier in this
routine.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_eval.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 8f3cbf0..87a2f1f 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -2226,6 +2226,7 @@ package body Sem_Eval is if UR_Is_Zero (Right_Real) then Apply_Compile_Time_Constraint_Error (N, "division by zero", CE_Divide_By_Zero); + Set_Raises_Constraint_Error (N); return; end if; |