Skip to content

Commit 6fff4c2

Browse files
Simplification in addressDomain
1 parent 5da3024 commit 6fff4c2

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

src/cdomain/value/cdomains/addressDomain.ml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -270,9 +270,7 @@ struct
270270
let needle' = List.map Addr.to_c_string (elements needle) in
271271

272272
(* helper functions *)
273-
let extract_lval_string = function
274-
| Some s -> of_string s
275-
| None -> null_ptr in
273+
let extract_lval_string = BatOption.map_default of_string null_ptr in
276274
let compute_substring s1 s2 =
277275
try
278276
let i = Str.search_forward (Str.regexp_string s2) s1 0 in

0 commit comments

Comments
 (0)