let location c =
      match c.cfields with
        | f :: _ ->
            let s = Cil.source f.floc in
            if s.Log.src_file = "" then None else Some s
        | [] -> None