From 9d909d683416a904014763872f344d3b05a39e38 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 19 Oct 2015 16:03:25 -0400 Subject: [PATCH] Another validation check. Fixes bug caught by fuzz testing. --- racket/src/racket/src/validate.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/racket/src/racket/src/validate.c b/racket/src/racket/src/validate.c index 90e2806796..e6b7640c89 100644 --- a/racket/src/racket/src/validate.c +++ b/racket/src/racket/src/validate.c @@ -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,