Skip to content
Snippets Groups Projects
Commit ad3ffeab authored by Cécile Ruet-Cros's avatar Cécile Ruet-Cros Committed by Loïc Correnson
Browse files

[region] make lint

parent 68d9e16d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/region/memory.ml
+ 3
− 3
View file @ ad3ffeab
...@@ -185,9 +185,9 @@ let new_chunk (m: map) ?(size=0) ?ptr ?ptrby () = ...@@ -185,9 +185,9 @@ let new_chunk (m: map) ?(size=0) ?ptr ?ptrby () =
| None -> if size = 0 then Blob else Cell(size,None) | None -> if size = 0 then Blob else Cell(size,None)
| Some _ -> Cell(Ranges.gcd size (Cil.bitsSizeOf Cil_const.voidPtrType), ptr) | Some _ -> Cell(Ranges.gcd size (Cil.bitsSizeOf Cil_const.voidPtrType), ptr)
in let cpointed_by = in let cpointed_by =
match ptrby with match ptrby with
| None -> [] | None -> []
| Some ptr -> [ptr] | Some ptr -> [ptr]
in Ufind.make m.store { empty with clayout ; cpointed_by } in Ufind.make m.store { empty with clayout ; cpointed_by }
let new_range (m: map) ?(fields=Fields.empty) ~size ~offset ~length data : node = let new_range (m: map) ?(fields=Fields.empty) ~size ~offset ~length data : node =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment