Cilfacade0Cilfacade functions to avoid dependency cycles.
val get_labelLoc : GoblintCil.label -> GoblintCil.locationval get_labelsLoc : GoblintCil.label list -> GoblintCil.Cil.locationFollowing functions are similar to Cil versions, but return expression location instead of entire statement location, where possible.
val eloc_fallback :
eloc:GoblintCil.location ->
loc:GoblintCil.location ->
GoblintCil.locationval get_instrLoc : GoblintCil.instr -> GoblintCil.locationGet expression location for Cil.instr.
val get_stmtLoc : GoblintCil.stmt -> GoblintCil.Cil.locationGet expression location for Cil.stmt.