Merge branch 'feature/andre/c11-generic' into 'master'
Add support for C11's _Generic See merge request frama-c/frama-c!4028
No related branches found
No related tags found
Showing
- src/kernel_internals/parsing/clexer.mll 8 additions, 2 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/parsing/cparser.mly 32 additions, 1 deletionsrc/kernel_internals/parsing/cparser.mly
- src/kernel_internals/typing/cabs2cil.ml 95 additions, 10 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cabs_debug.ml 13 additions, 0 deletionssrc/kernel_services/ast_printing/cabs_debug.ml
- src/kernel_services/ast_printing/cprint.ml 10 additions, 0 deletionssrc/kernel_services/ast_printing/cprint.ml
- src/kernel_services/ast_queries/cil.ml 39 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 12 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/parsetree/cabs.ml 1 addition, 0 deletionssrc/kernel_services/parsetree/cabs.ml
- src/kernel_services/visitors/cabsvisit.ml 6 additions, 0 deletionssrc/kernel_services/visitors/cabsvisit.ml
- src/plugins/metrics/metrics_cabs.ml 2 additions, 1 deletionsrc/plugins/metrics/metrics_cabs.ml
- tests/syntax/c11-keywords.c 0 additions, 5 deletionstests/syntax/c11-keywords.c
- tests/syntax/generic.c 75 additions, 0 deletionstests/syntax/generic.c
- tests/syntax/oracle/c11-keywords.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/c11-keywords.0.res.oracle
- tests/syntax/oracle/c11-keywords.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/c11-keywords.1.res.oracle
- tests/syntax/oracle/c11-keywords.2.res.oracle 1 addition, 1 deletiontests/syntax/oracle/c11-keywords.2.res.oracle
- tests/syntax/oracle/c11-keywords.3.res.oracle 1 addition, 1 deletiontests/syntax/oracle/c11-keywords.3.res.oracle
- tests/syntax/oracle/c11-keywords.4.res.oracle 0 additions, 6 deletionstests/syntax/oracle/c11-keywords.4.res.oracle
- tests/syntax/oracle/generic.0.res.oracle 13 additions, 0 deletionstests/syntax/oracle/generic.0.res.oracle
- tests/syntax/oracle/generic.1.res.oracle 11 additions, 0 deletionstests/syntax/oracle/generic.1.res.oracle
- tests/syntax/oracle/generic.2.res.oracle 6 additions, 0 deletionstests/syntax/oracle/generic.2.res.oracle
Loading
Please register or sign in to comment