Merge commit '9f5ab7b2' into feature/bobot/jbuilder

.git-blame-ignore-revs

devel_tools/size.ml

devel_tools/size.mli

devel_tools/size_states.ml

src/plugins/report/tests/report/one_hyp.ml

src/plugins/report/tests/report/projectified_status.ml

tests/cil/Change_formals.ml

tests/cil/queue_ghost_instr.ml

...constant_propagation/introduction_of_non_explicit_cast.ml

tests/crowbar/complete_type.ml

tests/crowbar/constfold.ml

tests/crowbar/integer_bb_pretty.ml

tests/crowbar/offset_anonymous_field.ml

tests/crowbar/test_ghost_cfg.ml

tests/dynamic/abstract.ml

tests/dynamic/abstract2.ml

tests/float/fval_test.ml

tests/libc/check_compliance.ml

tests/libc/check_const.ml

tests/misc/Debug_category.ml