Merge branch 'feature/basile/variadic-monomorph' into 'master'
[variadic] Monomorphise the call to a variadic function even in case of errors See merge request frama-c/frama-c!3256
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c 1 addition, 15 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c
- src/plugins/variadic/standard.ml 85 additions, 14 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/erroneous/oracle/exec.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/erroneous/oracle/exec.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/printf.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/erroneous/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/exec.res.oracle 19 additions, 8 deletionssrc/plugins/variadic/tests/known/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/fcntl.res.oracle 18 additions, 16 deletionssrc/plugins/variadic/tests/known/oracle/fcntl.res.oracle
- src/plugins/variadic/tests/known/oracle/open.res.oracle 14 additions, 17 deletionssrc/plugins/variadic/tests/known/oracle/open.res.oracle
- src/plugins/variadic/tests/known/oracle/open_wrong.res.oracle 10 additions, 7 deletions...plugins/variadic/tests/known/oracle/open_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/openat.res.oracle 11 additions, 7 deletionssrc/plugins/variadic/tests/known/oracle/openat.res.oracle
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 16 additions, 11 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 8 additions, 8 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 34 additions, 42 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 30 additions, 26 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/variadic/translate.ml 14 additions, 15 deletionssrc/plugins/variadic/translate.ml
Loading
Please register or sign in to comment