Module CilLocation

type locs = {
  1. loc : GoblintCil.location;
  2. eloc : GoblintCil.location;
}
val get_labelLoc : GoblintCil.label -> locs

Following functions are similar to Cil versions, but return expression location instead of entire statement location, where possible.

val get_instrLoc : GoblintCil.instr -> locs

Get locations for Cil.instr.

val get_stmtLoc : GoblintCil.stmt -> locs

Get locations for Cil.stmt.