synchronize with frama-c/frama-c!1232

src/plugins/e-acsl/tests/bts/bts1399.c

src/plugins/e-acsl/tests/runtime/call.c

src/plugins/e-acsl/tests/runtime/freeable.c

src/plugins/e-acsl/tests/runtime/ghost.i

src/plugins/e-acsl/tests/runtime/localvar.c

src/plugins/e-acsl/tests/runtime/valid.c

src/plugins/e-acsl/tests/runtime/valid_alias.c

src/plugins/e-acsl/tests/runtime/valid_in_contract.c

src/plugins/e-acsl/tests/runtime/vector.c