]> git.ipfire.org Git - thirdparty/gcc.git/commit
sem_ch6.adb (Find_Corresponding_Spec): If the previous entity is a body generated...
authorEd Schonberg <schonberg@adacore.com>
Mon, 15 Oct 2007 13:57:06 +0000 (15:57 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 15 Oct 2007 13:57:06 +0000 (15:57 +0200)
commit81db9d770d61ae347a11c79a1f60c134fe729c85
treed8342abd37ef48a2c1884abc9f6a9d712aa4a955
parent78ee282c500aff850dcc54b06d5f9ded6ccaab44
sem_ch6.adb (Find_Corresponding_Spec): If the previous entity is a body generated for a function with a controlling...

2007-10-15  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Find_Corresponding_Spec): If the previous entity is a
body generated for a function with a controlling result that is a null
extension, discard the generated body in favor of the current explicit
one.

From-SVN: r129336
gcc/ada/sem_ch6.adb