src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/analysis/destructors.ml

src/kernel_services/analysis/logic_interp.ml

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/plugins/constant_propagation/api.ml

src/plugins/e-acsl/src/code_generator/logic_functions.ml

src/plugins/e-acsl/src/code_generator/rational.ml

src/plugins/e-acsl/src/code_generator/smart_stmt.ml

src/plugins/e-acsl/src/code_generator/translate.ml

src/plugins/instantiate/basic_blocks.ml

src/plugins/instantiate/string/memset.ml

src/plugins/value/utils/value_util.ml

src/plugins/variadic/generic.ml

src/plugins/variadic/standard.ml

tests/cil/mkBinOp.ml