git.iko.soy/Idris-dev
on master help sign in
Fix off-by-one error when reading strings
78b9234Edwin Brady
rts/idris_buffer.c+1−1
compare with master
unifiedsplit
@@ -87,7 +87,7 @@ VAL idris_getBufferString(void* buffer, int loc, int len) {
87 SETTY(cl, CT_STRING);
87 SETTY(cl, CT_STRING);
88 cl->info.str.str = (char*)cl + sizeof(Closure);
88 cl->info.str.str = (char*)cl + sizeof(Closure);
89
89
90− if (loc >= 0 && loc+len < b->size) {
90+ if (loc >= 0 && loc+len <= b->size) {
91 memcpy(cl->info.str.str, (b->data)+loc, len);
91 memcpy(cl->info.str.str, (b->data)+loc, len);
92 cl->info.str.str[len]='\0';
92 cl->info.str.str[len]='\0';
93 cl->info.str.len = len;
93 cl->info.str.len = len;