Merge branch 'feature/blanchard/parsing_ghost_parameters' into 'master'
Handling of ghost parameters Closes #379 See merge request frama-c/frama-c!2150
Showing
- src/kernel_internals/parsing/cparser.mly 43 additions, 25 deletionssrc/kernel_internals/parsing/cparser.mly
- src/kernel_internals/typing/cabs2cil.ml 104 additions, 52 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/infer_annotations.ml 27 additions, 18 deletionssrc/kernel_internals/typing/infer_annotations.ml
- src/kernel_services/ast_printing/cabs_debug.ml 4 additions, 4 deletionssrc/kernel_services/ast_printing/cabs_debug.ml
- src/kernel_services/ast_printing/cil_printer.ml 47 additions, 5 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cprint.ml 7 additions, 7 deletionssrc/kernel_services/ast_printing/cprint.ml
- src/kernel_services/ast_queries/cil.ml 78 additions, 32 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 49 additions, 7 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/parsetree/cabs.ml 2 additions, 2 deletionssrc/kernel_services/parsetree/cabs.ml
- src/kernel_services/visitors/cabsvisit.ml 8 additions, 4 deletionssrc/kernel_services/visitors/cabsvisit.ml
- src/plugins/variadic/extends.ml 5 additions, 0 deletionssrc/plugins/variadic/extends.ml
- src/plugins/variadic/extends.mli 3 additions, 0 deletionssrc/plugins/variadic/extends.mli
- src/plugins/variadic/generic.ml 10 additions, 5 deletionssrc/plugins/variadic/generic.ml
- src/plugins/variadic/tests/declared/empty-vpar-with-ghost.i 10 additions, 0 deletionssrc/plugins/variadic/tests/declared/empty-vpar-with-ghost.i
- src/plugins/variadic/tests/declared/empty-vpar.i 0 additions, 0 deletionssrc/plugins/variadic/tests/declared/empty-vpar.i
- src/plugins/variadic/tests/declared/function-ptr-with-ghost.i 8 additions, 0 deletions...plugins/variadic/tests/declared/function-ptr-with-ghost.i
- src/plugins/variadic/tests/declared/label.i 0 additions, 0 deletionssrc/plugins/variadic/tests/declared/label.i
- src/plugins/variadic/tests/declared/multi.i 0 additions, 0 deletionssrc/plugins/variadic/tests/declared/multi.i
- src/plugins/variadic/tests/declared/no-va-with-ghost.i 5 additions, 0 deletionssrc/plugins/variadic/tests/declared/no-va-with-ghost.i
- src/plugins/variadic/tests/declared/no-va.i 0 additions, 0 deletionssrc/plugins/variadic/tests/declared/no-va.i
Loading
Please register or sign in to comment