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>
	Mon, 11 Jan 2021 17:06:35 +0000 (18:06 +0100)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Wed, 5 May 2021 08:19:01 +0000 (04:19 -0400)
commit	8c9f315a98df706275a23d46d0539294ff715edc
tree	30bd3680242fe10976cac52325d29c842d14f278	tree
parent	41b8c2073105eeab2b7f6bd000c70a9c7edea71a	commit \| diff

[Ada] Qualify internal access-to-subprogram types as not null

gcc/ada/

* libgnat/g-alleve.adb (Bit_Operation): Now a not-null type.
* libgnat/g-sechas.adb (Fill_Buffer_Access): Likewise.
* libgnat/s-dwalin.adb (Callback): Likewise.

gcc/ada/libgnat/g-alleve.adb		diff \| blob \| blame \| history
gcc/ada/libgnat/g-sechas.adb		diff \| blob \| blame \| history
gcc/ada/libgnat/s-dwalin.adb		diff \| blob \| blame \| history

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

RSS Atom