Merge branch 'feature/parser/errormsg' into 'master'
More accurate localisation in parsing/typing error messages See merge request frama-c/frama-c!4465
Showing
- src/kernel_internals/parsing/clexer.mll 28 additions, 21 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/parsing/cparser.mly 93 additions, 68 deletionssrc/kernel_internals/parsing/cparser.mly
- src/kernel_internals/parsing/errorloc.ml 43 additions, 37 deletionssrc/kernel_internals/parsing/errorloc.ml
- src/kernel_internals/parsing/errorloc.mli 15 additions, 10 deletionssrc/kernel_internals/parsing/errorloc.mli
- src/kernel_internals/typing/cabs2cil.ml 115 additions, 76 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/cil.ml
- src/plugins/aorai/utils_parser.ml 8 additions, 6 deletionssrc/plugins/aorai/utils_parser.ml
- src/plugins/aorai/utils_parser.mli 0 additions, 4 deletionssrc/plugins/aorai/utils_parser.mli
- tests/misc/oracle/bts0451.res.oracle 1 addition, 1 deletiontests/misc/oracle/bts0451.res.oracle
- tests/misc/oracle/pragma-pack.0.res.oracle 28 additions, 28 deletionstests/misc/oracle/pragma-pack.0.res.oracle
- tests/spec/oracle/unfinished-oneline-acsl-comment.res.oracle 1 addition, 1 deletiontests/spec/oracle/unfinished-oneline-acsl-comment.res.oracle
- tests/syntax/empty_base.c 0 additions, 0 deletionstests/syntax/empty_base.c
- tests/syntax/error_end_decl.i 13 additions, 0 deletionstests/syntax/error_end_decl.i
- tests/syntax/localisation_error.i 8 additions, 0 deletionstests/syntax/localisation_error.i
- tests/syntax/oracle/arg_type.res.oracle 1 addition, 1 deletiontests/syntax/oracle/arg_type.res.oracle
- tests/syntax/oracle/array_cast_bts1099.res.oracle 1 addition, 1 deletiontests/syntax/oracle/array_cast_bts1099.res.oracle
- tests/syntax/oracle/binary_op.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/binary_op.0.res.oracle
- tests/syntax/oracle/binary_op.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/binary_op.1.res.oracle
- tests/syntax/oracle/cert_msc_38.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/cert_msc_38.0.res.oracle
- tests/syntax/oracle/cert_msc_38.3.res.oracle 1 addition, 1 deletiontests/syntax/oracle/cert_msc_38.3.res.oracle
Loading
Please register or sign in to comment