diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-04-25 17:10:43 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-19 04:17:12 -0400 |
| commit | ec170be1d06841841ef2fbcbab7ae14cf8571d5a (patch) | |
| tree | eb86b0280754f0c22933323a339eeb828a6c0b27 /gcc/file-prefix-map.c | |
| parent | d48bb126eac73c0d1e311eb4084a6f62742fbf76 (diff) | |
| download | gcc-ec170be1d06841841ef2fbcbab7ae14cf8571d5a.zip gcc-ec170be1d06841841ef2fbcbab7ae14cf8571d5a.tar.gz gcc-ec170be1d06841841ef2fbcbab7ae14cf8571d5a.tar.bz2 | |
[Ada] Small cleanup in Apply_Range_Check implementation
2020-06-19 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* checks.ads (Apply_Static_Length_Check): Move up.
(Apply_Range_Check): Add parameter Insert_Node.
* checks.adb (Apply_Selected_Range_Checks): Merge into...
(Apply_Range_Check): ...this. Add parameter Insert_Node,
pass it as Warn_Node to Selected_Range_Checks and use it
as insertion point for the checks.
* sem_ch3.adb (Analyze_Subtype_Declaration): Rewrite block
dealing with the range checks for the subtype indication.
Use local variable and call Apply_Range_Check in both cases.
Diffstat (limited to 'gcc/file-prefix-map.c')
0 files changed, 0 insertions, 0 deletions