zc0: a store into a local embed array is an error (its elements are in the code); test in tests/test.sh

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/programs/zc0embed_write.zc b/tests/programs/zc0embed_write.zc
new file mode 100644
index 0000000..09686b5
--- /dev/null
+++ b/tests/programs/zc0embed_write.zc
@@ -0,0 +1,9 @@
+include rt;
+// zc0 keeps a local embed array in the code, so it refuses a store into one; the
+// resident compiler accepts it (prints 9). tests/test.sh checks zc0's message.
+fn main() {
+	embed "tests/data/embed/bytes.bin" as u8[] b;
+	b[1] = 9;
+	rt.put_n(b[1]); rt.put_c(10);
+	return 0;
+}