From 5cb2f823d2e09ea2d02f0ae2efa8b150f76c2f5e Mon Sep 17 00:00:00 2001 From: "J. Gareth \"Curious Kit\" Moreton" Date: Tue, 7 May 2024 08:37:38 +0100 Subject: [PATCH] * New pure tests that evaluate analysis of while and repeat loops, including infinite loops --- tests/test/tpure7.pp | 18 ++++++++++++++++++ tests/test/tpure7a.pp | 18 ++++++++++++++++++ tests/test/tpure7b.pp | 17 +++++++++++++++++ tests/test/tpure7c.pp | 17 +++++++++++++++++ tests/test/tpure7d.pp | 17 +++++++++++++++++ tests/test/tpure7e.pp | 26 ++++++++++++++++++++++++++ tests/test/tpure7f.pp | 24 ++++++++++++++++++++++++ tests/test/tpure7g.pp | 23 +++++++++++++++++++++++ tests/test/tpure7h.pp | 25 +++++++++++++++++++++++++ tests/test/tpure7i.pp | 26 ++++++++++++++++++++++++++ tests/test/tpure7j.pp | 25 +++++++++++++++++++++++++ 11 files changed, 236 insertions(+) create mode 100644 tests/test/tpure7.pp create mode 100644 tests/test/tpure7a.pp create mode 100644 tests/test/tpure7b.pp create mode 100644 tests/test/tpure7c.pp create mode 100644 tests/test/tpure7d.pp create mode 100644 tests/test/tpure7e.pp create mode 100644 tests/test/tpure7f.pp create mode 100644 tests/test/tpure7g.pp create mode 100644 tests/test/tpure7h.pp create mode 100644 tests/test/tpure7i.pp create mode 100644 tests/test/tpure7j.pp diff --git a/tests/test/tpure7.pp b/tests/test/tpure7.pp new file mode 100644 index 0000000000..3fe125108d --- /dev/null +++ b/tests/test/tpure7.pp @@ -0,0 +1,18 @@ +{ %NORUN } + +{ Evaluate maliciously-written pure function that contains an infinite loop } + +{$MODE OBJFPC} +program tpure7; + +function MaliciousPure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + repeat + Inc(Result); + until Input; + end; + +begin + WriteLn(MaliciousPure(False)); +end. \ No newline at end of file diff --git a/tests/test/tpure7a.pp b/tests/test/tpure7a.pp new file mode 100644 index 0000000000..9fe6494b1b --- /dev/null +++ b/tests/test/tpure7a.pp @@ -0,0 +1,18 @@ +{ %NORUN } + +{ Evaluate maliciously-written pure function that contains an infinite recursive loop } + +{$MODE OBJFPC} +program tpure7a; + +function MaliciousPure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + repeat + Inc(Result); + until (MaliciousPure(not Input) = 0); + end; + +begin + WriteLn(MaliciousPure(False)); +end. \ No newline at end of file diff --git a/tests/test/tpure7b.pp b/tests/test/tpure7b.pp new file mode 100644 index 0000000000..448c175048 --- /dev/null +++ b/tests/test/tpure7b.pp @@ -0,0 +1,17 @@ +{ %NORUN } + +{ Evaluate maliciously-written pure function that contains an infinite loop } + +{$MODE OBJFPC} +program tpure7b; + +function MaliciousPure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + while Input do + Inc(Result); + end; + +begin + WriteLn(MaliciousPure(True)); +end. \ No newline at end of file diff --git a/tests/test/tpure7c.pp b/tests/test/tpure7c.pp new file mode 100644 index 0000000000..c013d3f13b --- /dev/null +++ b/tests/test/tpure7c.pp @@ -0,0 +1,17 @@ +{ %NORUN } + +{ Evaluate maliciously-written pure function that contains an infinite recursive loop } + +{$MODE OBJFPC} +program tpure7b; + +function MaliciousPure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + while (MaliciousPure(Input) = 0) do + Inc(Result); + end; + +begin + WriteLn(MaliciousPure(True)); +end. \ No newline at end of file diff --git a/tests/test/tpure7d.pp b/tests/test/tpure7d.pp new file mode 100644 index 0000000000..a14c270110 --- /dev/null +++ b/tests/test/tpure7d.pp @@ -0,0 +1,17 @@ +{ %NORUN } + +{ Evaluate maliciously-written pure function that contains an infinite loop (the while condition should evaluate successfully to 0) } + +{$MODE OBJFPC} +program tpure7b; + +function MaliciousPure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + while (Input and (MaliciousPure(not Input) = 0)) do + Inc(Result); + end; + +begin + WriteLn(MaliciousPure(True)); +end. \ No newline at end of file diff --git a/tests/test/tpure7e.pp b/tests/test/tpure7e.pp new file mode 100644 index 0000000000..13b6f2744d --- /dev/null +++ b/tests/test/tpure7e.pp @@ -0,0 +1,26 @@ +{ %OPT=-Sew } + +{ Ensure repeat..until with recursion is properly handled in pure functions } + +{$MODE OBJFPC} +program tpure7e; + +function RepeatRecursePure(Input: Boolean): Cardinal; pure; + begin + Result := 0; + if Input then + Exit; + + repeat + Inc(Result); + until (RepeatRecursePure(not Input) = 0); + end; + +begin + if RepeatRecursePure(False) <> 1 then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file diff --git a/tests/test/tpure7f.pp b/tests/test/tpure7f.pp new file mode 100644 index 0000000000..f0eeb67272 --- /dev/null +++ b/tests/test/tpure7f.pp @@ -0,0 +1,24 @@ +{ %OPT=-Sew } + +{ Test unconditional Break in repeat..until False loop } + +{$MODE OBJFPC} +program tpure7f; + +function UnconditionalBreak(Input: Boolean): Boolean; pure; + begin + Result := not Input; + + repeat + Break; + until False; + end; + +begin + if UnconditionalBreak(True) then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file diff --git a/tests/test/tpure7g.pp b/tests/test/tpure7g.pp new file mode 100644 index 0000000000..8937e93abe --- /dev/null +++ b/tests/test/tpure7g.pp @@ -0,0 +1,23 @@ +{ %OPT=-Sew } + +{ Test unconditional Break in "while True do" loop } + +{$MODE OBJFPC} +program tpure7g; + +function UnconditionalBreak(Input: Boolean): Boolean; pure; + begin + Result := not Input; + + while True do + Break; + end; + +begin + if UnconditionalBreak(True) then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file diff --git a/tests/test/tpure7h.pp b/tests/test/tpure7h.pp new file mode 100644 index 0000000000..fa744f5368 --- /dev/null +++ b/tests/test/tpure7h.pp @@ -0,0 +1,25 @@ +{ %OPT=-Sew } + +{ Test unconditional Break in "while True do" loop } + +{$MODE OBJFPC} +program tpure7h; + +function UnconditionalBreak(Input: Boolean): Boolean; pure; + begin + Result := not Input; + + while True do + begin + Break; + end; + end; + +begin + if UnconditionalBreak(True) then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file diff --git a/tests/test/tpure7i.pp b/tests/test/tpure7i.pp new file mode 100644 index 0000000000..5afef76d4e --- /dev/null +++ b/tests/test/tpure7i.pp @@ -0,0 +1,26 @@ +{ %OPT=-Sew } + +{ Test unconditional Break in repeat..until False loop } + +{$MODE OBJFPC} +program tpure7i; + +function UnconditionalBreak(Input: Boolean): Boolean; pure; + begin + Result := not Input; + + repeat + begin + Break; + end; + until False; + end; + +begin + if UnconditionalBreak(True) then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file diff --git a/tests/test/tpure7j.pp b/tests/test/tpure7j.pp new file mode 100644 index 0000000000..173c5197be --- /dev/null +++ b/tests/test/tpure7j.pp @@ -0,0 +1,25 @@ +{ %OPT=-Sew } + +{ Test unconditional Break in repeat..until False (sort of) loop } + +{$MODE OBJFPC} +program tpure7j; + +function UnconditionalBreak(Input: Boolean): Boolean; pure; + begin + Result := not Input; + + repeat + if Input then + Break; + until not Input; + end; + +begin + if UnconditionalBreak(True) then + begin + WriteLn('FAIL: Pure analysis returned wrong value'); + Halt(1); + end; + WriteLn('ok'); +end. \ No newline at end of file