Hi Jiri, the attached patch exhibits the problem. The error message is:
<uspace/lib/c/include/time.h:109:30:space>: Unexpected whitespace after '*'. <uspace/lib/c/include/time.h:109:65:space>: Unexpected whitespace after '*'. <uspace/lib/c/include/time.h:110:22:space>: Unexpected whitespace after '*'. Cheers, Jakub On 09/11/2018 03:29 PM, Jiri Svoboda wrote: > Hi Jakub, > > I recall you mentioned having a problem with ccheck and (some form of) > restrict qualifier? What was the problem? Can you give me the exact code > snipped that caused the issue? What was the expected result as opposed > to the actual result? You could also submit it as an Issue on GitHub (I > enabled issue tracking for Sycek). > > Thanks, > Jiri
diff --git a/uspace/lib/c/include/time.h b/uspace/lib/c/include/time.h index 9f38e5faa..05a921273 100644 --- a/uspace/lib/c/include/time.h +++ b/uspace/lib/c/include/time.h @@ -106,7 +106,8 @@ extern struct tm *gmtime(const time_t *); extern struct tm *localtime(const time_t *); /* ISO/IEC 9899:2011 7.27.3.5 (1) */ -extern size_t strftime(char *, size_t, const char *, const struct tm *); +extern size_t strftime(char * __restrict__, size_t, const char * __restrict__, + const struct tm * __restrict__); #ifdef _HELENOS_SOURCE
_______________________________________________ HelenOS-devel mailing list HelenOS-devel@lists.modry.cz http://lists.modry.cz/listinfo/helenos-devel