[Ada] ACATS 4.1R - BD10001 - Error missed
authorArnaud Charlet <charlet@adacore.com>
Mon, 18 May 2020 10:00:31 +0000 (06:00 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:52 +0000 (10:55 -0400)
commitcf6bd6a3ef104abb96095c5d78bffed1a95896f5
tree3bdf5eb2cd769745323888eae2338d1f32197bde
parent4b5838e086b0e38f3398268b001b936b600f2e5b
[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.
gcc/ada/bindo-writers.adb
gcc/ada/libgnat/s-mmap.ads
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads
gcc/ada/sinfo.adb
gcc/ada/sinfo.ads