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

Another validation check.

Browse Source 
Fixes bug caught by fuzz testing.
This commit is contained in:
Sam Tobin-Hochstadt 2015-10-19 16:03:25 -04:00
parent d00401ccc1
commit 9d909d6834
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1147,6 +1147,9 @@ static void module_validate(Scheme_Object *data, Mz_CPort *port,
if (m->phaseless && m->prefix->num_stxes)
scheme_ill_formed_code(port);
if (m->max_let_depth < 0)
scheme_ill_formed_code(port);
validate_toplevel(m->dummy, port, stack, tls, depth, delta,
num_toplevels, num_stxes, num_lifts, tl_use_map,
tl_state, tl_timestamp,