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

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

projects / thirdparty / gcc.git / commit

author	Piotr Trojanek <trojanek@adacore.com>
	Wed, 4 Mar 2020 12:28:14 +0000 (13:28 +0100)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Wed, 10 Jun 2020 13:34:56 +0000 (09:34 -0400)
commit	414e7520e608aaef1cac17bfeddd13af893ef81c
tree	0125b5161d8333fea6a6e917b1bb17d815630631	tree \| snapshot
parent	bbfd4f21c04a7e41c68e1841fcbd97853a94eb40	commit \| diff

[Ada] Minor fix style and typos in comments

2020-06-10 Piotr Trojanek <trojanek@adacore.com>

gcc/ada/

* exp_attr.adb (Expand_N_Attribute_Reference): Fix a copy-paste
mistake in comment.
* sem_res.adb (Flag_Effectively_Volatile_Objects): Fix a type in
the SPARK RM rule number.
* exp_ch4.adb, sem_util.adb: Fix style in single line comments.

gcc/ada/exp_attr.adb		diff \| blob \| blame \| history
gcc/ada/exp_ch4.adb		diff \| blob \| blame \| history
gcc/ada/sem_res.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history

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

RSS Atom