aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/5-declarations
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 16:47:08 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 16:47:08 +0330
commit58c6edb92426852253d5f246e16710b636c93c70 (patch)
tree7230ee8829cc2c9de12add23460bbb024bec997f /tests/conformance/5-declarations
parentglobals: an integer constant initializing a float or f32 global converts to f... (diff)
parentmerge work/jit2: x86-64 jit inline enhancements (diff)
Merge branch 'main' into work/spec
Diffstat (limited to 'tests/conformance/5-declarations')
-rw-r--r--tests/conformance/5-declarations/fn_param_tag_u_rejected.zc6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc b/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc
new file mode 100644
index 0000000..858e142
--- /dev/null
+++ b/tests/conformance/5-declarations/fn_param_tag_u_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: a parameter tag is .m or .d
+// spec: .u tags a return, never a parameter (zc0 used to accept int.u x silently)
+include rt;
+int f(int* .u x) { return 0; }
+fn main() { return f(0); }
+// zc0: error