aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/backend/rust-compile-context.h
diff options
context:
space:
mode:
authorPhilip Herron <philip.herron@embecosm.com>2021-02-12 14:57:11 +0000
committerPhilip Herron <herron.philip@googlemail.com>2021-02-13 10:08:03 +0000
commitca514784717ef9c8418968a60ed4641af78c7d7b (patch)
tree75434335e1d147047d086441a01323c229bbb601 /gcc/rust/backend/rust-compile-context.h
parent3ae8d55860cbe95f80d5e5c76ca71883dbde0e10 (diff)
downloadgcc-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.h7
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) {}