diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:01 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:01 +0000 |
| commit | 6afcc79f3b0aa690a91ea864d9d658e9609c0d19 (patch) | |
| tree | b5a58ece38f3e1a9748c25bdb49ddd646cd44c7a /libjava/java/lang/VerifyError.java | |
| parent | 06c56dcaf4c2ed3c6bca080e5ead44f0983ea2b0 (diff) | |
| download | ppe42-gcc-6afcc79f3b0aa690a91ea864d9d658e9609c0d19.tar.gz ppe42-gcc-6afcc79f3b0aa690a91ea864d9d658e9609c0d19.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101059 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/java/lang/VerifyError.java')
0 files changed, 0 insertions, 0 deletions

