Merge branch 'fix/martin/kernel/place-noreturn-on-fun-type' into 'master'

src/kernel_internals/parsing/cparser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/ast_data/kernel_function.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/filecheck.ml

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c

...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c

...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c

src/plugins/e-acsl/tests/format/oracle/gen_printf.c

src/plugins/eva/engine/iterator.ml

src/plugins/eva/engine/transfer_specification.ml

tests/libc/oracle/fc_libc.1.res.oracle