aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/5-declarations
diff options
context:
space:
mode:
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