Merge branch 'fix/andre/enable-warning-6' into 'master'
enable warning 6 (labels-omitted) by default See merge request frama-c/frama-c!3631
No related branches found
No related tags found
Showing
- share/Makefile.common 1 addition, 1 deletionshare/Makefile.common
- src/kernel_internals/typing/cabs2cil.ml 62 additions, 39 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/cfg.ml 4 additions, 2 deletionssrc/kernel_internals/typing/cfg.ml
- src/kernel_internals/typing/frontc.ml 1 addition, 1 deletionsrc/kernel_internals/typing/frontc.ml
- src/kernel_internals/typing/infer_annotations.ml 4 additions, 2 deletionssrc/kernel_internals/typing/infer_annotations.ml
- src/kernel_internals/typing/mergecil.ml 26 additions, 12 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/abstract_interp/base.ml 3 additions, 1 deletionsrc/kernel_services/abstract_interp/base.ml
- src/kernel_services/abstract_interp/int_interval.ml 2 additions, 2 deletionssrc/kernel_services/abstract_interp/int_interval.ml
- src/kernel_services/abstract_interp/int_val.ml 2 additions, 2 deletionssrc/kernel_services/abstract_interp/int_val.ml
- src/kernel_services/abstract_interp/offsetmap.ml 12 additions, 12 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/analysis/bit_utils.ml 2 additions, 2 deletionssrc/kernel_services/analysis/bit_utils.ml
- src/kernel_services/analysis/dataflow2.ml 1 addition, 1 deletionsrc/kernel_services/analysis/dataflow2.ml
- src/kernel_services/analysis/dataflows.ml 1 addition, 1 deletionsrc/kernel_services/analysis/dataflows.ml
- src/kernel_services/analysis/destructors.ml 2 additions, 1 deletionsrc/kernel_services/analysis/destructors.ml
- src/kernel_services/analysis/interpreted_automata.ml 1 addition, 1 deletionsrc/kernel_services/analysis/interpreted_automata.ml
- src/kernel_services/analysis/logic_interp.ml 3 additions, 3 deletionssrc/kernel_services/analysis/logic_interp.ml
- src/kernel_services/ast_data/alarms.ml 5 additions, 5 deletionssrc/kernel_services/ast_data/alarms.ml
- src/kernel_services/ast_data/annotations.ml 26 additions, 25 deletionssrc/kernel_services/ast_data/annotations.ml
- src/kernel_services/ast_data/property.ml 4 additions, 4 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_data/property_status.ml 3 additions, 1 deletionsrc/kernel_services/ast_data/property_status.ml
Loading
Please register or sign in to comment