From 0edae8c8482dd4763737b01deb09a4732a2f35ec Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sun, 14 Aug 2016 19:37:47 +0100 Subject: Vector index works with booleans now. --- src/checker/expr.cpp | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'src/checker/expr.cpp') diff --git a/src/checker/expr.cpp b/src/checker/expr.cpp index ced7402af..bdae13257 100644 --- a/src/checker/expr.cpp +++ b/src/checker/expr.cpp @@ -610,10 +610,21 @@ void check_is_expressible(Checker *c, Operand *o, Type *type) { } } +b32 check_is_expr_vector_index(Checker *c, AstNode *expr) { + // HACK(bill): Handle this correctly. Maybe with a custom AddressingMode + expr = unparen_expr(expr); + if (expr->kind == AstNode_IndexExpr) { + ast_node(ie, IndexExpr, expr); + Type *t = get_base_type(type_of_expr(&c->info, ie->expr)); + return is_type_vector(t); + } + return false; +} void check_unary_expr(Checker *c, Operand *o, Token op, AstNode *node) { if (op.kind == Token_Pointer) { // Pointer address - if (o->mode != Addressing_Variable) { + if (o->mode != Addressing_Variable || + check_is_expr_vector_index(c, o->expr)) { ast_node(ue, UnaryExpr, node); gbString str = expr_to_string(ue->expr); defer (gb_string_free(str)); -- cgit v1.2.3