diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2005-06-16 10:45:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-06-16 10:45:32 +0200 |
| commit | bc49df98e8b97ae433a903486a987bd33f44d1f2 (patch) | |
| tree | b97f9441568e799060b26257d413a9430015f467 /gcc/ada/sem_case.adb | |
| parent | 357ac4df50fc0c22a5cee64bee133b4f2fdfba38 (diff) | |
| download | gcc-bc49df98e8b97ae433a903486a987bd33f44d1f2.zip gcc-bc49df98e8b97ae433a903486a987bd33f44d1f2.tar.gz gcc-bc49df98e8b97ae433a903486a987bd33f44d1f2.tar.bz2 | |
sem_aggr.adb (Aggregate_Constraint_Checks): Apply a conversion to the expression when the component type is an anonymous...
2005-06-14 Gary Dismukes <dismukes@adacore.com>
* sem_aggr.adb (Aggregate_Constraint_Checks): Apply a conversion to the
expression when the component type is an anonymous access type to
ensure that appropriate accessibility checks are done.
* sem_ch5.adb (Analyze_Assignment): Apply a implicit conversion to the
expression of an assignment when the target object is of an anonymous
access type. This ensures that required accessibility checks are done.
(One_Bound): Move the check for type Universal_Integer to
Process_Bounds.
(Process_Bounds): Check whether the type of the preanalyzed range is
Universal_Integer, and in that case set Typ to Integer_Type prior
to setting the type of the original range and the calls to One_Bound.
From-SVN: r101057
Diffstat (limited to 'gcc/ada/sem_case.adb')
0 files changed, 0 insertions, 0 deletions