-
- Downloads
[Kernel] support limited version of 'weak' function attribute
This attribute is used by some STM32 compilers to allow function definitions to be overridden by other function definitions. Mergecil does not (easily) allow removing a previous existing definition to override with a new one (undoing the former), but we can detect it and ask the user to change the order of sources in the command line. In practice, this is sufficient for some case studies.
Showing
- src/kernel_internals/typing/mergecil.ml 34 additions, 3 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/plugin_entry_points/kernel.ml 2 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
- tests/misc/mergecil-weak-1.i 9 additions, 0 deletionstests/misc/mergecil-weak-1.i
- tests/misc/mergecil-weak-2.i 9 additions, 0 deletionstests/misc/mergecil-weak-2.i
- tests/misc/mergecil-weak-3.i 15 additions, 0 deletionstests/misc/mergecil-weak-3.i
- tests/misc/oracle/audit-out.json 1 addition, 1 deletiontests/misc/oracle/audit-out.json
- tests/misc/oracle/mergecil-weak-3.0.res.oracle 31 additions, 0 deletionstests/misc/oracle/mergecil-weak-3.0.res.oracle
- tests/misc/oracle/mergecil-weak-3.1.res.oracle 29 additions, 0 deletionstests/misc/oracle/mergecil-weak-3.1.res.oracle
- tests/misc/oracle/mergecil-weak-3.2.res.oracle 28 additions, 0 deletionstests/misc/oracle/mergecil-weak-3.2.res.oracle
- tests/misc/oracle/mergecil-weak-3.3.res.oracle 7 additions, 0 deletionstests/misc/oracle/mergecil-weak-3.3.res.oracle
Loading
Please register or sign in to comment