Merge branch 'feature/andre/libc-langinfo-and-non-posix' into 'master'
[Libc] add langinfo.h; add definitions to improve non-POSIX compatibility See merge request frama-c/frama-c!3322
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/libc/__fc_define_locale_t.h 36 additions, 0 deletionsshare/libc/__fc_define_locale_t.h
- share/libc/__fc_libc.h 1 addition, 0 deletionsshare/libc/__fc_libc.h
- share/libc/fcntl.h 3 additions, 0 deletionsshare/libc/fcntl.h
- share/libc/langinfo.h 163 additions, 0 deletionsshare/libc/langinfo.h
- share/libc/locale.h 6 additions, 1 deletionshare/libc/locale.h
- share/libc/regex.h 17 additions, 3 deletionsshare/libc/regex.h
- share/libc/stdlib.c 5 additions, 0 deletionsshare/libc/stdlib.c
- share/libc/stdlib.h 9 additions, 0 deletionsshare/libc/stdlib.h
- share/libc/sys/stat.h 15 additions, 0 deletionsshare/libc/sys/stat.h
- share/libc/sys/types.h 6 additions, 4 deletionsshare/libc/sys/types.h
- share/libc/sys/wait.h 3 additions, 0 deletionsshare/libc/sys/wait.h
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
Loading
Please register or sign in to comment