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

Fix of contract error location for @require #788

Browse Source
This commit is contained in:
Christoffer Lerno
2023-06-20 21:35:48 +02:00
parent f9548cb213
commit 3dd1741484
3 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/compiler/sema_stmts.c
View File

@@ -47,7 +47,7 @@ static inline bool sema_check_value_case(SemaContext *context, Type *switch_type
static bool sema_analyse_switch_body(SemaContext *context, Ast *statement, SourceSpan expr_span, Type *switch_type, Ast **cases, ExprAnySwitch *any_switch, Decl *var_holder);
static inline bool sema_analyse_statement_inner(SemaContext *context, Ast *statement);
static bool sema_analyse_require(SemaContext *context, Ast *directive, AstId **asserts);
static bool sema_analyse_require(SemaContext *context, Ast *directive, AstId **asserts, SourceSpan source);
static bool sema_analyse_ensure(SemaContext *context, Ast *directive);
static bool sema_analyse_optional_returns(SemaContext *context, Ast *directive);
@@ -2787,9 +2787,9 @@ bool sema_analyse_statement(SemaContext *context, Ast *statement)
}
static bool sema_analyse_require(SemaContext *context, Ast *directive, AstId **asserts)
static bool sema_analyse_require(SemaContext *context, Ast *directive, AstId **asserts, SourceSpan span)
{
return assert_create_from_contract(context, directive, asserts, INVALID_SPAN);
return assert_create_from_contract(context, directive, asserts, span);
}
static bool sema_analyse_ensure(SemaContext *context, Ast *directive)
@@ -2893,7 +2893,7 @@ bool sema_analyse_contracts(SemaContext *context, AstId doc, AstId **asserts, So
case CONTRACT_PURE:
break;
case CONTRACT_REQUIRE:
if (!sema_analyse_require(context, directive, asserts)) return false;
if (!sema_analyse_require(context, directive, asserts, call_span)) return false;
break;
case CONTRACT_CHECKED:
if (!sema_analyse_checked(context, directive, call_span)) return false;

2
src/version.h
View File

@@ -1 +1 @@
#define COMPILER_VERSION "0.4.533"
#define COMPILER_VERSION "0.4.534"

6
test/test_suite/contracts/require_contract_loc.c3 Normal file
View File

@@ -0,0 +1,6 @@
import std::io;
fn void main()
{
int a;
bitorder::read(a, int); // #error: violated
}