X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fassert_stmt.c;h=7b860d99d46aa161c92661817f2ab117b79405fe;hp=ba86758d70254cc18c32b826d0b38e0b11cc93f3;hb=02e801eabbe26a129ea05e6723c94e10bb653dab;hpb=6509a2053456d0e63b6f383b757289d3016ed1a5 diff --git a/src/types/assert_stmt.c b/src/types/assert_stmt.c index ba86758..7b860d9 100644 --- a/src/types/assert_stmt.c +++ b/src/types/assert_stmt.c @@ -68,14 +68,14 @@ bool psi_assert_stmt_exec(struct psi_assert_stmt *stmt, struct psi_call_frame *f return chk.u8; } -bool psi_assert_stmts_validate(struct psi_data *data, struct psi_impl *impl) +bool psi_assert_stmts_validate(struct psi_data *data, struct psi_validate_scope *scope) { size_t i = 0; struct psi_assert_stmt *ass; /* we can have multiple assert stmts */ - while (psi_plist_get(impl->stmts.ass, i++, &ass)) { - if (!psi_num_exp_validate(data, ass->exp, impl, NULL, NULL, NULL, NULL)) { + while (psi_plist_get(scope->impl->stmts.ass, i++, &ass)) { + if (!psi_num_exp_validate(data, ass->exp, scope)) { return false; } }