Merge commit 'd042deb1f67320d7283399bad1d76f0973947220'

resync master and stable/neon

Conflicts:
	label.ml
	pre_analysis.ml
	tests/e-acsl-runtime/oracle/bts1399.1.res.oracle
	tests/e-acsl-runtime/oracle/bts1399.res.oracle
	tests/e-acsl-runtime/oracle/call.1.res.oracle
	tests/e-acsl-runtime/oracle/localvar.1.res.oracle
	tests/e-acsl-runtime/oracle/ptr_init.1.res.oracle
	tests/e-acsl-runtime/oracle/valid.1.res.oracle
	tests/e-acsl-runtime/oracle/valid.res.oracle
	tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle
	tests/e-acsl-runtime/oracle/valid_alias.res.oracle
	tests/e-acsl-runtime/oracle/vector.1.res.oracle
	tests/e-acsl-runtime/oracle/vector.res.oracle