git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Arnaud Charlet <charlet@adacore.com>
	Mon, 18 May 2020 10:00:31 +0000 (06:00 -0400)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Wed, 8 Jul 2020 14:55:52 +0000 (10:55 -0400)
commit	cf6bd6a3ef104abb96095c5d78bffed1a95896f5
tree	3bdf5eb2cd769745323888eae2338d1f32197bde	tree
parent	4b5838e086b0e38f3398268b001b936b600f2e5b	commit \| diff

[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		diff \| blob \| blame \| history
gcc/ada/libgnat/s-mmap.ads		diff \| blob \| blame \| history
gcc/ada/sem_prag.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.ads		diff \| blob \| blame \| history
gcc/ada/sinfo.adb		diff \| blob \| blame \| history
gcc/ada/sinfo.ads		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom