From 3d68fc25057d65522a8f9799b440bc49f695d6d8 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 2 Nov 2012 10:29:11 -0600
Subject: [PATCH] fix allocation of bytecode-validation stack overflow

---
 src/racket/src/validate.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/racket/src/validate.c b/src/racket/src/validate.c
index 964033c723..ed8fe61150 100644
--- a/src/racket/src/validate.c
+++ b/src/racket/src/validate.c
@@ -1212,7 +1212,7 @@ static int validate_expr(Mz_CPort *port, Scheme_Object *expr,
       *_2st_ht = *_st_ht;
     }
     
-    args = MALLOC_N_ATOMIC(int, 11);
+    args = MALLOC_N_ATOMIC(int, 12);
 
     p->ku.k.p1 = (void *)port;
     p->ku.k.p2 = (void *)expr;
@@ -1232,7 +1232,7 @@ static int validate_expr(Mz_CPort *port, Scheme_Object *expr,
     args[10] = tl_timestamp;
     args[11] = expected_results;
 
-    pr = MALLOC_N(void*, 6);
+    pr = MALLOC_N(void*, 7);
     pr[0] = (void *)args;
     pr[1] = (void *)app_rator;
     pr[2] = (void *)tls;