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/sinfo.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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 7284a06..9199af4 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2547,6 +2547,7 @@ package body Sinfo is or else NT (N).Nkind = N_Aspect_Specification or else NT (N).Nkind = N_Attribute_Definition_Clause or else NT (N).Nkind = N_Enumeration_Representation_Clause + or else NT (N).Nkind = N_Null_Statement or else NT (N).Nkind = N_Pragma or else NT (N).Nkind = N_Record_Representation_Clause); return Node5 (N); @@ -6034,6 +6035,7 @@ package body Sinfo is or else NT (N).Nkind = N_Aspect_Specification or else NT (N).Nkind = N_Attribute_Definition_Clause or else NT (N).Nkind = N_Enumeration_Representation_Clause + or else NT (N).Nkind = N_Null_Statement or else NT (N).Nkind = N_Pragma or else NT (N).Nkind = N_Record_Representation_Clause); Set_Node5 (N, Val); -- semantic field, no parent set |