projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f78c17d) | patch
[Ada] Simplify handling of sure errors in GNATprove mode
authorYannick Moy <moy@adacore.com>
Tue, 18 May 2021 10:35:08 +0000 (12:35 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 7 Jul 2021 16:23:14 +0000 (16:23 +0000)
commita7f66404a62179ed8d759e8d454635f775cef016
treebfe1382073a1efaa435101079664e290cfa2efedtree | snapshot
parentf78c17d267271cf339e4a0efc3bfe7eb0c00b502commit | diff
[Ada] Simplify handling of sure errors in GNATprove mode

gcc/ada/

* checks.adb (Apply_Scalar_Range_Check): Remove special case for
GNATprove mode.
* sem_res.adb (Resolve_Arithmetic_Op): Same.
* sem_util.adb (Apply_Compile_Time_Constraint_Error): Same.
gcc/ada/checks.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;