diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-14 16:09:27 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:36 +0000 |
| commit | d7f5bfe407cfeae17ab059387adcf88346ccbba8 (patch) | |
| tree | f9665b72ab891f2a74e3d8cc4ecf2678586d4b5b /gcc/system.h | |
| parent | f920ab029d9a742b5be4a52d5b9be19142c814ce (diff) | |
| download | gcc-d7f5bfe407cfeae17ab059387adcf88346ccbba8.zip gcc-d7f5bfe407cfeae17ab059387adcf88346ccbba8.tar.gz gcc-d7f5bfe407cfeae17ab059387adcf88346ccbba8.tar.bz2 | |
[Ada] Remove redundant guards for empty list
Routine Has_Excluded_Declaration iterates over declarations with
First/Present/Next, which is safe when declarations are No_List.
Cleanup related to excessive inlining-for-proof by GNATprove.
gcc/ada/
* inline.adb (Build_Body_To_Inline): Remove redundant guards.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions