diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 09:44:36 +0000 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 09:44:36 +0000 |
| commit | 6da86b1e45113c708f54bf28500eeb90365439b2 (patch) | |
| tree | 6a6e686eeea4ceb65e632124e38819331a8fa1b9 /tests/parity.known | |
| parent | todo: compiler file split, cross-reference report, local records, x86-64 jit (diff) | |
| parent | parity: compare what zc0 and the self-hosted compiler print (diff) | |
Merge branch 'worktree-agent-aaf6bc066598a6622' into ccr-0054c02e-dfdvnd
Diffstat (limited to 'tests/parity.known')
| -rw-r--r-- | tests/parity.known | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/parity.known b/tests/parity.known new file mode 100644 index 0000000..0a73eb3 --- /dev/null +++ b/tests/parity.known @@ -0,0 +1,15 @@ +# programs where zc0 and the self-hosted compiler print different things on purpose. +# src/tools/parity.sh still runs them and shows the difference as known, and it does +# not fail the run; when one starts to agree it says so, and its line can go. +# one program per line: the path, then # and the reason. +# +# zc0 reads types and ownership tags and throws them away. it has no ownership +# analysis and no memdebug checks, so it neither warns about, traps on nor frees what +# the self-hosted compiler does. +tests/programs/doublefree.zc # memdebug on: only the self-hosted compiler emits the double free check +tests/programs/scrub.zc # ownership: the analyzer warns about the use after free, zc0 runs it +tests/programs/uaf.zc # ownership: the analyzer warns about the use after free; zc0 prints nothing +tests/programs/uaf_in.zc # memdebug on: only the self-hosted compiler emits the use after free check +examples/lists.zc # ownership: the block's owner frees at its end, zc0 never frees +# the next program reads a local it never sets when stdin is empty, so it prints stack garbage +tests/programs/bench_strings.zc # reads the repeat count from stdin; with none, acc is uninitialized |