Merge branch 'feature/andre/mergecil-weak-attribute' into 'master'
[Kernel] support limited version of 'weak' function attribute See merge request frama-c/frama-c!4088
Showing
- src/kernel_internals/typing/mergecil.ml 48 additions, 4 deletionssrc/kernel_internals/typing/mergecil.ml
- src/kernel_services/ast_data/kernel_function.ml 1 addition, 11 deletionssrc/kernel_services/ast_data/kernel_function.ml
- src/kernel_services/ast_queries/ast_info.ml 16 additions, 0 deletionssrc/kernel_services/ast_queries/ast_info.ml
- src/kernel_services/ast_queries/ast_info.mli 4 additions, 0 deletionssrc/kernel_services/ast_queries/ast_info.mli
- 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