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/libgnat | |
| 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/libgnat')
| -rw-r--r-- | gcc/ada/libgnat/s-mmap.ads | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/s-mmap.ads b/gcc/ada/libgnat/s-mmap.ads index a9e776f..305d1f8 100644 --- a/gcc/ada/libgnat/s-mmap.ads +++ b/gcc/ada/libgnat/s-mmap.ads @@ -223,13 +223,11 @@ package System.Mmap is -- (File); such accesses may cause Storage_Error to be raised. function Data (Region : Mapped_Region) return Str_Access; - pragma Inline (Data); -- The data mapped in Region as requested. The result is an unconstrained -- string, so you cannot use the usual 'First and 'Last attributes. -- Instead, these are respectively 1 and Size. function Data (File : Mapped_File) return Str_Access; - pragma Inline (Data); -- Likewise for the region contained in File function Is_Mutable (Region : Mapped_Region) return Boolean; |