diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-29 22:15:16 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-06 07:35:05 -0400 |
| commit | 8f892a98cc4599b7562e041a53ecfa920c72551c (patch) | |
| tree | 41774e2e1ec10a0caf01d0d23b195c44b4bfd14d /gcc/fortran/match.c | |
| parent | 977b168196992b3f15d167c2f7d05cec38ac0302 (diff) | |
| download | gcc-8f892a98cc4599b7562e041a53ecfa920c72551c.zip gcc-8f892a98cc4599b7562e041a53ecfa920c72551c.tar.gz gcc-8f892a98cc4599b7562e041a53ecfa920c72551c.tar.bz2 | |
[Ada] Set range checks flag on 'Update for GNATprove in expansion
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Apply
scalar range checks.
* sem_attr.adb (Resolve_Attribute): Do not set scalar range
checks when resolving attribute Update.
Diffstat (limited to 'gcc/fortran/match.c')
0 files changed, 0 insertions, 0 deletions