let print_leak l =
      let fmt x =
        if l.potential then
          "POTENTIAL security leak; %s of %a may be wrong." ^^ x
        else
          "PROBABLE security leak; %s of %a is probably wrong." ^^ x
      in
      let loc = match l.loc with None -> assert false | Some loc -> loc in
      Options.warning ~source:(Cil.source loc)
        (fmt "%a") state_name
        !Ast_printer.d_exp l.data print_call_stack l.call_stack