Initialise error while opening a directory.
On at least some machines, the field error of DirInfo isn't actually automatically initialised as zero; this is enforced in this commit.
commitf9f05c9f337f7f8101dd0c8ff158174d40bd0cb9
authorjinbijin <35583057+jinbijin@users.noreply.github.com>
dateMon 25 Feb 2019, 18:07 (8 years ago)
parent120e37d
rts/idris_stdfgn.c+1
@@ -108,6 +108,7 @@ void* idris_dirOpen(char* dname) {
108108 } else {
109109 DirInfo* di = malloc(sizeof(DirInfo));
110110 di->dirptr = d;
111+ di->error = 0;
111112
112113 return (void*)di;
113114 }