diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-05-18 06:00:31 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-08 10:55:52 -0400 |
| commit | cf6bd6a3ef104abb96095c5d78bffed1a95896f5 (patch) | |
| tree | 3bdf5eb2cd769745323888eae2338d1f32197bde /gcc/ada/bindo-writers.adb | |
| parent | 4b5838e086b0e38f3398268b001b936b600f2e5b (diff) | |
| download | gcc-cf6bd6a3ef104abb96095c5d78bffed1a95896f5.zip gcc-cf6bd6a3ef104abb96095c5d78bffed1a95896f5.tar.gz gcc-cf6bd6a3ef104abb96095c5d78bffed1a95896f5.tar.bz2 | |
[Ada] ACATS 4.1R - BD10001 - Error missed
gcc/ada/
* sem_prag.adb (Process_Inline): Check for duplicate
pragma+aspect Inline. Minor code cleanup.
(Check_Duplicate_Pragma): Add warning for duplicate
pragma [No_]Inline under -gnatwr.
* sinfo.ads, sinfo.adb (Next_Rep_Item): Allow N_Null_Statement
which can appear when a pragma is rewritten.
* sem_util.ads, sem_util.adb, bindo-writers.adb: Fix bad
copy/paste now flagged.
* libgnat/s-mmap.ads: Remove redundant pragma Inline.
Diffstat (limited to 'gcc/ada/bindo-writers.adb')
| -rw-r--r-- | gcc/ada/bindo-writers.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/bindo-writers.adb b/gcc/ada/bindo-writers.adb index 298118e..88c8b25 100644 --- a/gcc/ada/bindo-writers.adb +++ b/gcc/ada/bindo-writers.adb @@ -1037,7 +1037,7 @@ package body Bindo.Writers is -- output. procedure Write_Components (G : Library_Graph); - pragma Inline (Write_Component); + pragma Inline (Write_Components); -- Write all components of library graph G to standard output procedure Write_Edges_To_Successors |