diff options
| author | gingerBill <bill@gingerbill.org> | 2023-09-30 18:29:18 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-09-30 18:29:18 +0100 |
| commit | 1f643b5816c4594ab39436a715897756aaa30871 (patch) | |
| tree | 3424835c85feda33dec09f656b4ff635349594e1 /src/check_expr.cpp | |
| parent | 14adcb9db89f4a668210a56d909cdca96088aae2 (diff) | |
Remove `-vet-extra`
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 1401793a5..2ee761b9c 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -3102,14 +3102,6 @@ gb_internal void check_cast(CheckerContext *c, Operand *x, Type *type) { update_untyped_expr_type(c, x->expr, final_type, true); } - if (check_vet_flags(x->expr) & VetFlag_Extra) { - if (are_types_identical(x->type, type)) { - gbString str = type_to_string(type); - warning(x->expr, "Unneeded cast to the same type '%s'", str); - gb_string_free(str); - } - } - x->type = type; } @@ -3174,14 +3166,6 @@ gb_internal bool check_transmute(CheckerContext *c, Ast *node, Operand *o, Type return false; } - if (check_vet_flags(node) & VetFlag_Extra) { - if (are_types_identical(o->type, dst_t)) { - gbString str = type_to_string(dst_t); - warning(o->expr, "Unneeded transmute to the same type '%s'", str); - gb_string_free(str); - } - } - o->expr = node; o->type = dst_t; if (o->mode == Addressing_Constant) { @@ -10124,14 +10108,7 @@ gb_internal ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast return kind; } if (type_hint) { - Type *type = type_of_expr(ac->expr); check_cast(c, o, type_hint); - if (is_type_typed(type) && are_types_identical(type, type_hint)) { - if (check_vet_flags(node) & VetFlag_Extra) { - error(node, "Redundant 'auto_cast' applied to expression"); - } - } - } o->expr = node; return Expr_Expr; |