src/kernel_internals/parsing/errorloc.ml

src/kernel_internals/parsing/errorloc.mli

src/kernel_internals/typing/cabs2cil.ml

src/plugins/aorai/utils_parser.ml

src/plugins/aorai/utils_parser.mli

tests/misc/oracle/bts0451.res.oracle

tests/syntax/localisation_error.i

tests/syntax/oracle/arg_type.res.oracle

tests/syntax/oracle/binary_op.0.res.oracle

tests/syntax/oracle/binary_op.1.res.oracle

tests/syntax/oracle/cert_msc_38.0.res.oracle

tests/syntax/oracle/cert_msc_38.3.res.oracle

tests/syntax/oracle/cert_msc_38.4.res.oracle

tests/syntax/oracle/cert_msc_38.5.res.oracle

tests/syntax/oracle/cert_msc_38.6.res.oracle

tests/syntax/oracle/const-assignments.1.res.oracle

tests/syntax/oracle/const-assignments.2.res.oracle

tests/syntax/oracle/const-assignments.3.res.oracle

tests/syntax/oracle/const-assignments.4.res.oracle

tests/syntax/oracle/const-assignments.5.res.oracle