Relative pointer and relative slices

1 files changed, 26 insertions, 0 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index ab4755bd3..06c7e7f36 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -7563,6 +7563,17 @@ bool check_set_index_data(Operand *o, Type *t, bool indirection, i64 *max_count,
 		}
 		return true;
 
+	case Type_RelativeSlice:
+		{
+			Type *slice_type = base_type(t->RelativeSlice.slice_type);
+			GB_ASSERT(slice_type->kind == Type_Slice);
+			o->type = slice_type->Slice.elem;
+			if (o->mode != Addressing_Constant) {
+				o->mode = Addressing_Variable;
+			}
+		}
+		return true;
+
 	case Type_DynamicArray:
 		o->type = t->DynamicArray.elem;
 		if (o->mode != Addressing_Constant) {
@@ -9250,6 +9261,8 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 				// Okay
 			} else if (is_type_string(t)) {
 				// Okay
+			} else if (is_type_relative_slice(t)) {
+				// Okay
 			} else {
 				valid = false;
 			}
@@ -9392,6 +9405,19 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 				}
 			}
 			break;
+
+		case Type_RelativeSlice:
+			valid = true;
+			o->type = t->RelativeSlice.slice_type;
+			if (o->mode != Addressing_Variable) {
+				gbString str = expr_to_string(node);
+				error(node, "Cannot relative slice '%s', value is not addressable", str);
+				gb_string_free(str);
+				o->mode = Addressing_Invalid;
+				o->expr = node;
+				return kind;
+			}
+			break;
 		}
 
 		if (!valid) {