[Kernel] Warns when converting a pointer into an integer without an explicit cast.
Adds the new warning category "typing:int-conversion".
Showing
- src/kernel_internals/typing/cabs2cil.ml 8 additions, 2 deletionssrc/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
Loading
Please register or sign in to comment