[Kernel] split GCC builtins JSON file for performance reasons
Showing
- Makefile 2 additions, 0 deletionsMakefile
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/compliance/compiler_builtins.json 14 additions, 1823 deletionsshare/compliance/compiler_builtins.json
- share/compliance/gcc_builtins.json 1252 additions, 0 deletionsshare/compliance/gcc_builtins.json
- src/kernel_internals/runtime/special_hooks.ml 4 additions, 2 deletionssrc/kernel_internals/runtime/special_hooks.ml
- src/kernel_services/ast_queries/cil_builtins.ml 41 additions, 14 deletionssrc/kernel_services/ast_queries/cil_builtins.ml
- src/kernel_services/ast_queries/cil_builtins.mli 4 additions, 0 deletionssrc/kernel_services/ast_queries/cil_builtins.mli
- tests/compliance/check-json.i 2 additions, 1 deletiontests/compliance/check-json.i
- tests/compliance/oracle/json_check-json_5.txt 1 addition, 1 deletiontests/compliance/oracle/json_check-json_5.txt
- tests/compliance/oracle/json_check-json_6.txt 2 additions, 2 deletionstests/compliance/oracle/json_check-json_6.txt
- tests/compliance/oracle/json_check-json_7.txt 2 additions, 0 deletionstests/compliance/oracle/json_check-json_7.txt
Loading
Please register or sign in to comment