[kernel] Removes cdefined compinfo field
Showing
- .Makefile.lint 0 additions, 2 deletions.Makefile.lint
- src/kernel_internals/typing/cabs2cil.ml 6 additions, 4 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/analysis/exn_flow.ml 2 additions, 2 deletionssrc/kernel_services/analysis/exn_flow.ml
- src/kernel_services/ast_data/cil_types.mli 7 additions, 7 deletionssrc/kernel_services/ast_data/cil_types.mli
- src/kernel_services/ast_printing/cil_types_debug.ml 0 additions, 2 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_queries/cil.ml 11 additions, 8 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_const.ml 35 additions, 36 deletionssrc/kernel_services/ast_queries/cil_const.ml
- src/kernel_services/ast_queries/cil_const.mli 23 additions, 21 deletionssrc/kernel_services/ast_queries/cil_const.mli
- src/kernel_services/ast_queries/cil_datatype.ml 0 additions, 1 deletionsrc/kernel_services/ast_queries/cil_datatype.ml
- src/plugins/rte/rte.ml 1 addition, 1 deletionsrc/plugins/rte/rte.ml
- src/plugins/value/domains/cvalue/cvalue_init.ml 1 addition, 2 deletionssrc/plugins/value/domains/cvalue/cvalue_init.ml
Loading
Please register or sign in to comment