fix bad overflow handling in peek_memory_stream (obs from Jos De Roo).
This commit is contained in:
parent
12b8acfa20
commit
c8479541bb
@ -3401,7 +3401,7 @@ p_peek_mem_write_stream (void)
|
|||||||
Yap_Error(OUT_OF_STACK_ERROR, TermNil, Yap_ErrorMessage);
|
Yap_Error(OUT_OF_STACK_ERROR, TermNil, Yap_ErrorMessage);
|
||||||
return(FALSE);
|
return(FALSE);
|
||||||
}
|
}
|
||||||
i = 0;
|
i = Stream[sno].u.mem_string.pos;
|
||||||
tf = ARG2;
|
tf = ARG2;
|
||||||
LOCK(Stream[sno].streamlock);
|
LOCK(Stream[sno].streamlock);
|
||||||
goto restart;
|
goto restart;
|
||||||
|
Reference in New Issue
Block a user