diff options
Diffstat (limited to 'src/evaluate.c')
-rw-r--r-- | src/evaluate.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/evaluate.c b/src/evaluate.c index bf169321..6f90f54f 100644 --- a/src/evaluate.c +++ b/src/evaluate.c @@ -585,13 +585,19 @@ static int expr_evaluate_concat(struct eval_ctx *ctx, struct expr **expr) { const struct datatype *dtype = ctx->ectx.dtype, *tmp; unsigned int type = dtype ? dtype->type : 0; + int off = dtype ? dtype->size: 0; unsigned int flags = EXPR_F_CONSTANT | EXPR_F_SINGLETON; struct expr *i, *next; unsigned int n; n = 1; list_for_each_entry_safe(i, next, &(*expr)->expressions, list) { - tmp = datatype_lookup((type >> 8 * ((*expr)->size - n)) & 0xff); + if (dtype && off == 0) + return expr_binary_error(ctx, i, *expr, + "unexpected concat component, " + "expecting %s", + dtype->desc); + tmp = datatype_lookup((type >> 8 * --off) & 0xff); expr_set_context(&ctx->ectx, tmp, tmp->size); if (list_member_evaluate(ctx, &i) < 0) @@ -604,6 +610,12 @@ static int expr_evaluate_concat(struct eval_ctx *ctx, struct expr **expr) (*expr)->flags |= flags; (*expr)->dtype = concat_type_alloc(*expr); + if (off > 0) + return expr_error(ctx, *expr, + "datatype mismatch, expected %s, " + "expression has type %s", + dtype->desc, (*expr)->dtype->desc); + expr_set_context(&ctx->ectx, (*expr)->dtype, (*expr)->len); return 0; |