Merge branch 'fix/sizeof-void' into 'master'

src/kernel_internals/runtime/machdeps.ml

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/abstract_interp/base.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/file.ml

src/plugins/e-acsl/src/analyses/interval.ml

tests/constant_propagation/oracle/array_pointers.res.oracle

tests/misc/oracle/function_ptr_alignof.res.oracle

tests/misc/oracle/function_ptr_sizeof.res.oracle

tests/misc/oracle/print_machdep.res.oracle

tests/syntax/oracle/sizeof_void.0.res.oracle

tests/syntax/oracle/sizeof_void.1.res.oracle

tests/syntax/sizeof_void.c

tests/value/oracle/sizeof.res.oracle

tests/value/sizeof.i