From 74ed779616aead2d9dc6f5123c59ad561b9d594e Mon Sep 17 00:00:00 2001 From: gingerBill Date: Wed, 5 Aug 2020 23:14:11 +0100 Subject: [PATCH] Fix #702 --- src/check_expr.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 0633b20ea..6279967ad 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -4783,6 +4783,11 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 } if (operand->mode == Addressing_Type) { + if (ce->args.count != 1) { + error(call, "If 'min' gets a type, only 1 arguments is allowed, got %td", ce->args.count); + return false; + } + if (is_type_boolean(type)) { operand->mode = Addressing_Constant; operand->type = original_type; @@ -4951,6 +4956,11 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 } if (operand->mode == Addressing_Type) { + if (ce->args.count != 1) { + error(call, "If 'max' gets a type, only 1 arguments is allowed, got %td", ce->args.count); + return false; + } + if (is_type_boolean(type)) { operand->mode = Addressing_Constant; operand->type = original_type;