shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 03:51:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

- --safe=no disabled compile-time errors on compile-time known runtime @require checks #2936

Browse Source
This commit is contained in:
Christoffer Lerno
2026-02-13 16:34:45 +01:00
parent 27ceded331
commit cc6d552e3d
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
releasenotes.md
View File

@@ -35,6 +35,7 @@
- Using [] or .foo on $$ functions would not raise error but instead crash - Using [] or .foo on $$ functions would not raise error but instead crash
- Improved underlining errors/warnings when unicode is used. #2887 - Improved underlining errors/warnings when unicode is used. #2887
- Fix std::io::Formatter integer issue for large uint128 decimal values. - Fix std::io::Formatter integer issue for large uint128 decimal values.
- `--safe=no` disabled compile-time errors on compile-time known runtime @require checks #2936
## 0.7.9 Change list ## 0.7.9 Change list

11
src/compiler/sema_expr.c
View File

@@ -2620,7 +2620,8 @@ static inline bool sema_call_analyse_func_invocation(SemaContext *context, Decl
docs = decl->func_decl.docs; docs = decl->func_decl.docs;
} }
if (!safe_mode_enabled() || !sema_has_require(docs)) goto SKIP_CONTRACTS; if (!sema_has_require(docs)) goto SKIP_CONTRACTS;
bool is_safe = safe_mode_enabled();
SemaContext temp_context; SemaContext temp_context;
bool success = false; bool success = false;
if (!sema_expr_setup_call_analysis(context, &callee, &temp_context, if (!sema_expr_setup_call_analysis(context, &callee, &temp_context,
@@ -2651,7 +2652,7 @@ static inline bool sema_call_analyse_func_invocation(SemaContext *context, Decl
compound_init->expr_compound_literal.type_info = type_info_new_base(param->type, param->span); compound_init->expr_compound_literal.type_info = type_info_new_base(param->type, param->span);
if (!sema_analyse_expr_rvalue(context, compound_init)) goto END_CONTRACT; if (!sema_analyse_expr_rvalue(context, compound_init)) goto END_CONTRACT;
arg = compound_init; arg = compound_init;
expr->call_expr.va_is_splat = true; if (is_safe) expr->call_expr.va_is_splat = true;
} }
} }
Decl *new_param = decl_new_generated_var(arg->type, VARDECL_LOCAL, expr->span); Decl *new_param = decl_new_generated_var(arg->type, VARDECL_LOCAL, expr->span);
@@ -2668,10 +2669,10 @@ static inline bool sema_call_analyse_func_invocation(SemaContext *context, Decl
} }
if (i == sig->vararg_index) if (i == sig->vararg_index)
{ {
expr->call_expr.vasplat = new_arg; if (is_safe) expr->call_expr.vasplat = new_arg;
continue; continue;
} }
expr->call_expr.arguments[i] = new_arg; if (is_safe) expr->call_expr.arguments[i] = new_arg;
} }
AstId assert_first = 0; AstId assert_first = 0;
@@ -2679,6 +2680,8 @@ static inline bool sema_call_analyse_func_invocation(SemaContext *context, Decl
if (!sema_analyse_contracts(&temp_context, docs, &next, expr->span, NULL)) return false; if (!sema_analyse_contracts(&temp_context, docs, &next, expr->span, NULL)) return false;
if (!is_safe) goto SKIP_CONTRACTS;
expr->call_expr.function_contracts = assert_first; expr->call_expr.function_contracts = assert_first;
success = true; success = true;