fix

vlang · Jan 9, 2025 · 57f92eb · 57f92eb
1 parent 6348e58
commit 57f92eb
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/vlib/v/checker/checker.v b/vlib/v/checker/checker.v
@@ -4679,6 +4679,12 @@ fn (mut c Checker) prefix_expr(mut node ast.PrefixExpr) ast.Type {
 			if node.right.op == .amp {
 				c.error('unexpected `&`, expecting expression', node.right.pos)
 			}
+		} else if mut node.right is ast.ParExpr {
+			if mut node.right.expr is ast.PrefixExpr {
+				if node.right.expr.op == .amp {
+					c.error('cannot take the address of this expression', node.right.pos)
+				}
+			}
 		} else if mut node.right is ast.SelectorExpr {
 			if node.right.expr.is_literal() {
 				c.error('cannot take the address of a literal value', node.pos.extend(node.right.pos))

diff --git a/vlib/v/checker/tests/addr_of_invalid_expr.out b/vlib/v/checker/tests/addr_of_invalid_expr.out
@@ -0,0 +1,6 @@
+vlib/v/checker/tests/addr_of_invalid_expr.vv:3:8: error: cannot take the address of this expression
+    1 | fn main() {
+    2 |     a := 1
+    3 |     _ := &(&a)
+      |           ~~~~
+    4 | }
diff --git a/vlib/v/checker/tests/addr_of_invalid_expr.vv b/vlib/v/checker/tests/addr_of_invalid_expr.vv
@@ -0,0 +1,4 @@
+fn main() {
+	a := 1
+	_ := &(&a)
+}