2015-05-22 Bob Duff <duff@adacore.com>
commitb41e71759e82b66a3840df4e1990e6aae3fbef11
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 May 2015 10:36:56 +0000 (22 10:36 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 May 2015 10:36:56 +0000 (22 10:36 +0000)
tree649f3ba91b6b3b3ce8a2e5c37a6b94d090f1caf1
parent09ae61a2b758ac20192384aac7868cbc23ec6d7c
2015-05-22  Bob Duff  <duff@adacore.com>

* exp_utils.ads, exp_utils.adb (Find_Optional_Prim_Op): New
interface to return Empty when not found, so we can avoid handling
Program_Error in that case.
(Find_Prim_Op): Fix latent bug: raise Program_Error when there are no
primitives.
* exp_ch7.adb, sem_util.adb: Use Find_Optional_Prim_Op when the
code is expecting Empty.
* sem_ch8.adb: Use Find_Optional_Prim_Op to avoid handling
Program_Error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223541 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch7.adb
gcc/ada/exp_util.adb
gcc/ada/exp_util.ads
gcc/ada/sem_ch8.adb
gcc/ada/sem_util.adb