From 9a34e89289d760fbe41aa79c684159f3c9f60645 Mon Sep 17 00:00:00 2001 From: Denys Vlasenko Date: Wed, 12 Dec 2018 13:58:55 +0100 Subject: bc: partially convert lexer functions to "z" convention function old new delta bc_lex_token 1228 - -1228 zbc_lex_token - 1193 +1193 dc_lex_token 674 - -674 zdc_lex_token - 672 +672 bc_parse_operator 177 - -177 zbc_parse_operator - 175 +175 bc_parse_else 133 - -133 zbc_parse_else - 133 +133 bc_lex_next 91 - -91 zbc_lex_next - 81 +81 dc_parse_expr 744 748 +4 bc_parse_string 100 102 +2 bc_parse_body 114 116 +2 dc_parse_mem 116 115 -1 bc_parse_text 130 129 -1 dc_parse_register 51 43 -8 bc_parse_endBody 358 338 -20 bc_parse_name 513 451 -62 bc_parse_auto 265 201 -64 bc_parse_expr_empty_ok 2032 1955 -77 bc_parse_parse 417 321 -96 bc_parse_stmt 1753 1598 -155 ------------------------------------------------------------------------------ (add/remove: 5/5 grow/shrink: 3/9 up/down: 2262/-2787) Total: -525 bytes text data bss dec hex filename 981975 485 7296 989756 f1a3c busybox_old 981450 485 7296 989231 f182f busybox_unstripped Signed-off-by: Denys Vlasenko --- miscutils/bc.c | 266 ++++++++++++++++++++++++++++++++------------------------- 1 file changed, 148 insertions(+), 118 deletions(-) (limited to 'miscutils') diff --git a/miscutils/bc.c b/miscutils/bc.c index 8f326d20e..eae5063a8 100644 --- a/miscutils/bc.c +++ b/miscutils/bc.c @@ -544,8 +544,14 @@ enum { #define bc_lex_kws_POSIX(i) ((1 << (i)) & POSIX_KWORD_MASK) #endif +#if ENABLE_FEATURE_BC_SIGNALS || ENABLE_FEATURE_CLEAN_UP +# define BC_STATUS BcStatus +#else +# define BC_STATUS void +#endif + struct BcLex; -typedef BcStatus (*BcLexNext)(struct BcLex *) FAST_FUNC; +typedef BC_STATUS (*BcLexNext)(struct BcLex *) FAST_FUNC; typedef struct BcLex { @@ -933,13 +939,13 @@ dc_parse_insts[] = { # define ERRORS_ARE_FATAL 0 # define ERRORFUNC /*nothing*/ # define ERROR_RETURN(a) a -# define BC_STATUS BcStatus +//moved up: # define BC_STATUS BcStatus # define RETURN_STATUS(v) return (v) #else # define ERRORS_ARE_FATAL 1 # define ERRORFUNC NORETURN # define ERROR_RETURN(a) /*nothing*/ -# define BC_STATUS void +//moved up: # define BC_STATUS void # define RETURN_STATUS(v) do { ((void)(v)); return; } while (0) #endif @@ -2940,40 +2946,48 @@ static void bc_lex_file(BcLex *l) l->newline = false; } -static BcStatus bc_lex_next(BcLex *l) +static BC_STATUS zbc_lex_next(BcLex *l) { BcStatus s; l->t.last = l->t.t; - if (l->t.last == BC_LEX_EOF) return bc_error("end of file"); + if (l->t.last == BC_LEX_EOF) RETURN_STATUS(bc_error("end of file")); l->line += l->newline; G.err_line = l->line; l->t.t = BC_LEX_EOF; l->newline = (l->i == l->len); - if (l->newline) return BC_STATUS_SUCCESS; + if (l->newline) RETURN_STATUS(BC_STATUS_SUCCESS); // Loop until failure or we don't have whitespace. This // is so the parser doesn't get inundated with whitespace. + s = BC_STATUS_SUCCESS; do { - s = l->next(l); +//TODO: replace pointer with if(IS_BC) + ERROR_RETURN(s =) l->next(l); } while (!s && l->t.t == BC_LEX_WHITESPACE); - return s; + RETURN_STATUS(s); } +#if ERRORS_ARE_FATAL +# define zbc_lex_next(...) (zbc_lex_next(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif -static BcStatus bc_lex_text(BcLex *l, const char *text) +static BC_STATUS zbc_lex_text(BcLex *l, const char *text) { l->buf = text; l->i = 0; l->len = strlen(text); l->t.t = l->t.last = BC_LEX_INVALID; - return bc_lex_next(l); + RETURN_STATUS(zbc_lex_next(l)); } +#if ERRORS_ARE_FATAL +# define zbc_lex_text(...) (zbc_lex_text(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif #if ENABLE_BC -static BcStatus bc_lex_identifier(BcLex *l) +static BC_STATUS zbc_lex_identifier(BcLex *l) { BcStatus s; unsigned i; @@ -2993,12 +3007,12 @@ static BcStatus bc_lex_identifier(BcLex *l) l->t.t = BC_LEX_KEY_1st_keyword + i; if (!bc_lex_kws_POSIX(i)) { s = bc_posix_error_fmt("%sthe '%.8s' keyword", "POSIX does not allow ", bc_lex_kws[i].name8); - ERROR_RETURN(if (s) return s;) + ERROR_RETURN(if (s) RETURN_STATUS(s);) } // We minus 1 because the index has already been incremented. l->i += j - 1; - return BC_STATUS_SUCCESS; + RETURN_STATUS(BC_STATUS_SUCCESS); } bc_lex_name(l); @@ -3012,8 +3026,11 @@ static BcStatus bc_lex_identifier(BcLex *l) s = bc_posix_error_fmt("POSIX only allows one character names; the following is bad: '%.*s'", len, buf); } - return s; + RETURN_STATUS(s); } +#if ERRORS_ARE_FATAL +# define zbc_lex_identifier(...) (zbc_lex_identifier(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif static BcStatus bc_lex_string(BcLex *l) { @@ -3088,7 +3105,7 @@ static BC_STATUS zbc_lex_comment(BcLex *l) # define zbc_lex_comment(...) (zbc_lex_comment(__VA_ARGS__), BC_STATUS_SUCCESS) #endif -static FAST_FUNC BcStatus bc_lex_token(BcLex *l) +static FAST_FUNC BC_STATUS zbc_lex_token(BcLex *l) { BcStatus s = BC_STATUS_SUCCESS; char c = l->buf[l->i++], c2; @@ -3111,7 +3128,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) bc_lex_assign(l, BC_LEX_OP_REL_NE, BC_LEX_OP_BOOL_NOT); if (l->t.t == BC_LEX_OP_BOOL_NOT) { s = bc_POSIX_does_not_allow_bool_ops_this_is_bad("!"); - ERROR_RETURN(if (s) return s;) + ERROR_RETURN(if (s) RETURN_STATUS(s);) } break; case '"': @@ -3119,7 +3136,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) break; case '#': s = bc_POSIX_does_not_allow("'#' script comments"); - ERROR_RETURN(if (s) return s;) + ERROR_RETURN(if (s) RETURN_STATUS(s);) bc_lex_lineComment(l); break; case '%': @@ -3129,7 +3146,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) c2 = l->buf[l->i]; if (c2 == '&') { s = bc_POSIX_does_not_allow_bool_ops_this_is_bad("&&"); - ERROR_RETURN(if (s) return s;) + ERROR_RETURN(if (s) RETURN_STATUS(s);) ++l->i; l->t.t = BC_LEX_OP_BOOL_AND; } else { @@ -3248,7 +3265,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) case 'x': case 'y': case 'z': - s = bc_lex_identifier(l); + s = zbc_lex_identifier(l); break; case '{': case '}': @@ -3258,7 +3275,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) c2 = l->buf[l->i]; if (c2 == '|') { s = bc_POSIX_does_not_allow_bool_ops_this_is_bad("||"); - ERROR_RETURN(if (s) return s;) + ERROR_RETURN(if (s) RETURN_STATUS(s);) ++l->i; l->t.t = BC_LEX_OP_BOOL_OR; } else { @@ -3272,7 +3289,7 @@ static FAST_FUNC BcStatus bc_lex_token(BcLex *l) break; } - return s; + RETURN_STATUS(s); } #endif // ENABLE_BC @@ -3338,7 +3355,7 @@ static BC_STATUS zdc_lex_string(BcLex *l) # define zdc_lex_string(...) (zdc_lex_string(__VA_ARGS__), BC_STATUS_SUCCESS) #endif -static FAST_FUNC BcStatus dc_lex_token(BcLex *l) +static FAST_FUNC BC_STATUS zdc_lex_token(BcLex *l) { BcStatus s = BC_STATUS_SUCCESS; char c = l->buf[l->i++], c2; @@ -3346,13 +3363,13 @@ static FAST_FUNC BcStatus dc_lex_token(BcLex *l) for (i = 0; i < ARRAY_SIZE(dc_lex_regs); ++i) { if (l->t.last == dc_lex_regs[i]) - return zdc_lex_register(l); + RETURN_STATUS(zdc_lex_register(l)); } if (c >= '%' && c <= '~' && (l->t.t = dc_lex_tokens[(c - '%')]) != BC_LEX_INVALID ) { - return s; + RETURN_STATUS(s); } // This is the workhorse of the lexer. @@ -3378,7 +3395,7 @@ static FAST_FUNC BcStatus dc_lex_token(BcLex *l) else if (c2 == '>') l->t.t = BC_LEX_OP_REL_GE; else - return bc_error_bad_character(c); + RETURN_STATUS(bc_error_bad_character(c)); ++l->i; break; case '#': @@ -3417,7 +3434,7 @@ static FAST_FUNC BcStatus dc_lex_token(BcLex *l) break; } - return s; + RETURN_STATUS(s); } #endif // ENABLE_DC @@ -3482,7 +3499,7 @@ static BcStatus bc_parse_text(BcParse *p, const char *text) return bc_error("file is not executable"); } - return bc_lex_text(&p->l, text); + return zbc_lex_text(&p->l, text); } // Called when parsing or execution detects a failure, @@ -3566,12 +3583,12 @@ static void bc_parse_create(BcParse *p, size_t func, // first in the expr enum. Note: This only works for binary operators. #define BC_PARSE_TOKEN_INST(t) ((char) ((t) -BC_LEX_NEG + BC_INST_NEG)) -static BcStatus bc_parse_else(BcParse *p); +static BC_STATUS zbc_parse_else(BcParse *p); static BcStatus bc_parse_stmt(BcParse *p); static BcStatus bc_parse_expr(BcParse *p, uint8_t flags, BcParseNext next); static BcStatus bc_parse_expr_empty_ok(BcParse *p, uint8_t flags, BcParseNext next); -static BcStatus bc_parse_operator(BcParse *p, BcLexType type, size_t start, +static BC_STATUS zbc_parse_operator(BcParse *p, BcLexType type, size_t start, size_t *nexprs, bool next) { BcStatus s = BC_STATUS_SUCCESS; @@ -3593,35 +3610,40 @@ static BcStatus bc_parse_operator(BcParse *p, BcLexType type, size_t start, } bc_vec_push(&p->ops, &type); - if (next) s = bc_lex_next(&p->l); + if (next) s = zbc_lex_next(&p->l); - return s; + RETURN_STATUS(s); } +#if ERRORS_ARE_FATAL +# define zbc_parse_operator(...) (zbc_parse_operator(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif -static BcStatus bc_parse_rightParen(BcParse *p, size_t ops_bgn, size_t *nexs) +static BC_STATUS zbc_parse_rightParen(BcParse *p, size_t ops_bgn, size_t *nexs) { BcLexType top; if (p->ops.len <= ops_bgn) - return bc_error_bad_expression(); + RETURN_STATUS(bc_error_bad_expression()); top = BC_PARSE_TOP_OP(p); while (top != BC_LEX_LPAREN) { - bc_parse_push(p, BC_PARSE_TOKEN_INST(top)); bc_vec_pop(&p->ops); *nexs -= top != BC_LEX_OP_BOOL_NOT && top != BC_LEX_NEG; if (p->ops.len <= ops_bgn) - return bc_error_bad_expression(); + RETURN_STATUS(bc_error_bad_expression()); top = BC_PARSE_TOP_OP(p); } bc_vec_pop(&p->ops); - return bc_lex_next(&p->l); + RETURN_STATUS(zbc_lex_next(&p->l)); } +#if ERRORS_ARE_FATAL +# define zbc_parse_rightParen(...) (zbc_parse_rightParen(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif static BcStatus bc_parse_params(BcParse *p, uint8_t flags) { @@ -3629,7 +3651,7 @@ static BcStatus bc_parse_params(BcParse *p, uint8_t flags) bool comma = false; size_t nparams; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; for (nparams = 0; p->l.t.t != BC_LEX_RPAREN; ++nparams) { @@ -3640,7 +3662,7 @@ static BcStatus bc_parse_params(BcParse *p, uint8_t flags) comma = p->l.t.t == BC_LEX_COMMA; if (comma) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; } } @@ -3682,7 +3704,7 @@ static BcStatus bc_parse_call(BcParse *p, char *name, uint8_t flags) entry_ptr = bc_vec_item(&G.prog.fn_map, idx); bc_parse_pushIndex(p, entry_ptr->idx); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); err: free(name); @@ -3695,12 +3717,12 @@ static BcStatus bc_parse_name(BcParse *p, BcInst *type, uint8_t flags) char *name; name = xstrdup(p->l.t.v.v); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; if (p->l.t.t == BC_LEX_LBRACKET) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; if (p->l.t.t == BC_LEX_RBRACKET) { @@ -3721,7 +3743,7 @@ static BcStatus bc_parse_name(BcParse *p, BcInst *type, uint8_t flags) if (s) goto err; } - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; bc_parse_push(p, *type); bc_parse_pushName(p, name); @@ -3753,17 +3775,17 @@ static BcStatus bc_parse_read(BcParse *p) { BcStatus s; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_RPAREN) return bc_error_bad_token(); bc_parse_push(p, BC_INST_READ); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_builtin(BcParse *p, BcLexType type, uint8_t flags, @@ -3771,13 +3793,13 @@ static BcStatus bc_parse_builtin(BcParse *p, BcLexType type, uint8_t flags, { BcStatus s; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error_bad_token(); flags = (flags & ~(BC_PARSE_PRINT | BC_PARSE_REL)) | BC_PARSE_ARRAY; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; s = bc_parse_expr(p, flags, bc_parse_next_rel); @@ -3788,14 +3810,14 @@ static BcStatus bc_parse_builtin(BcParse *p, BcLexType type, uint8_t flags, *prev = (type == BC_LEX_KEY_LENGTH) ? BC_INST_LENGTH : BC_INST_SQRT; bc_parse_push(p, *prev); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_scale(BcParse *p, BcInst *type, uint8_t flags) { BcStatus s; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) { @@ -3807,7 +3829,7 @@ static BcStatus bc_parse_scale(BcParse *p, BcInst *type, uint8_t flags) *type = BC_INST_SCALE_FUNC; flags &= ~(BC_PARSE_PRINT | BC_PARSE_REL); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; s = bc_parse_expr(p, flags, bc_parse_next_rel); @@ -3815,7 +3837,7 @@ static BcStatus bc_parse_scale(BcParse *p, BcInst *type, uint8_t flags) if (p->l.t.t != BC_LEX_RPAREN) return bc_error_bad_token(); bc_parse_push(p, BC_INST_SCALE_FUNC); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_incdec(BcParse *p, BcInst *prev, bool *paren_expr, @@ -3832,14 +3854,14 @@ static BcStatus bc_parse_incdec(BcParse *p, BcInst *prev, bool *paren_expr, { *prev = inst = BC_INST_INC_POST + (p->l.t.t != BC_LEX_OP_INC); bc_parse_push(p, inst); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); } else { *prev = inst = BC_INST_INC_PRE + (p->l.t.t != BC_LEX_OP_INC); *paren_expr = true; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; type = p->l.t.t; @@ -3860,13 +3882,13 @@ static BcStatus bc_parse_incdec(BcParse *p, BcInst *prev, bool *paren_expr, case BC_LEX_KEY_OBASE: { bc_parse_push(p, type - BC_LEX_KEY_IBASE + BC_INST_IBASE); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); break; } case BC_LEX_KEY_SCALE: { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t == BC_LEX_LPAREN) s = bc_error_bad_token(); @@ -3895,7 +3917,7 @@ static BcStatus bc_parse_minus(BcParse *p, BcInst *prev, size_t ops_bgn, BcLexType type; BcInst etype = *prev; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; type = rparen || etype == BC_INST_INC_POST || etype == BC_INST_DEC_POST || @@ -3909,7 +3931,7 @@ static BcStatus bc_parse_minus(BcParse *p, BcInst *prev, size_t ops_bgn, if (type != BC_LEX_OP_MINUS) bc_vec_push(&p->ops, &type); else - s = bc_parse_operator(p, type, ops_bgn, nexprs, false); + s = zbc_parse_operator(p, type, ops_bgn, nexprs, false); return s; } @@ -3923,7 +3945,7 @@ static BcStatus bc_parse_string(BcParse *p, char inst) bc_vec_push(&G.prog.strs, &str); bc_parse_push(p, inst); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_print(BcParse *p) @@ -3932,7 +3954,7 @@ static BcStatus bc_parse_print(BcParse *p) BcLexType type; bool comma; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; type = p->l.t.t; @@ -3954,7 +3976,7 @@ static BcStatus bc_parse_print(BcParse *p) comma = p->l.t.t == BC_LEX_COMMA; if (comma) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; } type = p->l.t.t; @@ -3962,7 +3984,7 @@ static BcStatus bc_parse_print(BcParse *p) if (comma) return bc_error_bad_token(); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_return(BcParse *p) @@ -3973,7 +3995,7 @@ static BcStatus bc_parse_return(BcParse *p) if (!BC_PARSE_FUNC(p)) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; t = p->l.t.t; @@ -3986,7 +4008,7 @@ static BcStatus bc_parse_return(BcParse *p) s = bc_parse_expr_empty_ok(p, 0, bc_parse_next_expr); if (s == BC_STATUS_PARSE_EMPTY_EXP) { bc_parse_push(p, BC_INST_RET0); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); } if (s) return s; @@ -4013,7 +4035,7 @@ static BcStatus bc_parse_endBody(BcParse *p, bool brace) if (p->l.t.t == BC_LEX_RBRACE) { if (!p->nbraces) return bc_error_bad_token(); --p->nbraces; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; } else @@ -4025,7 +4047,7 @@ static BcStatus bc_parse_endBody(BcParse *p, bool brace) uint8_t *flag_ptr; while (p->l.t.t == BC_LEX_NLINE) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; } @@ -4034,7 +4056,8 @@ static BcStatus bc_parse_endBody(BcParse *p, bool brace) flag_ptr = BC_PARSE_TOP_FLAG_PTR(p); *flag_ptr = (*flag_ptr | BC_PARSE_FLAG_IF_END); - if (p->l.t.t == BC_LEX_KEY_ELSE) s = bc_parse_else(p); + if (p->l.t.t == BC_LEX_KEY_ELSE) + ERROR_RETURN(s =) zbc_parse_else(p); } else if (BC_PARSE_ELSE(p)) { @@ -4101,17 +4124,17 @@ static BcStatus bc_parse_if(BcParse *p) BcStatus s; BcInstPtr ip; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; s = bc_parse_expr(p, BC_PARSE_REL, bc_parse_next_rel); if (s) return s; if (p->l.t.t != BC_LEX_RPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; bc_parse_push(p, BC_INST_JUMP_ZERO); @@ -4126,11 +4149,11 @@ static BcStatus bc_parse_if(BcParse *p) return BC_STATUS_SUCCESS; } -static BcStatus bc_parse_else(BcParse *p) +static BC_STATUS zbc_parse_else(BcParse *p) { BcInstPtr ip; - if (!BC_PARSE_IF_END(p)) return bc_error_bad_token(); + if (!BC_PARSE_IF_END(p)) RETURN_STATUS(bc_error_bad_token()); ip.idx = p->func->labels.len; ip.func = ip.len = 0; @@ -4144,18 +4167,21 @@ static BcStatus bc_parse_else(BcParse *p) bc_vec_push(&p->func->labels, &ip.idx); bc_parse_startBody(p, BC_PARSE_FLAG_ELSE); - return bc_lex_next(&p->l); + RETURN_STATUS(zbc_lex_next(&p->l)); } +#if ERRORS_ARE_FATAL +# define zbc_parse_else(...) (zbc_parse_else(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif static BcStatus bc_parse_while(BcParse *p) { BcStatus s; BcInstPtr ip; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; ip.idx = p->func->labels.len; @@ -4173,7 +4199,7 @@ static BcStatus bc_parse_while(BcParse *p) s = bc_parse_expr(p, BC_PARSE_REL, bc_parse_next_rel); if (s) return s; if (p->l.t.t != BC_LEX_RPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; bc_parse_push(p, BC_INST_JUMP_ZERO); @@ -4189,10 +4215,10 @@ static BcStatus bc_parse_for(BcParse *p) BcInstPtr ip; size_t cond_idx, exit_idx, body_idx, update_idx; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_SCOLON) @@ -4202,7 +4228,7 @@ static BcStatus bc_parse_for(BcParse *p) if (s) return s; if (p->l.t.t != BC_LEX_SCOLON) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; cond_idx = p->func->labels.len; @@ -4220,7 +4246,7 @@ static BcStatus bc_parse_for(BcParse *p) if (s) return s; if (p->l.t.t != BC_LEX_SCOLON) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; bc_parse_push(p, BC_INST_JUMP_ZERO); @@ -4251,7 +4277,8 @@ static BcStatus bc_parse_for(BcParse *p) bc_vec_push(&p->exits, &ip); bc_vec_push(&p->func->labels, &ip.idx); - bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); + if (s) return s; bc_parse_startBody(p, BC_PARSE_FLAG_LOOP | BC_PARSE_FLAG_LOOP_INNER); return BC_STATUS_SUCCESS; @@ -4283,13 +4310,13 @@ static BcStatus bc_parse_loopExit(BcParse *p, BcLexType type) bc_parse_push(p, BC_INST_JUMP); bc_parse_pushIndex(p, i); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_SCOLON && p->l.t.t != BC_LEX_NLINE) return bc_error_bad_token(); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus bc_parse_func(BcParse *p) @@ -4299,7 +4326,7 @@ static BcStatus bc_parse_func(BcParse *p) uint8_t flags; char *name; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_NAME) return bc_error("bad function definition"); @@ -4307,11 +4334,11 @@ static BcStatus bc_parse_func(BcParse *p) name = xstrdup(p->l.t.v.v); bc_parse_addFunc(p, name, &p->fidx); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LPAREN) return bc_error("bad function definition"); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; while (p->l.t.t != BC_LEX_RPAREN) { @@ -4322,14 +4349,14 @@ static BcStatus bc_parse_func(BcParse *p) ++p->func->nparams; name = xstrdup(p->l.t.v.v); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; var = p->l.t.t != BC_LEX_LBRACKET; if (!var) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; if (p->l.t.t != BC_LEX_RBRACKET) { @@ -4337,13 +4364,13 @@ static BcStatus bc_parse_func(BcParse *p) goto err; } - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; } comma = p->l.t.t == BC_LEX_COMMA; if (comma) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; } @@ -4356,7 +4383,7 @@ static BcStatus bc_parse_func(BcParse *p) flags = BC_PARSE_FLAG_FUNC | BC_PARSE_FLAG_FUNC_INNER | BC_PARSE_FLAG_BODY; bc_parse_startBody(p, flags); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_LBRACE) @@ -4376,7 +4403,7 @@ static BcStatus bc_parse_auto(BcParse *p) char *name; if (!p->auto_part) return bc_error_bad_token(); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; p->auto_part = comma = false; @@ -4385,13 +4412,13 @@ static BcStatus bc_parse_auto(BcParse *p) while (p->l.t.t == BC_LEX_NAME) { name = xstrdup(p->l.t.v.v); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; var = p->l.t.t != BC_LEX_LBRACKET; if (!var) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; if (p->l.t.t != BC_LEX_RBRACKET) { @@ -4399,13 +4426,13 @@ static BcStatus bc_parse_auto(BcParse *p) goto err; } - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; } comma = p->l.t.t == BC_LEX_COMMA; if (comma) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) goto err; } @@ -4419,7 +4446,7 @@ static BcStatus bc_parse_auto(BcParse *p) if (p->l.t.t != BC_LEX_NLINE && p->l.t.t != BC_LEX_SCOLON) return bc_error_bad_token(); - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); err: free(name); @@ -4443,7 +4470,7 @@ static BcStatus bc_parse_body(BcParse *p, bool brace) if (s) return s; } - if (p->l.t.t == BC_LEX_NLINE) s = bc_lex_next(&p->l); + if (p->l.t.t == BC_LEX_NLINE) s = zbc_lex_next(&p->l); } else { s = bc_parse_stmt(p); @@ -4461,7 +4488,7 @@ static BcStatus bc_parse_stmt(BcParse *p) case BC_LEX_NLINE: { - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } case BC_LEX_KEY_ELSE: @@ -4475,7 +4502,7 @@ static BcStatus bc_parse_stmt(BcParse *p) if (!BC_PARSE_BODY(p)) return bc_error_bad_token(); ++p->nbraces; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; return bc_parse_body(p, true); @@ -4524,13 +4551,13 @@ static BcStatus bc_parse_stmt(BcParse *p) case BC_LEX_KEY_ELSE: { - s = bc_parse_else(p); + s = zbc_parse_else(p); break; } case BC_LEX_SCOLON: { - while (!s && p->l.t.t == BC_LEX_SCOLON) s = bc_lex_next(&p->l); + while (!s && p->l.t.t == BC_LEX_SCOLON) s = zbc_lex_next(&p->l); break; } @@ -4562,7 +4589,7 @@ static BcStatus bc_parse_stmt(BcParse *p) case BC_LEX_KEY_HALT: { bc_parse_push(p, BC_INST_HALT); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); break; } @@ -4576,7 +4603,7 @@ static BcStatus bc_parse_stmt(BcParse *p) { // "limits" is a compile-time command, // the output is produced at _parse time_. - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; printf( "BC_BASE_MAX = "BC_MAX_OBASE_STR "\n" @@ -4726,7 +4753,7 @@ static BcStatus bc_parse_expr_empty_ok(BcParse *p, uint8_t flags, BcParseNext ne nrelops += t >= BC_LEX_OP_REL_EQ && t <= BC_LEX_OP_REL_GT; prev = BC_PARSE_TOKEN_INST(t); - s = bc_parse_operator(p, t, ops_bgn, &nexprs, true); + s = zbc_parse_operator(p, t, ops_bgn, &nexprs, true); rprn = get_token = false; bin_last = t != BC_LEX_OP_BOOL_NOT; @@ -4763,7 +4790,7 @@ static BcStatus bc_parse_expr_empty_ok(BcParse *p, uint8_t flags, BcParseNext ne paren_expr = rprn = true; get_token = bin_last = false; - s = bc_parse_rightParen(p, ops_bgn, &nexprs); + s = zbc_parse_rightParen(p, ops_bgn, &nexprs); break; } @@ -4857,7 +4884,7 @@ static BcStatus bc_parse_expr_empty_ok(BcParse *p, uint8_t flags, BcParseNext ne } } - if (!s && get_token) s = bc_lex_next(&p->l); + if (!s && get_token) s = zbc_lex_next(&p->l); } if (s) return s; @@ -4920,7 +4947,7 @@ static BcStatus bc_parse_expr(BcParse *p, uint8_t flags, BcParseNext next) static void bc_parse_init(BcParse *p, size_t func) { - bc_parse_create(p, func, bc_parse_parse, bc_lex_token); + bc_parse_create(p, func, bc_parse_parse, zbc_lex_token); } static BcStatus bc_parse_expression(BcParse *p, uint8_t flags) @@ -4939,7 +4966,7 @@ static BcStatus dc_parse_register(BcParse *p) BcStatus s; char *name; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_NAME) return bc_error_bad_token(); @@ -4949,7 +4976,7 @@ static BcStatus dc_parse_register(BcParse *p) return s; } -static BcStatus dc_parse_string(BcParse *p) +static BC_STATUS zdc_parse_string(BcParse *p) { char *str, *name, b[DC_PARSE_BUF_LEN + 1]; size_t idx, len = G.prog.strs.len; @@ -4963,8 +4990,11 @@ static BcStatus dc_parse_string(BcParse *p) bc_vec_push(&G.prog.strs, &str); bc_parse_addFunc(p, name, &idx); - return bc_lex_next(&p->l); + RETURN_STATUS(zbc_lex_next(&p->l)); } +#if ERRORS_ARE_FATAL +# define zdc_parse_string(...) (zdc_parse_string(__VA_ARGS__), BC_STATUS_SUCCESS) +#endif static BcStatus dc_parse_mem(BcParse *p, uint8_t inst, bool name, bool store) { @@ -4982,7 +5012,7 @@ static BcStatus dc_parse_mem(BcParse *p, uint8_t inst, bool name, bool store) bc_parse_push(p, BC_INST_POP); } - return bc_lex_next(&p->l); + return zbc_lex_next(&p->l); } static BcStatus dc_parse_cond(BcParse *p, uint8_t inst) @@ -4995,13 +5025,13 @@ static BcStatus dc_parse_cond(BcParse *p, uint8_t inst) s = dc_parse_register(p); if (s) return s; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t == BC_LEX_ELSE) { s = dc_parse_register(p); if (s) return s; - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); } else bc_parse_push(p, BC_PARSE_STREND); @@ -5038,7 +5068,7 @@ static BcStatus dc_parse_token(BcParse *p, BcLexType t, uint8_t flags) case BC_LEX_STR: { - s = dc_parse_string(p); + s = zdc_parse_string(p); break; } @@ -5046,7 +5076,7 @@ static BcStatus dc_parse_token(BcParse *p, BcLexType t, uint8_t flags) case BC_LEX_NUMBER: { if (t == BC_LEX_NEG) { - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); if (s) return s; if (p->l.t.t != BC_LEX_NUMBER) return bc_error_bad_token(); @@ -5104,7 +5134,7 @@ static BcStatus dc_parse_token(BcParse *p, BcLexType t, uint8_t flags) } } - if (!s && get_token) s = bc_lex_next(&p->l); + if (!s && get_token) s = zbc_lex_next(&p->l); return s; } @@ -5123,7 +5153,7 @@ static BcStatus dc_parse_expr(BcParse *p, uint8_t flags) if (inst != BC_INST_INVALID) { bc_parse_push(p, inst); - s = bc_lex_next(&p->l); + s = zbc_lex_next(&p->l); } else s = dc_parse_token(p, t, flags); @@ -5154,7 +5184,7 @@ static FAST_FUNC BcStatus dc_parse_parse(BcParse *p) static void dc_parse_init(BcParse *p, size_t func) { - bc_parse_create(p, func, dc_parse_parse, dc_lex_token); + bc_parse_create(p, func, dc_parse_parse, zdc_lex_token); } #endif // ENABLE_DC -- cgit v1.2.3