diff options
| author | Tom Tromey <tromey@redhat.com> | 2005-02-19 04:02:09 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2005-02-19 04:02:09 +0000 |
| commit | e022a6cb913fe7e2be222ab6954b6574a037ed4f (patch) | |
| tree | 533752e286d83b7e4b6a2018b64dc241a6560196 /gcc/java/verify-impl.c | |
| parent | b55cb4a133f6a190683d82fe667da268c488c80e (diff) | |
| download | gcc-e022a6cb913fe7e2be222ab6954b6574a037ed4f.zip gcc-e022a6cb913fe7e2be222ab6954b6574a037ed4f.tar.gz gcc-e022a6cb913fe7e2be222ab6954b6574a037ed4f.tar.bz2 | |
re PR java/20056 ('verification failed: incompatible type on stack' with --indirect-dispatch)
PR java/20056:
* verify-impl.c (types_equal): Fixed test.
From-SVN: r95267
Diffstat (limited to 'gcc/java/verify-impl.c')
| -rw-r--r-- | gcc/java/verify-impl.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/java/verify-impl.c b/gcc/java/verify-impl.c index 376f749..bd681d2 100644 --- a/gcc/java/verify-impl.c +++ b/gcc/java/verify-impl.c @@ -743,8 +743,9 @@ types_compatible (type *t, type *k) static bool types_equal (type *t1, type *t2) { - if (t1->key != reference_type || t1->key != uninitialized_reference_type - || t2->key != reference_type || t2->key != uninitialized_reference_type) + if ((t1->key != reference_type && t1->key != uninitialized_reference_type) + || (t2->key != reference_type + && t2->key != uninitialized_reference_type)) return false; /* Only single-ref types are allowed. */ if (t1->klass->ref_next || t2->klass->ref_next) |