diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:51:28 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:51:28 +0330 |
| commit | 90f96d4d7e2eba0295dd799318caa7e7fcd8925e (patch) | |
| tree | 1b401b6ef889ef40456cb452d39add94a1cc93cf /tests/test.sh | |
| parent | merge work/jit2: x86-64 jit inline enhancements (diff) | |
| parent | zc0: a store into a local embed array is an error (its elements are in the co... (diff) | |
merge work/xref: zc0 u*d redo and follow-ups
Diffstat (limited to 'tests/test.sh')
| -rwxr-xr-x | tests/test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/test.sh b/tests/test.sh index cdce083..bc199e1 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -82,6 +82,7 @@ GI="-Isrc/core -I$MAP --embed-dir=$T/s1" # it, and the run-only and bare-metal sections read it as the reference. $CC -pthread -O2 -w -fwrapv -DJTYPE=int src/core/core.c src/core/io_linux.c $GI -o $T/zy || exit 1 chk "$($T/zc0 < tests/programs/zc0typed.zc | md5sum)" "$($T/zc0 < tests/programs/zc0plain.zc | md5sum)" "zc0 reads types and throws them away: typed and plain sources give one image" +case "$($T/zc0 < tests/programs/zc0embed_write.zc 2>&1 >/dev/null)" in *"line 6: a local embed array is part of the code"*) chk 1 1 "zc0 refuses a store into a local embed array";; *) chk 0 1 "zc0 refuses a store into a local embed array";; esac for n in $SECS; do mkdir -p $ROOT/$n |