exp_utils.ads, [...] (Find_Optional_Prim_Op): New interface to return Empty when...
authorBob Duff <duff@adacore.com>
Fri, 22 May 2015 10:36:56 +0000 (10:36 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 May 2015 10:36:56 +0000 (12:36 +0200)
commitca811241793e95b1c7be841dda57e459dd03b2eb
tree649f3ba91b6b3b3ce8a2e5c37a6b94d090f1caf1
parenta95f708ec32470ae773950928c3fb1962d0ec86e
exp_utils.ads, [...] (Find_Optional_Prim_Op): New interface to return Empty when not found...

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.

From-SVN: r223541
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