diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-02 17:22:42 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:17 +0000 |
| commit | 684194f4a45e00e56687289386eea7105a762cf7 (patch) | |
| tree | ef5bfa1c2f2720d256754ac11f4aa70c6d49c1e0 /gcc/ada/cstreams.c | |
| parent | f608cf03b1c96878d559820ccb4037fee5575876 (diff) | |
| download | gcc-684194f4a45e00e56687289386eea7105a762cf7.zip gcc-684194f4a45e00e56687289386eea7105a762cf7.tar.gz gcc-684194f4a45e00e56687289386eea7105a762cf7.tar.bz2 | |
[Ada] Remove return statements after procedure calls that don't return
A new warning about unreachable code that follows calls to procedures
with No_Return would flag many unnecessary return statements. Those
returns statements were applied inconsistently, so this patch is
actually more a style cleanup.
gcc/ada/
* sem_attr.adb, sem_prag.adb: Remove dead return statements
after calls to Error_Attr, Error_Pragma, Error_Pragma_Arg and
Placement_Error. All these calls raise exceptions that are
handled to gently recover from errors.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions