projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4875fbb) | patch
sem_eval.adb (Subtypes_Statically_Match): Use discriminant constraint of full view...
authorEd Schonberg <schonberg@adacore.com>
Thu, 16 Jun 2005 08:46:01 +0000 (10:46 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 16 Jun 2005 08:46:01 +0000 (10:46 +0200)
commit6eaf4095470fa44376f802f70382f4ee56b6aa9e
treeb5a58ece38f3e1a9748c25bdb49ddd646cd44c7atree
parent4875fbba522250df604c97432853faa273468088commit | diff
sem_eval.adb (Subtypes_Statically_Match): Use discriminant constraint of full view if present...

2005-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Subtypes_Statically_Match): Use discriminant
constraint of full view if present, when other type is discriminated.
(Eval_Relational_Op): Recognize tests of pointer values against Null,
when the pointer is known to be non-null, and emit appropriate warning.

From-SVN: r101059
gcc/ada/sem_eval.adb diff | blob | history