diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-07 15:52:58 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-07 15:52:58 +0000 |
commit | a74f6b45d72834b5b8417297017bd81424123d98 (patch) | |
tree | d291cf3f05397658f0fe9d8ecce9b8785a50d270 /runtime | |
parent | 54cba6d4cae1538887f296a62be1c99378fe0916 (diff) | |
download | compcert-a74f6b45d72834b5b8417297017bd81424123d98.tar.gz compcert-a74f6b45d72834b5b8417297017bd81424123d98.zip |
Merge of the newmem and newextcalls branches:
- Revised memory model with concrete representation of ints & floats,
and per-byte access permissions
- Revised Globalenvs implementation
- Matching changes in all languages and proofs.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1282 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/stdio.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/runtime/stdio.h b/runtime/stdio.h index de573a33..9aa3ae17 100644 --- a/runtime/stdio.h +++ b/runtime/stdio.h @@ -58,22 +58,39 @@ extern int compcert_ungetc(int, compcert_FILE *); #define stdout compcert_stdout #undef stderr #define stderr compcert_stderr +#undef clearerr #define clearerr compcert_clearerr +#undef fclose #define fclose compcert_fclose +#undef feof #define feof compcert_feof +#undef ferror #define ferror compcert_ferror +#undef fflush #define fflush compcert_fflush +#undef fgetc #define fgetc compcert_fgetc +#undef fgets #define fgets compcert_fgets +#undef fopen #define fopen compcert_fopen +#undef fprintf #define fprintf compcert_fprintf +#undef fputc #define fputc compcert_fputc +#undef fputs #define fputs compcert_fputs +#undef fread #define fread compcert_fread +#undef freopen #define freopen compcert_freopen +#undef fscanf #define fscanf compcert_fscanf +#undef fseek #define fseek compcert_fseek +#undef ftell #define ftell compcert_ftell +#undef fwrite #define fwrite compcert_fwrite #undef getc #define getc compcert_getc @@ -83,7 +100,9 @@ extern int compcert_ungetc(int, compcert_FILE *); #define putc compcert_putc #undef putchar #define putchar(c) compcert_putc(c, compcert_stdout) +#undef rewind #define rewind compcert_rewind +#undef ungetc #define ungetc compcert_ungetc #endif |