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