[ghost] Kernel now parses the \ghost keyword
Showing
- src/kernel_internals/parsing/clexer.mll 10 additions, 0 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/parsing/cparser.mly 13 additions, 2 deletionssrc/kernel_internals/parsing/cparser.mly
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 0 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cabs_debug.ml 1 addition, 0 deletionssrc/kernel_services/ast_printing/cabs_debug.ml
- src/kernel_services/ast_printing/cil_printer.ml 1 addition, 0 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cprint.ml 1 addition, 0 deletionssrc/kernel_services/ast_printing/cprint.ml
- src/kernel_services/parsetree/cabs.ml 4 additions, 4 deletionssrc/kernel_services/parsetree/cabs.ml
- tests/syntax/oracle/ghost_cv_parsing_errors.0.res.oracle 2 additions, 0 deletionstests/syntax/oracle/ghost_cv_parsing_errors.0.res.oracle
- tests/syntax/oracle/ghost_cv_parsing_errors.1.res.oracle 2 additions, 0 deletionstests/syntax/oracle/ghost_cv_parsing_errors.1.res.oracle
- tests/syntax/oracle/ghost_cv_parsing_errors.2.res.oracle 2 additions, 0 deletionstests/syntax/oracle/ghost_cv_parsing_errors.2.res.oracle
Loading
Please register or sign in to comment