Merge branch 'fix/martin/kernel/1295-type-of-the-size-information-of-an-array' into 'master'
Resolve "Type of the size information of an array" Closes #1295 See merge request frama-c/frama-c!4377
Showing
- src/kernel_internals/typing/cabs2cil.ml 35 additions, 3 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 6 additions, 7 deletionssrc/kernel_services/ast_queries/cil.ml
- src/plugins/wp/tests/wp_plugin/bigarray.c 1 addition, 12 deletionssrc/plugins/wp/tests/wp_plugin/bigarray.c
- src/plugins/wp/tests/wp_plugin/oracle/bigarray.1.res.oracle 0 additions, 12 deletionssrc/plugins/wp/tests/wp_plugin/oracle/bigarray.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/bigarray.res.oracle 5 additions, 5 deletionssrc/plugins/wp/tests/wp_plugin/oracle/bigarray.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/too_large_array.0.res.oracle 0 additions, 12 deletions...ins/wp/tests/wp_typed/oracle/too_large_array.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/too_large_array.1.res.oracle 0 additions, 12 deletions...ins/wp/tests/wp_typed/oracle/too_large_array.1.res.oracle
- tests/syntax/oracle/too_large_array.res.oracle 6 additions, 0 deletionstests/syntax/oracle/too_large_array.res.oracle
- tests/syntax/oracle/very_large_integers.1.res.oracle 1 addition, 0 deletionstests/syntax/oracle/very_large_integers.1.res.oracle
- tests/syntax/oracle/very_large_integers.14.res.oracle 1 addition, 0 deletionstests/syntax/oracle/very_large_integers.14.res.oracle
- tests/syntax/oracle/very_large_integers.4.res.oracle 1 addition, 0 deletionstests/syntax/oracle/very_large_integers.4.res.oracle
- tests/syntax/too_large_array.i 0 additions, 0 deletionstests/syntax/too_large_array.i
- tests/value/oracle/empty_base.1.res.oracle 6 additions, 0 deletionstests/value/oracle/empty_base.1.res.oracle
Loading
Please register or sign in to comment