diff options
| author | Yannick Moy <moy@adacore.com> | 2021-05-18 12:35:08 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-07 16:23:14 +0000 |
| commit | a7f66404a62179ed8d759e8d454635f775cef016 (patch) | |
| tree | bfe1382073a1efaa435101079664e290cfa2efed /gcc/gimple-array-bounds.cc | |
| parent | f78c17d267271cf339e4a0efc3bfe7eb0c00b502 (diff) | |
| download | gcc-a7f66404a62179ed8d759e8d454635f775cef016.zip gcc-a7f66404a62179ed8d759e8d454635f775cef016.tar.gz gcc-a7f66404a62179ed8d759e8d454635f775cef016.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gimple-array-bounds.cc')
0 files changed, 0 insertions, 0 deletions