gcc.gnu.org Git - gcc.git/commit - gcc/ada/sem

author	Bob Duff <duff@adacore.com>
	Wed, 31 May 2023 13:21:44 +0000 (09:21 -0400)
committer	Marc Poulhiès <poulhies@adacore.com>
	Tue, 20 Jun 2023 07:30:49 +0000 (09:30 +0200)
commit	970ee828e75fb3f67a7dc8dd8108e9a2f23b997b
tree	49c41c9c63d70e44f34977535135942f56ed6a72	tree
parent	d39664b659f2442a456be865ee6adcfe1a4a5aed	commit \| diff

ada: Fix bug in predicate checks with address clauses

This patch fixes a compiler bug triggered by having a type with some
defaulted components, and a predicate, and an object of that type with
an address clause. In this case, the compiler was crashing.

gcc/ada/

* sem_ch3.adb (Analyze_Object_Declaration): Remove predicate-check
generation if there is an address clause. These are unnecessary,
and cause gigi to crash.
* exp_util.ads (Following_Address_Clause): Remove obsolete "???"
comments. The suggested changes were done long ago.

gcc/ada/exp_util.ads		diff \| blob \| blame \| history
gcc/ada/sem_ch3.adb		diff \| blob \| blame \| history