Merge branch 'feature/andre/variadic-indirect-result' into 'master'
[Variadic] use indirect in assigns \result from to avoid garbled mix propagation See merge request frama-c/frama-c!2357
No related branches found
No related tags found
Showing
- src/plugins/variadic/standard.ml 23 additions, 7 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/known/oracle/print_libc.pretty.c 4 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/print_libc.pretty.c
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 60 additions, 55 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_garbled_mix.res.oracle 76 additions, 0 deletions...variadic/tests/known/oracle/printf_garbled_mix.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_redefined.res.oracle 2 additions, 1 deletion...s/variadic/tests/known/oracle/printf_redefined.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 5 additions, 4 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 10 additions, 7 deletions...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 64 additions, 64 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 2 additions, 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 14 additions, 10 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 4 additions, 2 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/variadic/tests/known/oracle/swprintf.res.oracle 4 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/swprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/wchar.res.oracle 24 additions, 16 deletionssrc/plugins/variadic/tests/known/oracle/wchar.res.oracle
- src/plugins/variadic/tests/known/printf_garbled_mix.c 10 additions, 0 deletionssrc/plugins/variadic/tests/known/printf_garbled_mix.c
- tests/idct/oracle/ieee_1180_1990.res.oracle 2 additions, 2 deletionstests/idct/oracle/ieee_1180_1990.res.oracle
- tests/libc/oracle/inttypes_h.0.res.oracle 336 additions, 252 deletionstests/libc/oracle/inttypes_h.0.res.oracle
- tests/libc/oracle/inttypes_h.1.res.oracle 336 additions, 252 deletionstests/libc/oracle/inttypes_h.1.res.oracle
Loading
Please register or sign in to comment