diff options
| author | Robert Dewar <dewar@adacore.com> | 2010-10-22 09:19:51 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-22 11:19:51 +0200 |
| commit | 8110ee3b6349ae4b1a369996a25161dc6a0f067e (patch) | |
| tree | fb2dd57e04140daa06885584791bb5dbdce45d10 /gcc/ada/eval_fat.adb | |
| parent | ca8e13e8554d22976e5afa8a73aab6531976486a (diff) | |
| download | gcc-8110ee3b6349ae4b1a369996a25161dc6a0f067e.tar.gz | |
checks.adb (Apply_Predicate_Check): Remove attempt at optimization when subtype is the same...
2010-10-22 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Predicate_Check): Remove attempt at optimization
when subtype is the same, caused legitimate checks to be missed.
* exp_ch13.adb (Build_Predicate_Function): Use Nearest_Ancestor to get
inheritance from right entity.
* freeze.adb (Freeze_Entity): Use Nearest_Ancestor to freeze in the
derived type case if the ancestor type has predicates.
* sem_aux.ads, sem_aux.adb (Nearest_Ancestor): New function.
* sem_prag.adb (Check_Enabled): Minor code reorganization.
From-SVN: r165807
Diffstat (limited to 'gcc/ada/eval_fat.adb')
0 files changed, 0 insertions, 0 deletions