Merge branch 'fix/martin/kernel/add-warning-for-implicit-int' into 'master'
[Kernel] Add warning for implicit int See merge request frama-c/frama-c!4782
No related branches found
No related tags found
Showing
- Changelog 2 additions, 0 deletionsChangelog
- src/kernel_internals/typing/cabs2cil.ml 5 additions, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/plugin_entry_points/kernel.ml 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 2 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/plugins/dive/tests/dive/const.i 1 addition, 1 deletionsrc/plugins/dive/tests/dive/const.i
- src/plugins/loop_analysis/tests/loop_analysis/non_natural_loop.i 1 addition, 1 deletion...gins/loop_analysis/tests/loop_analysis/non_natural_loop.i
- src/plugins/report/tests/report/csv.c 1 addition, 1 deletionsrc/plugins/report/tests/report/csv.c
- src/plugins/variadic/tests/known/fcntl.c 1 addition, 1 deletionsrc/plugins/variadic/tests/known/fcntl.c
- src/plugins/variadic/tests/known/printf_wrong_pointers.c 1 addition, 1 deletionsrc/plugins/variadic/tests/known/printf_wrong_pointers.c
- tests/builtins/alloc_weak.c 1 addition, 1 deletiontests/builtins/alloc_weak.c
- tests/builtins/free.c 1 addition, 1 deletiontests/builtins/free.c
- tests/builtins/malloc-optimistic.c 1 addition, 1 deletiontests/builtins/malloc-optimistic.c
- tests/builtins/malloc-size-zero.c 1 addition, 1 deletiontests/builtins/malloc-size-zero.c
- tests/builtins/malloc_memexec.c 1 addition, 1 deletiontests/builtins/malloc_memexec.c
- tests/builtins/memcpy.c 1 addition, 1 deletiontests/builtins/memcpy.c
- tests/builtins/precise_memset.c 1 addition, 1 deletiontests/builtins/precise_memset.c
- tests/builtins/realloc.c 1 addition, 1 deletiontests/builtins/realloc.c
- tests/float/alarms.i 1 addition, 1 deletiontests/float/alarms.i
- tests/float/builtins.c 1 addition, 1 deletiontests/float/builtins.c
- tests/float/cond_cast_int_to_float.c 1 addition, 1 deletiontests/float/cond_cast_int_to_float.c
Loading
Please register or sign in to comment