aboutsummaryrefslogtreecommitdiff
path: root/src/check_stmt.cpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2023-04-15 15:36:21 +0100
committergingerBill <bill@gingerbill.org>2023-04-15 15:37:32 +0100
commit5da76ae34bac2f54b1bda5528cf49c0551e88bba (patch)
tree78a6189f351ceb8dd070c2e453c4b0462d532235 /src/check_stmt.cpp
parentb7b5043aea792839226baf9e6d0ca54b73dac9a5 (diff)
Add `struct #no_copy`
Diffstat (limited to 'src/check_stmt.cpp')
-rw-r--r--src/check_stmt.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/check_stmt.cpp b/src/check_stmt.cpp
index 4e6623fc1..388a64e00 100644
--- a/src/check_stmt.cpp
+++ b/src/check_stmt.cpp
@@ -326,7 +326,6 @@ gb_internal bool check_is_terminating(Ast *node, String const &label) {
-
gb_internal Type *check_assignment_variable(CheckerContext *ctx, Operand *lhs, Operand *rhs) {
if (rhs->mode == Addressing_Invalid) {
return nullptr;
@@ -339,6 +338,8 @@ gb_internal Type *check_assignment_variable(CheckerContext *ctx, Operand *lhs, O
Ast *node = unparen_expr(lhs->expr);
+ check_no_copy_assignment(*rhs, str_lit("assignment"));
+
// NOTE(bill): Ignore assignments to '_'
if (is_blank_ident(node)) {
check_assignment(ctx, rhs, nullptr, str_lit("assignment to '_' identifier"));
@@ -400,6 +401,7 @@ gb_internal Type *check_assignment_variable(CheckerContext *ctx, Operand *lhs, O
}
Type *assignment_type = lhs->type;
+
switch (lhs->mode) {
case Addressing_Invalid:
return nullptr;