From 7c6c9251c23e4923ae4353a34aa7d83b5a5840d1 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 8 Dec 2014 17:32:01 +0100 Subject: mds-kbdc: compile-layout. bug fixes, test-cases and mark all untested error reports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- src/mds-kbdc/callables.c | 14 ++- src/mds-kbdc/compile-layout.c | 131 +++++++++++---------- src/mds-kbdc/variables.c | 2 +- .../compile-layout/invalid/bad_name_suffix | 17 +++ .../invalid/function-undefined_function | 8 ++ .../invalid/function-undefined_function-call | 5 + .../compile-layout/invalid/function_calls_itself | 4 + .../mds-kbdc/compile-layout/invalid/loopy_error | 2 +- .../invalid/macro-undefined_function | 4 + .../compile-layout/invalid/macro-undefined_macro | 4 + .../invalid/macro-undefined_macro-call | 5 + .../compile-layout/invalid/macro_calls_itself | 4 + .../mds-kbdc/compile-layout/invalid/not_a_variable | 12 ++ .../invalid/redefine_builtin_function | 3 + .../compile-layout/invalid/redefine_function | 5 + .../mds-kbdc/compile-layout/invalid/redefine_macro | 5 + 16 files changed, 156 insertions(+), 69 deletions(-) create mode 100644 test-files/mds-kbdc/compile-layout/invalid/bad_name_suffix create mode 100644 test-files/mds-kbdc/compile-layout/invalid/function-undefined_function create mode 100644 test-files/mds-kbdc/compile-layout/invalid/function-undefined_function-call create mode 100644 test-files/mds-kbdc/compile-layout/invalid/function_calls_itself create mode 100644 test-files/mds-kbdc/compile-layout/invalid/macro-undefined_function create mode 100644 test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro create mode 100644 test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro-call create mode 100644 test-files/mds-kbdc/compile-layout/invalid/macro_calls_itself create mode 100644 test-files/mds-kbdc/compile-layout/invalid/not_a_variable create mode 100644 test-files/mds-kbdc/compile-layout/invalid/redefine_builtin_function create mode 100644 test-files/mds-kbdc/compile-layout/invalid/redefine_function create mode 100644 test-files/mds-kbdc/compile-layout/invalid/redefine_macro diff --git a/src/mds-kbdc/callables.c b/src/mds-kbdc/callables.c index 06377de..10eddcc 100644 --- a/src/mds-kbdc/callables.c +++ b/src/mds-kbdc/callables.c @@ -68,15 +68,17 @@ void callables_terminate(void) { size_t i, j, n; char** bucket; - for (i = 0; i < list_ptr; i++) + for (i = 0; i < buckets; i++) { bucket = names[i]; for (j = 0, n = bucket_sizes[i]; j < n; j++) free(bucket[j]); free(bucket); + free(callables[i]); } for (i = 0; i < list_ptr; i++) mds_kbdc_include_stack_free(callable_include_stack_list[i]); + free(callables), callables = NULL; free(names), names = NULL; free(bucket_sizes), bucket_sizes = NULL; free(callable_list), callable_list = NULL; @@ -98,7 +100,7 @@ void callables_terminate(void) int callables_set(const char* restrict name, size_t arg_count, mds_kbdc_tree_t* restrict callable, mds_kbdc_include_stack_t* restrict callable_include_stack) { -#define yrealloc(var, elements, type) \ +#define yrealloc(var, elements, type) \ (new_##var = realloc(var, (elements) * sizeof(type)), \ (new_##var == NULL) ? -1 : (var = new_##var, new_##var = NULL, 0)) @@ -119,16 +121,16 @@ int callables_set(const char* restrict name, size_t arg_count, mds_kbdc_tree_t* fail_if (yrealloc(names, arg_count + 1, char**)); fail_if (yrealloc(callables, arg_count + 1, size_t*)); fail_if (yrealloc(bucket_sizes, arg_count + 1, size_t)); - memset(names, 0, (arg_count + 1 - buckets) * sizeof(char**)); - memset(callables, 0, (arg_count + 1 - buckets) * sizeof(size_t*)); - memset(bucket_sizes, 0, (arg_count + 1 - buckets) * sizeof(size_t)); + memset(names + buckets, 0, (arg_count + 1 - buckets) * sizeof(char**)); + memset(callables + buckets, 0, (arg_count + 1 - buckets) * sizeof(size_t*)); + memset(bucket_sizes + buckets, 0, (arg_count + 1 - buckets) * sizeof(size_t)); buckets = arg_count + 1; } fail_if (xxrealloc(old_names, names[arg_count], bucket_sizes[arg_count] + 1, char*)); fail_if (xxrealloc(old_callables, callables[arg_count], bucket_sizes[arg_count] + 1, size_t)); - names[arg_count][bucket_sizes[arg_count]] = dupname, dupname = NULL;; + names[arg_count][bucket_sizes[arg_count]] = dupname, dupname = NULL; callables[arg_count][bucket_sizes[arg_count]] = list_ptr; bucket_sizes[arg_count]++; diff --git a/src/mds-kbdc/compile-layout.c b/src/mds-kbdc/compile-layout.c index b8b5cfe..9441802 100644 --- a/src/mds-kbdc/compile-layout.c +++ b/src/mds-kbdc/compile-layout.c @@ -20,6 +20,7 @@ /* TODO fix so that for-loops do not generate the same errors/warnings in all iterations [loopy_error]. */ /* TODO test all builtin functions */ /* TODO test function- and macro-overloading */ +/* TODO test same-named macros and functions */ #include "include-stack.h" #include "builtin-functions.h" @@ -173,7 +174,7 @@ static int let(size_t variable, const char32_t* restrict string, const mds_kbdc_ statement && (statement->processed != PROCESS_LEVEL)) { statement->processed = PROCESS_LEVEL; - NEW_ERROR(statement, WARNING, "does not shadow existing definition"); + NEW_ERROR(statement, WARNING, "does not shadow existing definition");/* TODO test */ error->start = lineoff; error->end = lineoff + (size_t)snprintf(NULL, 0, "\\%zu", variable); } @@ -226,16 +227,16 @@ static int check_set_3_get_2_call(mds_kbdc_tree_t* restrict tree, int is_set, co size_t index; if ((variable_arg[0] <= 0) || (variable_arg[1] != -1)) - FUN_ERROR(tree, ERROR, "first argument in call to function ‘%s’ must be a variable index", F); + FUN_ERROR(tree, ERROR, "first argument in call to function ‘%s’ must be a variable index", F);/* TODO test */ if ((index_arg[0] < 0) || (index_arg[1] != -1)) - FUN_ERROR(tree, ERROR, "second argument in call to function ‘%s’ must be an element index", F); + FUN_ERROR(tree, ERROR, "second argument in call to function ‘%s’ must be an element index", F);/* TODO test */ variable = variables_get((size_t)*variable_arg); if (variable == NULL) - FUN_ERROR(tree, ERROR, "‘\\%zu’ is not declared", (size_t)*variable_arg); + FUN_ERROR(tree, ERROR, "‘\\%zu’ is not declared", (size_t)*variable_arg);/* TODO test */ if (variable->type != C(ARRAY)) - FUN_ERROR(tree, ERROR, "‘\\%zu’ is not an array", (size_t)*variable_arg); + FUN_ERROR(tree, ERROR, "‘\\%zu’ is not an array", (size_t)*variable_arg);/* TODO test */ index = (size_t)*index_arg; element = variable->array.elements; @@ -243,7 +244,7 @@ static int check_set_3_get_2_call(mds_kbdc_tree_t* restrict tree, int is_set, co element = element->next; if (element == NULL) - FUN_ERROR(tree, ERROR, "‘\\%zu’ does not hold %zu elements", (size_t)*variable_arg, (size_t)*index_arg); + FUN_ERROR(tree, ERROR, "‘\\%zu’ does not hold %zu elements", (size_t)*variable_arg, (size_t)*index_arg);/* TODO test */ return 0; pfail: @@ -332,7 +333,7 @@ static int call_function(mds_kbdc_tree_t* restrict tree, const char* restrict na /* Check that the function returned a value. */ if (*return_value == NULL) - FUN_ERROR(tree, ERROR, "function ‘%s/%zu’ did not return a value", name, arg_count); + FUN_ERROR(tree, ERROR, "function ‘%s/%zu’ did not return a value", name, arg_count);/* TODO test */ goto done; } @@ -360,7 +361,7 @@ static int call_function(mds_kbdc_tree_t* restrict tree, const char* restrict na FUN_ERROR(tree, ERROR, "built-in function ‘%s/%zu’ requires that either none of" " the arguments are empty strings or that all of them are", - name, arg_count); + name, arg_count);/* TODO test */ } /* Call the function. */ @@ -421,7 +422,7 @@ static char32_t* parse_function_call(mds_kbdc_tree_t* restrict tree, const char* { *end = bracket; if (tree->processed != PROCESS_LEVEL) - NEW_ERROR(tree, ERROR, "invalid escape"); + NEW_ERROR(tree, ERROR, "invalid escape");/* TODO test */ goto error; } @@ -662,7 +663,7 @@ static char32_t* parse_escape(mds_kbdc_tree_t* restrict tree, const char* restri /* Function call. */ *escape = 100; else - RETURN_ERROR(tree, ERROR, "invalid escape"); + RETURN_ERROR(tree, ERROR, "invalid escape");/* TODO test */ /* Read escape. */ @@ -678,7 +679,7 @@ static char32_t* parse_escape(mds_kbdc_tree_t* restrict tree, const char* restri else if (CR(10, '0', '9')) numbuf = 10 * numbuf + (c & 15); else break; if (have == 0) - RETURN_ERROR(tree, ERROR, "invalid escape"); + RETURN_ERROR(tree, ERROR, "invalid escape");/* TODO test */ /* Evaluate escape. */ @@ -686,11 +687,11 @@ static char32_t* parse_escape(mds_kbdc_tree_t* restrict tree, const char* restri { /* Variable dereference. */ if (value = variables_get((size_t)numbuf), value == NULL) - RETURN_ERROR(tree, ERROR, "variable ‘%.*s’ is not defined", VARIABLE); + RETURN_ERROR(tree, ERROR, "variable ‘%.*s’ is not defined", VARIABLE);/* TODO test */ if (value->type == C(ARRAY)) - RETURN_ERROR(tree, ERROR, "variable ‘%.*s’ is an array", VARIABLE); + RETURN_ERROR(tree, ERROR, "variable ‘%.*s’ is an array", VARIABLE);/* TODO test */ if (value->type != C(COMPILED_STRING)) - NEW_ERROR(tree, INTERNAL_ERROR, "variable ‘%.*s’ is of impossible type", VARIABLE); + NEW_ERROR(tree, INTERNAL_ERROR, "variable ‘%.*s’ is of impossible type", VARIABLE);/* TODO test */ fail_if (rc = string_dup(value->compiled_string.string), rc == NULL); } else @@ -788,7 +789,7 @@ static char32_t* parse_quoted_string(mds_kbdc_tree_t* restrict tree, const char* /* Close or open quote, of it got closed, convert the buffered UTF-8 text to UTF-32. */ if (quote ^= 1) continue; if ((quote == 1) && (raw != raw_ + 1)) - CHAR_ERROR(tree, WARNING, "strings should either be unquoted or unclosed in one large quoted"); + CHAR_ERROR(tree, WARNING, "strings should either be unquoted or unclosed in one large quoted");/* TODO test */ STORE; } else if (c == '\\') @@ -801,9 +802,9 @@ static char32_t* parse_quoted_string(mds_kbdc_tree_t* restrict tree, const char* { /* Only escapes may be used without quotes, if the string contains quotes. */ if (*raw_ == '"') - CHAR_ERROR(tree, ERROR, "only escapes may be outside quotes in quoted strings"); + CHAR_ERROR(tree, ERROR, "only escapes may be outside quotes in quoted strings");/* TODO test */ else - CHAR_ERROR(tree, ERROR, "mixing numericals and escapes is not allowed"); + CHAR_ERROR(tree, ERROR, "mixing numericals and escapes is not allowed");/* TODO test */ tree->processed = PROCESS_LEVEL; } else @@ -816,7 +817,7 @@ static char32_t* parse_quoted_string(mds_kbdc_tree_t* restrict tree, const char* /* Check that no escape is incomplete. */ if (escape && (tree->processed != PROCESS_LEVEL)) { - NEW_ERROR(tree, ERROR, "incomplete escape"); + NEW_ERROR(tree, ERROR, "incomplete escape");/* TODO test */ error->start = escoff; error->end = lineoff + strlen(raw_); tree->processed = PROCESS_LEVEL; @@ -825,7 +826,7 @@ static char32_t* parse_quoted_string(mds_kbdc_tree_t* restrict tree, const char* /* Check that the quote is complete. */ if (quote && (tree->processed != PROCESS_LEVEL)) { - NEW_ERROR(tree, ERROR, "quote is not closed"); + NEW_ERROR(tree, ERROR, "quote is not closed");/* TODO test */ error->start = lineoff; error->end = lineoff + strlen(raw_); tree->processed = PROCESS_LEVEL; @@ -881,9 +882,9 @@ static char32_t* parse_unquoted_string(mds_kbdc_tree_t* restrict tree, const cha while ((c = *raw++)) if (R('0', '9')) buf = 10 * buf + (c & 15); - else if (c == '\\') CHAR_ERROR(tree, ERROR, "mixing numericals and escapes is not allowed"); - else if (c == '"') CHAR_ERROR(tree, ERROR, "mixing numericals and quotes is not allowed"); - else CHAR_ERROR(tree, ERROR, "stray ‘%c’", c); + else if (c == '\\') CHAR_ERROR(tree, ERROR, "mixing numericals and escapes is not allowed");/* TODO test */ + else if (c == '"') CHAR_ERROR(tree, ERROR, "mixing numericals and quotes is not allowed");/* TODO test */ + else CHAR_ERROR(tree, ERROR, "stray ‘%c’", c);/* TODO test */ done: fail_if (rc = malloc(2 * sizeof(char32_t)), rc == NULL); @@ -1004,7 +1005,7 @@ static char32_t* parse_keys(mds_kbdc_tree_t* restrict tree, const char* restrict /* Check that no escape is incomplete. */ if (escape && (tree->processed != PROCESS_LEVEL)) { - NEW_ERROR(tree, ERROR, "incomplete escape"); + NEW_ERROR(tree, ERROR, "incomplete escape");/* TODO test */ error->start = lineoff + (size_t)(strrchr(raw_, '\\') - raw_); error->end = lineoff + strlen(raw_); tree->processed = PROCESS_LEVEL; @@ -1013,7 +1014,7 @@ static char32_t* parse_keys(mds_kbdc_tree_t* restrict tree, const char* restrict /* Check that key-combination is complete. */ if ((c != '>') && (tree->processed != PROCESS_LEVEL)) { - NEW_ERROR(tree, ERROR, "key-combination is not closed"); + NEW_ERROR(tree, ERROR, "key-combination is not closed");/* TODO test */ error->start = lineoff; error->end = lineoff + strlen(raw_); tree->processed = PROCESS_LEVEL; @@ -1051,39 +1052,43 @@ static char32_t* parse_keys(mds_kbdc_tree_t* restrict tree, const char* restrict */ static size_t parse_variable(mds_kbdc_tree_t* restrict tree, const char* restrict raw, size_t lineoff) { - int bad = 0; - size_t var; + size_t var, n; const char* restrict raw_ = raw; + char* restrict dotless; /* The variable must begin with \. */ - if (*raw++ != '\\') bad = 1; - /* Zero is not a valid varible, nor may there be leading zeroes. */ - if (*raw++ == '0') bad = 1; - for (; *raw; raw++) + if (*raw++ != '\\') goto bad; + /* Zero is not a valid varible, nor may there be leading zeroes or be empty. */ + if (*raw == '0') goto bad; + if (*raw == '.') goto bad; + if (*raw == '\0') goto bad; + for (raw++; *raw; raw++) /* Check that the variable consists only of digits. */ if (('0' <= *raw) && (*raw <= '9')); /* However, it may end with a dot. */ - else if ((raw[0] == '.') && (raw[1] == '\0')); + else if ((raw[0] == '.') && (raw[1] == '\0')) + break; else - bad = 1; - - /* Report an error but return a variable index if the variable-string is invalid. */ - if (bad) - { - NEW_ERROR(tree, ERROR, "not a variable"); - error->start = lineoff; - error->end = lineoff + strlen(raw_); - tree->processed = PROCESS_LEVEL; - return 1; - } + goto bad; /* Parse the variable string and check that it did not overflow. */ - var = (size_t)atoll(raw_ + 1); - if (strlen(raw_ + 1) != (size_t)snprintf(NULL, 0, "%zu", var)) + n = (size_t)(raw - raw_); + dotless = alloca((n + 1) * sizeof(char)); + memcpy(dotless, raw_, n * sizeof(char)), dotless[n] = '\0'; + var = (size_t)atoll(dotless + 1); + if (strlen(dotless + 1) != (size_t)snprintf(NULL, 0, "%zu", var)) return errno = ERANGE, (size_t)0; return var; pfail: return 0; + + bad: + /* Report an error but return a variable index if the variable-string is invalid. */ + NEW_ERROR(tree, ERROR, "not a variable"); + error->start = lineoff; + error->end = lineoff + strlen(raw_); + tree->processed = PROCESS_LEVEL; + return 1; } @@ -1582,14 +1587,14 @@ static int compile_have_range(mds_kbdc_tree_assumption_have_range_t* restrict tr /* Check that the primary bound is single-character. */ if ((first[0] == -1) || (first[1] != -1)) { - NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string"); + NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string");/* TODO test */ error->start = lineoff_first, lineoff_first = 0; error->end = error->start + strlen(tree->first); } /* Check that the secondary bound is single-character. */ if ((last[0] == -1) || (last[1] != -1)) { - NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string"); + NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string");/* TODO test */ error->start = lineoff_last, lineoff_last = 0; error->end = error->start + strlen(tree->last); } @@ -1702,6 +1707,7 @@ static int check_function_calls_in_for(const mds_kbdc_tree_for_t* restrict tree) for (lineoff_first = tree->loc_end; code[lineoff_first] == ' '; lineoff_first++); for (lineoff_last = lineoff_first + strlen(tree->first); code[lineoff_last] == ' '; lineoff_last++); + for (lineoff_last += strlen("to"); code[lineoff_last] == ' '; lineoff_last++); t ((const mds_kbdc_tree_t*)tree, tree->first, lineoff_first); t ((const mds_kbdc_tree_t*)tree, tree->last, lineoff_last); @@ -1735,7 +1741,7 @@ static int check_function_calls_in_if(const mds_kbdc_tree_if_t* restrict tree) */ static int check_function_calls_in_keys(const mds_kbdc_tree_keys_t* restrict tree) { - return check_function_calls_in_literal((const mds_kbdc_tree_t*)tree, tree->keys, tree->loc_end); + return check_function_calls_in_literal((const mds_kbdc_tree_t*)tree, tree->keys, tree->loc_start); } @@ -1747,7 +1753,7 @@ static int check_function_calls_in_keys(const mds_kbdc_tree_keys_t* restrict tre */ static int check_function_calls_in_string(const mds_kbdc_tree_string_t* restrict tree) { - return check_function_calls_in_literal((const mds_kbdc_tree_t*)tree, tree->string, tree->loc_end); + return check_function_calls_in_literal((const mds_kbdc_tree_t*)tree, tree->string, tree->loc_start); } @@ -1828,14 +1834,14 @@ static int check_name_suffix(struct mds_kbdc_tree_callable* restrict tree) return 0; /* The suffix may not have leading zeroes. */ - if (*name == '\0') + if (*name == '0') { NEW_ERROR(tree, ERROR, "leading zero in name-suffix"); goto name_error; } /* The suffix must be a decimal, non-negative number. */ for (; *name; name++) - if ((*name < '0') || ('0' < *name)) + if ((*name < '0') || ('9' < *name)) { NEW_ERROR(tree, ERROR, "name-suffix may only contain digits"); goto name_error; @@ -1873,6 +1879,7 @@ static int compile_function(mds_kbdc_tree_function_t* restrict tree) /* Check that the suffix if properly formatted. */ t (check_name_suffix((struct mds_kbdc_tree_callable*)tree)); + if (r) return 0; /* Get the function's name without suffix, and parse the suffix. */ suffixless = tree->name; @@ -1883,7 +1890,8 @@ static int compile_function(mds_kbdc_tree_function_t* restrict tree) /* Check that the function is not already defined as a builtin function. */ if (builtin_function_defined(suffixless, arg_count)) { - NEW_ERROR(tree, ERROR, "function ‘%s’ is already defined as a builtin function", tree->name); + NEW_ERROR(tree, ERROR, "function ‘%s/%zu’ is already defined as a builtin function", + tree->name, arg_count); *suffix_start = '/'; return 0; } @@ -1939,6 +1947,7 @@ static int compile_macro(mds_kbdc_tree_macro_t* restrict tree) /* Check that the suffix if properly formatted. */ t (check_name_suffix((struct mds_kbdc_tree_callable*)tree)); + if (r) return 0; /* Check that the macro is not already defined, the include-stack is used in the error-clause as @@ -2019,14 +2028,14 @@ static int compile_for(mds_kbdc_tree_for_t* restrict tree) /* Check that the primary bound is single-character. */ if ((first[0] == -1) || (first[1] != -1)) { - NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string"); + NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string");/* TODO test */ error->start = lineoff_first, lineoff_first = 0; error->end = error->start + strlen(tree->first); } /* Check that the secondary bound is single-character. */ if ((last[0] == -1) || (last[1] != -1)) { - NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string"); + NEW_ERROR(tree, ERROR, "iteration boundary must be a single character string");/* TODO test */ error->start = lineoff_last, lineoff_last = 0; error->end = error->start + strlen(tree->last); } @@ -2340,7 +2349,7 @@ static int compile_map(mds_kbdc_tree_map_t* restrict tree) array that is not shadowed by an inner function- or macro-call. */ if (r && !have_side_effect) { - NEW_ERROR(tree, ERROR, "value-statement outside function without side-effects"); + NEW_ERROR(tree, ERROR, "value-statement outside function without side-effects");/* TODO test */ tree->processed = PROCESS_LEVEL; } if (have_side_effect) @@ -2352,7 +2361,7 @@ static int compile_map(mds_kbdc_tree_map_t* restrict tree) /* For simplicity we set `last_value_statement` on includes, * so we are sure `last_value_statement` has the same include-stack. */ - NEW_ERROR(previous_last_value_statement, WARNING, "value-statement has no effects"); + NEW_ERROR(previous_last_value_statement, WARNING, "value-statement has no effects");/* TODO test */ NEW_ERROR(tree, NOTE, "overridden here"); } @@ -2480,13 +2489,13 @@ static int compile_subtree(mds_kbdc_tree_t* restrict tree) case C(ASSUMPTION_HAVE_RANGE): c (have_range); break; case C(FOR): c_ (for); break; case C(IF): c_ (if); break; - case C(LET): c (let); break; - case C(KEYS): c (keys); break; - case C(STRING): c (string); break; - case C(ARRAY): c (array); break; + case C(LET): c (let); break;/* TODO test */ + case C(KEYS): c (keys); break;/* TODO test */ + case C(STRING): c (string); break;/* TODO test */ + case C(ARRAY): c (array); break;/* TODO test */ case C(MAP): c (map); break; - case C(MACRO_CALL): c (macro_call); break; - case C(RETURN): break_level = 3; break; + case C(MACRO_CALL): c (macro_call); break;/* TODO test */ + case C(RETURN): break_level = 3; break;/* TODO test */ case C(BREAK): break_level = 2; break; case C(CONTINUE): break_level = 1; break; default: diff --git a/src/mds-kbdc/variables.c b/src/mds-kbdc/variables.c index b53569a..55bae76 100644 --- a/src/mds-kbdc/variables.c +++ b/src/mds-kbdc/variables.c @@ -153,7 +153,7 @@ int variables_let(size_t variable, mds_kbdc_tree_t* restrict value) if (new == NULL) return -1; variables = new; - memset(variables, 0, (variable + 1 - variable_count) * sizeof(variable_t*)); + memset(variables + variable_count, 0, (variable + 1 - variable_count) * sizeof(variable_t*)); variable_count = variable + 1; } diff --git a/test-files/mds-kbdc/compile-layout/invalid/bad_name_suffix b/test-files/mds-kbdc/compile-layout/invalid/bad_name_suffix new file mode 100644 index 0000000..594b4f7 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/bad_name_suffix @@ -0,0 +1,17 @@ +function n +end function +macro n/ +end macro +function n/01 +end function +macro n/a +end macro +function n/1 # this one is good +end function +macro n/9 # this one is good +end macro +function n/0 # this one is good +end function +macro n/10 # this one is good +end macro + diff --git a/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function b/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function new file mode 100644 index 0000000..9712868 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function @@ -0,0 +1,8 @@ +function f/0 + for \f(1) to \f(1) as \1 + if \f(1) + \f(1) + end if + end for +end function + diff --git a/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function-call b/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function-call new file mode 100644 index 0000000..c0f195b --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/function-undefined_function-call @@ -0,0 +1,5 @@ +function f/0 + \f(1) +end function +\f() + diff --git a/test-files/mds-kbdc/compile-layout/invalid/function_calls_itself b/test-files/mds-kbdc/compile-layout/invalid/function_calls_itself new file mode 100644 index 0000000..1201ad5 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/function_calls_itself @@ -0,0 +1,4 @@ +function f/0 + \f() +end function + diff --git a/test-files/mds-kbdc/compile-layout/invalid/loopy_error b/test-files/mds-kbdc/compile-layout/invalid/loopy_error index 44fe098..c68fbe4 100644 --- a/test-files/mds-kbdc/compile-layout/invalid/loopy_error +++ b/test-files/mds-kbdc/compile-layout/invalid/loopy_error @@ -1,4 +1,4 @@ for 1 to 3 as \1 - : \1 + : 0 end for diff --git a/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_function b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_function new file mode 100644 index 0000000..ca3f975 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_function @@ -0,0 +1,4 @@ +macro m/0 + <\f()> : \f() +end macro + diff --git a/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro new file mode 100644 index 0000000..3654b50 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro @@ -0,0 +1,4 @@ +macro m/0 + m(1) +end macro + diff --git a/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro-call b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro-call new file mode 100644 index 0000000..69f2f8e --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/macro-undefined_macro-call @@ -0,0 +1,5 @@ +macro m/0 + m(1) +end macro +m() + diff --git a/test-files/mds-kbdc/compile-layout/invalid/macro_calls_itself b/test-files/mds-kbdc/compile-layout/invalid/macro_calls_itself new file mode 100644 index 0000000..2f4a5dd --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/macro_calls_itself @@ -0,0 +1,4 @@ +macro m/0 + m() +end macro + diff --git a/test-files/mds-kbdc/compile-layout/invalid/not_a_variable b/test-files/mds-kbdc/compile-layout/invalid/not_a_variable new file mode 100644 index 0000000..cc189ea --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/not_a_variable @@ -0,0 +1,12 @@ +let 1 : 1 +let \. : 1 +let \0 : 1 +let \0. : 1 +let \1.. : 1 +let \1 : 1 # this one is good +let \1. : 1 # this one is good +let \9 : 1 # this one is good +let \a : 1 +let \f() : 1 +let a : 1 + diff --git a/test-files/mds-kbdc/compile-layout/invalid/redefine_builtin_function b/test-files/mds-kbdc/compile-layout/invalid/redefine_builtin_function new file mode 100644 index 0000000..2d9a769 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/redefine_builtin_function @@ -0,0 +1,3 @@ +function set/3 +end function + diff --git a/test-files/mds-kbdc/compile-layout/invalid/redefine_function b/test-files/mds-kbdc/compile-layout/invalid/redefine_function new file mode 100644 index 0000000..7147a02 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/redefine_function @@ -0,0 +1,5 @@ +function f/0 +end function +function f/0 +end function + diff --git a/test-files/mds-kbdc/compile-layout/invalid/redefine_macro b/test-files/mds-kbdc/compile-layout/invalid/redefine_macro new file mode 100644 index 0000000..03fe15a --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/redefine_macro @@ -0,0 +1,5 @@ +macro m/0 +end macro +macro m/0 +end macro + -- cgit v1.2.3-70-g09d2