diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

check for very long wchar_t strings when scanning (obs from Jan Wielemaker).

Browse Source
This commit is contained in:
Costa Vitor 2009-07-15 14:26:56 -05:00
parent a1775fb031
commit 8569aacfe5
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
C/scanner.c
View File

@ -1003,7 +1003,11 @@ Yap_tokenizer(int inp_stream, Term *tposp)
wcharp = NULL; wcharp = NULL;
while (TRUE) { while (TRUE) {
if (charp + 1024 > (char *)AuxSp) { if (wcharp && wcharp + 1024 > (wchar_t *)AuxSp) {
Yap_Error_TYPE = OUT_OF_AUXSPACE_ERROR;
Yap_ErrorMessage = "Heap Overflow While Scanning: please increase code space (-h)";
break;
} else if (charp + 1024 > (char *)AuxSp) {
Yap_Error_TYPE = OUT_OF_AUXSPACE_ERROR; Yap_Error_TYPE = OUT_OF_AUXSPACE_ERROR;
Yap_ErrorMessage = "Heap Overflow While Scanning: please increase code space (-h)"; Yap_ErrorMessage = "Heap Overflow While Scanning: please increase code space (-h)";
break; break;