CurrentLoc at toplevel, define with_loc(_opt) and let<?>

src/kernel_internals/typing/alpha.mli

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/ghost_accesses.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_internals/typing/oneret.ml

src/kernel_internals/typing/rmtmps.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/abstract_interp/origin.ml

src/kernel_services/abstract_interp/origin.mli

src/kernel_services/analysis/dataflow2.ml

src/kernel_services/analysis/dataflow2.mli

src/kernel_services/analysis/dataflows.ml

src/kernel_services/analysis/stmts_graph.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_printing/cprint.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_const.ml

src/kernel_services/ast_queries/cil_const.mli