We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 306952d commit ec3917dCopy full SHA for ec3917d
1 file changed
src/analyses/malloc_null.ml
@@ -103,10 +103,10 @@ struct
103
let remove_var x v = List.fold_left (Fun.flip D.remove) x (to_addrs v) in
104
let nst = List.fold_left remove_var man.local (f.slocals @ f.sformals) in
105
BatOption.map_default (fun ret ->
106
- match get_concrete_exp ret man.global man.local with
107
- | Some ev when might_be_null (Analyses.ask_of_man man) ev man.global man.local ->
108
- D.add (return_addr ()) nst
109
- | _ -> nst
+ match get_concrete_exp ret man.global man.local with
+ | Some ev when might_be_null (Analyses.ask_of_man man) ev man.global man.local ->
+ D.add (return_addr ()) nst
+ | _ -> nst
110
) nst exp
111
112
(* Function calls *)
0 commit comments