[kernel] Cil_types.compinfo.cfield as option

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_internals/typing/rmtmps.ml

src/kernel_services/abstract_interp/base.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/analysis/exn_flow.ml

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil_const.ml

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/filecheck.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/visitors/visitor_behavior.ml

src/plugins/aorai/utils_parser.ml

src/plugins/instantiate/basic_blocks.ml

src/plugins/instantiate/stdlib/basic_alloc.ml

src/plugins/instantiate/string/memset.ml

src/plugins/rte/rte.ml