diff options
| author | Yannick Moy <moy@adacore.com> | 2020-11-04 16:11:51 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:58 -0500 |
| commit | fdd0a8448945618a6756d474b7c931fabc51ad0f (patch) | |
| tree | 17822e4958538ccdb650db4d0a839928bdffb9a1 /gcc/tree-scalar-evolution.c | |
| parent | 9884fc7e79e0753299169a5045ba054520896ac6 (diff) | |
| download | gcc-fdd0a8448945618a6756d474b7c931fabc51ad0f.zip gcc-fdd0a8448945618a6756d474b7c931fabc51ad0f.tar.gz gcc-fdd0a8448945618a6756d474b7c931fabc51ad0f.tar.bz2 | |
[Ada] Do not apply range checks inside generics in GNATprove mode
gcc/ada/
* checks.adb (Selected_Range_Checks): Adapt the condition for
applying range checks so that it is not done inside generics.
Diffstat (limited to 'gcc/tree-scalar-evolution.c')
0 files changed, 0 insertions, 0 deletions