diff options
Diffstat (limited to 'gcc/rust/backend/rust-compile.cc')
| -rw-r--r-- | gcc/rust/backend/rust-compile.cc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/rust/backend/rust-compile.cc b/gcc/rust/backend/rust-compile.cc index d9349d5..18a2df6 100644 --- a/gcc/rust/backend/rust-compile.cc +++ b/gcc/rust/backend/rust-compile.cc @@ -218,6 +218,11 @@ HIRCompileBase::coercion_site (tree rvalue, const TyTy::BaseType *rval, = static_cast<const TyTy::ReferenceType *> (expected); const TyTy::ReferenceType *act = static_cast<const TyTy::ReferenceType *> (actual); + if (act->is_dyn_slice_type ()) + { + // nothing to do + return rvalue; + } tree expected_type = TyTyResolveCompile::compile (ctx, act->get_base ()); tree deref_rvalue @@ -227,6 +232,8 @@ HIRCompileBase::coercion_site (tree rvalue, const TyTy::BaseType *rval, tree coerced = coercion_site (deref_rvalue, act->get_base (), exp->get_base (), lvalue_locus, rvalue_locus); + if (exp->is_dyn_slice_type () && SLICE_TYPE_P (TREE_TYPE (coerced))) + return coerced; return address_expression (coerced, build_reference_type (TREE_TYPE (coerced)), @@ -249,6 +256,12 @@ HIRCompileBase::coercion_site (tree rvalue, const TyTy::BaseType *rval, { const TyTy::ReferenceType *act = static_cast<const TyTy::ReferenceType *> (actual); + if (act->is_dyn_slice_type ()) + { + // nothing to do + return rvalue; + } + actual_base = act->get_base (); expected_type = TyTyResolveCompile::compile (ctx, act->get_base ()); } @@ -256,6 +269,12 @@ HIRCompileBase::coercion_site (tree rvalue, const TyTy::BaseType *rval, { const TyTy::PointerType *act = static_cast<const TyTy::PointerType *> (actual); + if (act->is_dyn_slice_type ()) + { + // nothing to do + return rvalue; + } + actual_base = act->get_base (); expected_type = TyTyResolveCompile::compile (ctx, act->get_base ()); } |