Merge branch 'fix/nigron/638-global-init-with-address-v2' into 'master'
Fix/nigron/638 global init with address Closes #638 See merge request frama-c/frama-c!4221
Showing
- opam 1 addition, 0 deletionsopam
- src/kernel_internals/typing/cabs2cil.ml 52 additions, 15 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 42 additions, 20 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 18 additions, 6 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/gui/help_manager.ml 1 addition, 0 deletionssrc/plugins/gui/help_manager.ml
- src/plugins/wp/tests/wp_usage/valinit.i 10 additions, 5 deletionssrc/plugins/wp/tests/wp_usage/valinit.i
- tests/cil/oracle/bts892.res.oracle 2 additions, 0 deletionstests/cil/oracle/bts892.res.oracle
- tests/constant_propagation/bts-1787.i 3 additions, 3 deletionstests/constant_propagation/bts-1787.i
- tests/constant_propagation/oracle/bts-1787.0.res.oracle 1 addition, 1 deletiontests/constant_propagation/oracle/bts-1787.0.res.oracle
- tests/constant_propagation/oracle/bts-1787.1.res.oracle 1 addition, 1 deletiontests/constant_propagation/oracle/bts-1787.1.res.oracle
- tests/syntax/conflict.c 18 additions, 0 deletionstests/syntax/conflict.c
- tests/syntax/ghost_cv_incompat.i 3 additions, 3 deletionstests/syntax/ghost_cv_incompat.i
- tests/syntax/ghost_cv_var_decl.c 1 addition, 1 deletiontests/syntax/ghost_cv_var_decl.c
- tests/syntax/ko_global.c 41 additions, 0 deletionstests/syntax/ko_global.c
- tests/syntax/merge_loc.i 1 addition, 1 deletiontests/syntax/merge_loc.i
- tests/syntax/ok_globals.c 34 additions, 0 deletionstests/syntax/ok_globals.c
- tests/syntax/oracle/conflict.res.oracle 15 additions, 0 deletionstests/syntax/oracle/conflict.res.oracle
- tests/syntax/oracle/ko_global.res.oracle 11 additions, 0 deletionstests/syntax/oracle/ko_global.res.oracle
- tests/syntax/oracle/merge_loc.res.oracle 1 addition, 1 deletiontests/syntax/oracle/merge_loc.res.oracle
- tests/syntax/oracle/ok_globals.res.oracle 27 additions, 0 deletionstests/syntax/oracle/ok_globals.res.oracle
Loading
Please register or sign in to comment