git.libre-soc.org Git - gcc.git/commit

author	Javier Miranda <miranda@adacore.com>
	Thu, 31 May 2018 10:45:51 +0000 (10:45 +0000)
committer	Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
	Thu, 31 May 2018 10:45:51 +0000 (10:45 +0000)
commit	59f7c7167a75bdb3992f2c7fb3b358124aea8404
tree	198660b878b5f1653ab3ea397774c2c1676ced74	tree
parent	01f481c77e01414e75fc26adead0d143b27df85d	commit \| diff

[Ada] Fix compiler crash for tagged private types

2018-05-31 Javier Miranda <miranda@adacore.com>

gcc/ada/

* sem_util.ads, sem_util.adb (Find_Primitive_Eq): New subprogram.
* exp_ch4.adb (Expand_Composite_Equality): Use the new subprogram
Find_Primitive_Eq to search for the primitive of types whose underlying
type is a tagged type.

gcc/testsuite/

* gnat.dg/tagged1.adb, gnat.dg/tagged1.ads: New testcase.

From-SVN: r260997

gcc/ada/ChangeLog		diff \| blob \| history
gcc/ada/exp_ch4.adb		diff \| blob \| history
gcc/ada/sem_util.adb		diff \| blob \| history
gcc/ada/sem_util.ads		diff \| blob \| history
gcc/testsuite/ChangeLog		diff \| blob \| history
gcc/testsuite/gnat.dg/tagged1.adb	[new file with mode: 0644]	blob
gcc/testsuite/gnat.dg/tagged1.ads	[new file with mode: 0644]	blob

RSS Atom