From f1f01c0622a9045e26335f5715a42342d0191dcd Mon Sep 17 00:00:00 2001 From: _ov4 Date: Fri, 16 Oct 2026 20:53:57 +0800 Subject: test(diagnostics): require accurate causes and source lines Check native and IR rejection without creating or replacing output files. Keep nine missing-location failures visible rather than accepting them. Co-Authored-By: Claude Fable 5.1 --- tests/iii/function-byref/case.json | 8 ++++++++ tests/iii/function-byref/notes.md | 5 +++++ tests/iii/function-byref/program.cps | 4 ++++ 3 files changed, 17 insertions(+) create mode 100644 tests/iii/function-byref/case.json create mode 100644 tests/iii/function-byref/notes.md create mode 100644 tests/iii/function-byref/program.cps (limited to 'tests/iii/function-byref') diff --git a/tests/iii/function-byref/case.json b/tests/iii/function-byref/case.json new file mode 100644 index 0000000..e879655 --- /dev/null +++ b/tests/iii/function-byref/case.json @@ -0,0 +1,8 @@ +{ + "errors": [ + { + "reason": "BYREF\\ parameters\\ are\\ not\\ allowed\\ in\\ a\\ FUNCTION", + "line": 2 + } + ] +} diff --git a/tests/iii/function-byref/notes.md b/tests/iii/function-byref/notes.md new file mode 100644 index 0000000..4063bff --- /dev/null +++ b/tests/iii/function-byref/notes.md @@ -0,0 +1,5 @@ +# function-byref + +CIE p. 24 explicitly prohibits passing function parameters by reference. + +Require exit 1, the stated cause and source line on the same diagnostic, exactly one compilation termination line, and preservation of absent/existing outputs for both native and IR requests. Missing block delimiters are located at EOF (the line after the final newline). diff --git a/tests/iii/function-byref/program.cps b/tests/iii/function-byref/program.cps new file mode 100644 index 0000000..1cc89cb --- /dev/null +++ b/tests/iii/function-byref/program.cps @@ -0,0 +1,4 @@ +// BYREF is procedure-only. +FUNCTION Bad(BYREF X : INTEGER) RETURNS INTEGER + RETURN X +ENDFUNCTION -- cgit v1.3.1-4-g156e