Merge branch 'feature/andre/normalize-restrict' into 'master'
[Kernel] normalize restrict attribute to __restrict Closes #587 See merge request frama-c/frama-c!2099
Showing
- ptests/ptests.ml 2 additions, 1 deletionptests/ptests.ml
- share/libc/features.h 2 additions, 15 deletionsshare/libc/features.h
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/plugins/variadic/tests/known/oracle/print_libc.pretty.c 2 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/print_libc.pretty.c
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 36 additions, 29 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 2 additions, 2 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 5 additions, 5 deletions...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 30 additions, 30 deletions...variadic/tests/known/oracle/printf_wrong_types.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf.res.oracle 2 additions, 1 deletionsrc/plugins/variadic/tests/known/oracle/scanf.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_loop.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/known/oracle/scanf_loop.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_wrong.res.oracle 2 additions, 1 deletion...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 4 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 11 additions, 9 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 6 additions, 5 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- tests/libc/inttypes_h.c 8 additions, 8 deletionstests/libc/inttypes_h.c
- tests/libc/oracle/fc_libc.1.res.oracle 88 additions, 54 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/inttypes_h.0.res.oracle 168 additions, 170 deletionstests/libc/oracle/inttypes_h.0.res.oracle
- tests/libc/oracle/inttypes_h.1.res.oracle 168 additions, 170 deletionstests/libc/oracle/inttypes_h.1.res.oracle
- tests/libc/oracle/inttypes_h.2.res.oracle 168 additions, 170 deletionstests/libc/oracle/inttypes_h.2.res.oracle
- tests/libc/oracle/inttypes_h.3.res.oracle 168 additions, 170 deletionstests/libc/oracle/inttypes_h.3.res.oracle
Loading
Please register or sign in to comment