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