From fc949282c8d730ee946b749022d7a42f5fdab06d Mon Sep 17 00:00:00 2001 From: Jaroslav Tulach Date: Thu, 28 Mar 2019 16:51:26 +0100 Subject: [PATCH] Demonstrates NPE when accessing f^.n --- .../cz/cuni/mff/d3s/trupple/PointersTest.java | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java b/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java index d4223a0..c186885 100644 --- a/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java +++ b/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java @@ -155,4 +155,25 @@ public void linkedListWithReverseOutputTest() { testWithInput(code, "lemmiF sivarT", "Travis Fimmel", true); } + @Test + public void modOnPointer() { + String code = "program main;\n"+ + "\n"+ + "type pnode = ^node;\n"+ + "node = record\n"+ + " previous: pnode;\n"+ + " value: integer;\n"+ + "end;\n"+ + "function filterAndAdd(root: pnode; number: integer): boolean;\n" + + "var d: integer;\n"+ + "begin\n"+ + " d := number mod f^.n;\n"+ + " filterAndAdd := d = 0;\n"+ + "end;\n"+ + "begin\n" + + "end."; + + testWithInput(code, "lemmiF sivarT", "", true); + } + }