Merge branch 'fix/variadic/printf-aonymous-parameter' into 'master'
[Variadic] Fix a bug where a specification were generated for a variable without a name Closes #1060 See merge request frama-c/frama-c!3277
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 13 additions, 3 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/mergecil.ml 1 addition, 10 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/ast_printing/cil_printer.ml 9 additions, 2 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_queries/cil.ml 22 additions, 3 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 11 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/filecheck.ml 5 additions, 0 deletionssrc/kernel_services/ast_queries/filecheck.ml
- src/kernel_services/ast_transformations/filter.ml 5 additions, 0 deletionssrc/kernel_services/ast_transformations/filter.ml
- src/plugins/variadic/standard.ml 12 additions, 3 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle 1 addition, 1 deletion...ic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/empty-vpar.res.oracle 1 addition, 1 deletion...gins/variadic/tests/declared/oracle/empty-vpar.res.oracle
- src/plugins/variadic/tests/declared/oracle/label.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/label.res.oracle
- src/plugins/variadic/tests/declared/oracle/multi.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/declared/oracle/multi.res.oracle
- src/plugins/variadic/tests/declared/oracle/redefine_anonymous_parameters.res.oracle 26 additions, 0 deletions.../declared/oracle/redefine_anonymous_parameters.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple-with-ghost.res.oracle 2 additions, 2 deletions...riadic/tests/declared/oracle/simple-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/declared/oracle/simple.res.oracle
- src/plugins/variadic/tests/declared/redefine_anonymous_parameters.i 5 additions, 0 deletions...s/variadic/tests/declared/redefine_anonymous_parameters.i
- tests/libc/oracle/fc_libc.1.res.oracle 7 additions, 7 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/slicing/oracle/unravel-point.0.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.0.res.oracle
- tests/slicing/oracle/unravel-point.1.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.1.res.oracle
- tests/slicing/oracle/unravel-point.2.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.2.res.oracle
Loading
Please register or sign in to comment