Merge branch 'bugfix/julien/typing_for_cfp' into 'master'
Fix issues with the new type system These issues were found by the Cfp plug-in. Consequently this MR and the upcoming one in CFP are required to fix OCI. This patch generates even less casts than before. See merge request !62
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_base_addr.c 12 additions, 12 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_base_addr.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_block_length.c 12 additions, 12 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/gen_block_length.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_compound_initializers.c 4 additions, 4 deletions...l/tests/e-acsl-runtime/oracle/gen_compound_initializers.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c 2 additions, 2 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c 3 additions, 3 deletions...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_initialized.c 6 additions, 6 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_initialized.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_linear_search.c 4 additions, 4 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_linear_search.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_loop.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_loop.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs.c 1 addition, 1 deletion...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_memsize.c 16 additions, 16 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_memsize.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_offset.c 31 additions, 31 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_offset.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ptr.c 10 additions, 9 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ptr.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stmt_contract.c 3 additions, 3 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_stmt_contract.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_vector.c
- src/plugins/e-acsl/tests/gmp/oracle/arith.0.res.oracle 1 addition, 2 deletionssrc/plugins/e-acsl/tests/gmp/oracle/arith.0.res.oracle
Loading
Please register or sign in to comment