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

fix allocation bug in equal? on deeply nested values

Browse Source 
Based on the core file, this bug seems likely responsible for the
`raco setup` crash on DrDr for push 29346.

Merge to v6.1.1
This commit is contained in:
Matthew Flatt 2014-10-10 08:14:07 -06:00
parent bd29411579
commit 7e984c6009
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
racket/src/racket/src/bool.c
View File

@ -52,13 +52,14 @@ static Scheme_Object *chaperone_of (int argc, Scheme_Object *argv[]);
static Scheme_Object *impersonator_of (int argc, Scheme_Object *argv[]);
typedef struct Equal_Info {
/* All pointers, 0, or odd numbers, because it's allocated with scheme_malloc(): */
intptr_t depth; /* always odd, so it looks like a fixnum */
intptr_t car_depth; /* always odd => fixnum */
Scheme_Hash_Table *ht;
Scheme_Object *recur;
Scheme_Object *next, *next_next;
Scheme_Object *insp;
int for_chaperone; /* 2 => for impersonator */
intptr_t for_chaperone; /* 3 => for impersonator */
} Equal_Info;
static int is_equal (Scheme_Object *obj1, Scheme_Object *obj2, Equal_Info *eql);
@ -978,7 +979,7 @@ int scheme_impersonator_of(Scheme_Object *obj1, Scheme_Object *obj2)
eql.next = NULL;
eql.next_next = NULL;
eql.insp = NULL;
eql.for_chaperone = 2;
eql.for_chaperone = 3;
return is_equal(obj1, obj2, &eql);
}