From 1816931fc0645f187c0ca9395cba14cd16a87be4 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Wed, 3 Dec 2014 17:45:57 +0100 Subject: mds-kbdc: m MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- test-files/mds-kbdc/eliminate-dead-code/README | 4 ++++ .../alive-code/for-function-return-end-alive | 25 ++++++++++++++++++++++ .../alive-code/for-macro-return-end-alive | 25 ++++++++++++++++++++++ .../for-if-continue-else-continue-end-dead | 3 ++- .../dead-code/function-for-return-end-dead | 3 ++- .../dead-code/macro-for-return-end-dead | 3 ++- test-files/mds-kbdc/process-includes/README | 4 ++++ .../invalid/map_to_unorderd_and_alternative | 9 -------- .../invalid/map_to_unordered_and_alternative | 9 ++++++++ test-files/mds-kbdc/validate-tree/README | 4 ++++ .../mds-kbdc/validate-tree/invalid/function-map | 3 ++- 11 files changed, 79 insertions(+), 13 deletions(-) create mode 100644 test-files/mds-kbdc/eliminate-dead-code/README create mode 100644 test-files/mds-kbdc/eliminate-dead-code/alive-code/for-function-return-end-alive create mode 100644 test-files/mds-kbdc/eliminate-dead-code/alive-code/for-macro-return-end-alive create mode 100644 test-files/mds-kbdc/process-includes/README delete mode 100644 test-files/mds-kbdc/simplify-tree/invalid/map_to_unorderd_and_alternative create mode 100644 test-files/mds-kbdc/simplify-tree/invalid/map_to_unordered_and_alternative create mode 100644 test-files/mds-kbdc/validate-tree/README (limited to 'test-files') diff --git a/test-files/mds-kbdc/eliminate-dead-code/README b/test-files/mds-kbdc/eliminate-dead-code/README new file mode 100644 index 0000000..a277219 --- /dev/null +++ b/test-files/mds-kbdc/eliminate-dead-code/README @@ -0,0 +1,4 @@ +When testing these files it is important to +`goto stop;` after `eliminate_dead_code` been +called in `mds-kbdc.c`. + diff --git a/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-function-return-end-alive b/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-function-return-end-alive new file mode 100644 index 0000000..7a02539 --- /dev/null +++ b/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-function-return-end-alive @@ -0,0 +1,25 @@ +for 1 to 2 as \1 + function f/0 + return + end function + : "code" +end for + +# (for (@ 1 0-3) ‘1’ ‘2’ (.variable ‘\1’) +# (.inner +# (function (@ 2 2-10) ‘f/0’ +# (.inner +# (return (@ 3 4-10)) +# ) +# ) +# (map (@ 5 2-18) +# (.sequence +# (keys (@ 5 2-9) ‘’) +# ) +# (.result +# (string (@ 5 12-18) ‘"code"’) +# ) +# ) +# ) +# ) + diff --git a/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-macro-return-end-alive b/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-macro-return-end-alive new file mode 100644 index 0000000..516e622 --- /dev/null +++ b/test-files/mds-kbdc/eliminate-dead-code/alive-code/for-macro-return-end-alive @@ -0,0 +1,25 @@ +for 1 to 2 as \1 + macro m/0 + return + end macro + : "code" +end for + +# (for (@ 1 0-3) ‘1’ ‘2’ (.variable ‘\1’) +# (.inner +# (macro (@ 2 2-7) ‘m/0’ +# (.inner +# (return (@ 3 4-10)) +# ) +# ) +# (map (@ 5 2-18) +# (.sequence +# (keys (@ 5 2-9) ‘’) +# ) +# (.result +# (string (@ 5 12-18) ‘"code"’) +# ) +# ) +# ) +# ) + diff --git a/test-files/mds-kbdc/eliminate-dead-code/dead-code/for-if-continue-else-continue-end-dead b/test-files/mds-kbdc/eliminate-dead-code/dead-code/for-if-continue-else-continue-end-dead index 108c7b0..e817aa9 100644 --- a/test-files/mds-kbdc/eliminate-dead-code/dead-code/for-if-continue-else-continue-end-dead +++ b/test-files/mds-kbdc/eliminate-dead-code/dead-code/for-if-continue-else-continue-end-dead @@ -19,7 +19,8 @@ end for # ) # ) # ) -# :7:2–2: warning: statement is unreachable +# :7:2–27: warning: statement is unreachable # : "dead code" +# ^^^^^^^^^^^^^^^^^^^^^^^^^ # diff --git a/test-files/mds-kbdc/eliminate-dead-code/dead-code/function-for-return-end-dead b/test-files/mds-kbdc/eliminate-dead-code/dead-code/function-for-return-end-dead index 39fb763..beb504f 100644 --- a/test-files/mds-kbdc/eliminate-dead-code/dead-code/function-for-return-end-dead +++ b/test-files/mds-kbdc/eliminate-dead-code/dead-code/function-for-return-end-dead @@ -14,7 +14,8 @@ end function # ) # ) # ) -# :5:2–2: warning: statement is unreachable +# :5:2–13: warning: statement is unreachable # "dead code" +# ^^^^^^^^^^^ # diff --git a/test-files/mds-kbdc/eliminate-dead-code/dead-code/macro-for-return-end-dead b/test-files/mds-kbdc/eliminate-dead-code/dead-code/macro-for-return-end-dead index eb8fdaa..b7a42f8 100644 --- a/test-files/mds-kbdc/eliminate-dead-code/dead-code/macro-for-return-end-dead +++ b/test-files/mds-kbdc/eliminate-dead-code/dead-code/macro-for-return-end-dead @@ -14,7 +14,8 @@ end macro # ) # ) # ) -# :5:2–2: warning: statement is unreachable +# :5:2–27: warning: statement is unreachable # : "dead code" +# ^^^^^^^^^^^^^^^^^^^^^^^^^ # diff --git a/test-files/mds-kbdc/process-includes/README b/test-files/mds-kbdc/process-includes/README new file mode 100644 index 0000000..f99d64b --- /dev/null +++ b/test-files/mds-kbdc/process-includes/README @@ -0,0 +1,4 @@ +When testing these files it is important to +`goto stop;` after `process_includes` been called +in `mds-kbdc.c`. + diff --git a/test-files/mds-kbdc/simplify-tree/invalid/map_to_unorderd_and_alternative b/test-files/mds-kbdc/simplify-tree/invalid/map_to_unorderd_and_alternative deleted file mode 100644 index 283d6c3..0000000 --- a/test-files/mds-kbdc/simplify-tree/invalid/map_to_unorderd_and_alternative +++ /dev/null @@ -1,9 +0,0 @@ - : [1 2] (3 4) - -# :1:11–12: error: not allowed in mapping output -# : [1 2] (3 4) -# ^ -# :1:17–18: error: not allowed in mapping output -# : [1 2] (3 4) -# ^ - diff --git a/test-files/mds-kbdc/simplify-tree/invalid/map_to_unordered_and_alternative b/test-files/mds-kbdc/simplify-tree/invalid/map_to_unordered_and_alternative new file mode 100644 index 0000000..283d6c3 --- /dev/null +++ b/test-files/mds-kbdc/simplify-tree/invalid/map_to_unordered_and_alternative @@ -0,0 +1,9 @@ + : [1 2] (3 4) + +# :1:11–12: error: not allowed in mapping output +# : [1 2] (3 4) +# ^ +# :1:17–18: error: not allowed in mapping output +# : [1 2] (3 4) +# ^ + diff --git a/test-files/mds-kbdc/validate-tree/README b/test-files/mds-kbdc/validate-tree/README new file mode 100644 index 0000000..6481bd2 --- /dev/null +++ b/test-files/mds-kbdc/validate-tree/README @@ -0,0 +1,4 @@ +When testing these files it is important to +`goto stop;` after `validate_tree` been called +in `mds-kbdc.c`. + diff --git a/test-files/mds-kbdc/validate-tree/invalid/function-map b/test-files/mds-kbdc/validate-tree/invalid/function-map index 1768d63..fbf1968 100644 --- a/test-files/mds-kbdc/validate-tree/invalid/function-map +++ b/test-files/mds-kbdc/validate-tree/invalid/function-map @@ -16,7 +16,8 @@ end function # ) # ) # ) -# :2:2–2: error: mapping-statement inside function definition +# :2:2–30: error: mapping-statement inside function definition # "a" "e" : "æ" +# ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ # -- cgit v1.2.3-70-g09d2