diff options
author | Philip Herron <philip.herron@embecosm.com> | 2021-02-12 14:57:11 +0000 |
---|---|---|
committer | Philip Herron <herron.philip@googlemail.com> | 2021-02-13 10:08:03 +0000 |
commit | ca514784717ef9c8418968a60ed4641af78c7d7b (patch) | |
tree | 75434335e1d147047d086441a01323c229bbb601 /gcc/rust/backend/rust-compile-context.h | |
parent | 3ae8d55860cbe95f80d5e5c76ca71883dbde0e10 (diff) | |
download | gcc-ca514784717ef9c8418968a60ed4641af78c7d7b.zip gcc-ca514784717ef9c8418968a60ed4641af78c7d7b.tar.gz gcc-ca514784717ef9c8418968a60ed4641af78c7d7b.tar.bz2 |
Add ReferenceType with BorrowExpr and DereferenceExpr
This also adds in the mising InferenceType _ which was mostly implemented
before as part of Data Structures 1.
We create GENERIC REFERENCE_TYPES for these this is the building block
to finish work on mutability rules and pointers.
Fixes: #196
Addresses: #169 #170
Diffstat (limited to 'gcc/rust/backend/rust-compile-context.h')
-rw-r--r-- | gcc/rust/backend/rust-compile-context.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/rust/backend/rust-compile-context.h b/gcc/rust/backend/rust-compile-context.h index 3955a5b..b50e103 100644 --- a/gcc/rust/backend/rust-compile-context.h +++ b/gcc/rust/backend/rust-compile-context.h @@ -445,6 +445,13 @@ public: translated = compiled_type; } + void visit (TyTy::ReferenceType &type) override + { + Btype *base_compiled_type + = TyTyResolveCompile::compile (ctx, type.get_base ()); + translated = ctx->get_backend ()->reference_type (base_compiled_type); + } + private: TyTyResolveCompile (Context *ctx) : ctx (ctx) {} |