let pp_err fmt e =
let no_from = "no \\from information" in
let pp_stmt_loc fmt s =
Format.fprintf fmt "@[%a@]" Cil.d_loc (Cil_datatype.Stmt.loc s)
in
match e with
| NoFromForCall s ->
Format.fprintf fmt "%s for call at @[%a@]" no_from pp_stmt_loc s
| NoFromForLoop s ->
Format.fprintf fmt "%s for loop at @[%a@]" no_from pp_stmt_loc s
| _ -> raise e