]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55b93bb) | patch
[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_Error
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 8 Jan 2021 20:43:10 +0000 (21:43 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 6 May 2021 07:51:31 +0000 (03:51 -0400)
commit0632f8686633a436f05425f01276f35aa29438c1
tree3758c8f85663ad00b2ffea0c39f484b7725d34fatree
parent55b93bbc2158203b776bf516cba0117208e2f649commit | diff
[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_Error

gcc/ada/

* sem_ch4.adb (Analyze_Selected_Component): Remove explicit call
to Set_Raises_Constraint_Error on statically missing component.
* sem_eval.adb (Eval_Arithmetic_Op): Likewise for static
divisions by integer and real zeros.
* sem_util.adb (Apply_Compile_Time_Constraint_Error): Call
Set_Raises_Constraint_Error before exiting early in GNATprove
mode.
gcc/ada/sem_ch4.adb diff | blob | blame | history
gcc/ada/sem_eval.adb diff | blob | blame | history
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git