suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix bytecode validation bug

Browse Source 
Since the optimizer can lambda-lift a function and adds box arguments
(i.e., locations of mutable variables instead of values), then
the validator must check that calls and declarations are consistent.
But declaration-side information wasn't registered properly.
This commit is contained in:
Matthew Flatt 2012-07-15 08:32:33 -06:00
parent c747af21e3
commit 9b51973b79
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/racket/src/validate.c
View File

@ -242,14 +242,14 @@ static void define_values_validate(Scheme_Object *data, Mz_CPort *port,
if (SCHEME_CLOSURE_DATA_FLAGS(data) & CLOS_HAS_TYPED_ARGS) {
int sz;
sz = data->num_params;
a = MALLOC_N_ATOMIC(mzshort, (sz + 1));
a[0] = -sz;
new_a = MALLOC_N_ATOMIC(mzshort, (sz + 1));
new_a[0] = -sz;
for (i = 0; i < sz; i++) {
int bit = ((mzshort)1 << ((2 * i) & (BITS_PER_MZSHORT - 1)));
if (data->closure_map[data->closure_size + ((2 * i) / BITS_PER_MZSHORT)] & bit)
a[i + 1] = 1;
new_a[i + 1] = 1;
else
a[i + 1] = 0;
new_a[i + 1] = 0;
}
} else {
new_a = (mzshort *)0x1;