sync with frama-c!2073

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c

src/plugins/e-acsl/tests/gmp/oracle/gen_array.c

src/plugins/e-acsl/tests/gmp/oracle/gen_array2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_cast.c

src/plugins/e-acsl/tests/gmp/oracle/gen_cast2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_longlong.c

src/plugins/e-acsl/tests/gmp/oracle/gen_longlong2.c

src/plugins/e-acsl/tests/runtime/oracle/gen_call.c

src/plugins/e-acsl/tests/runtime/oracle/gen_freeable.c

src/plugins/e-acsl/tests/runtime/oracle/gen_ghost.c

src/plugins/e-acsl/tests/runtime/oracle/gen_initialized.c

src/plugins/e-acsl/tests/runtime/oracle/gen_invariant.c

src/plugins/e-acsl/tests/runtime/oracle/gen_localvar.c

src/plugins/e-acsl/tests/runtime/oracle/gen_loop.c

src/plugins/e-acsl/tests/runtime/oracle/gen_valid.c

src/plugins/e-acsl/tests/runtime/oracle/gen_valid_alias.c

...ugins/e-acsl/tests/runtime/oracle/gen_valid_in_contract.c

src/plugins/e-acsl/tests/runtime/oracle/gen_vector.c