Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

assertions fausses 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2002-02-21 15:05:26 +00:00
parent c11df14a4d
commit 30e7601af2
3 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
byterun/io.c
View File

@ -143,7 +143,7 @@ static int do_write(int fd, char *p, int n)
{
int retcode;
Assert(!Is_young(p));
Assert(!Is_young((value) p));
#ifdef HAS_UI
retcode = ui_write(fd, p, n);
#else
@ -258,7 +258,7 @@ CAMLexport int do_read(int fd, char *p, unsigned int n)
{
int retcode;
Assert(!Is_young(p));
Assert(!Is_young((value) p));
enter_blocking_section();
#ifdef HAS_UI
retcode = ui_read(fd, p, n);

1
byterun/major_gc.c
View File

@ -205,7 +205,6 @@ static void mark_slice (long work)
}
work -= Whsize_hd (hd);
}else{
Assert (weak_prev == NULL);
/* Subphase_weak is done. Handle finalised values. */
gray_vals_cur = gray_vals_ptr;
final_update ();

2
byterun/major_gc.h
View File

@ -57,7 +57,7 @@ extern char *gc_sweep_hp;
#define Not_in_heap 0
#define Page(p) ((unsigned long) (p) >> Page_log)
#define Is_in_heap(p) \
(Assert (Is_block (p)), \
(Assert (Is_block ((value) (p))), \
(addr)(p) >= (addr)heap_start && (addr)(p) < (addr)heap_end \
&& page_table [Page (p)])