Skip to content

Commit c4ca481

Browse files
committed
Fix ValueDomain indentation (PR #1739)
1 parent 17780e3 commit c4ca481

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

src/cdomain/value/cdomains/valueDomain.ml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1076,11 +1076,11 @@ struct
10761076
match value with
10771077
| Blob (y, s, zeroinit) -> mu (Blob (join x y, s, zeroinit))
10781078
| Int i -> begin
1079-
match bitfield with
1080-
| Some b when not @@ ID.leq i (ID.top_of ~bitfield:b (ID.ikind i)) ->
1081-
Messages.warn ~category:Analyzer "Assigned value %a exceeds the representable range of a %d-bit bit-field." pretty value b; Top
1082-
| _ -> cast t value
1083-
end
1079+
match bitfield with
1080+
| Some b when not @@ ID.leq i (ID.top_of ~bitfield:b (ID.ikind i)) ->
1081+
Messages.warn ~category:Analyzer "Assigned value %a exceeds the representable range of a %d-bit bit-field." pretty value b; Top
1082+
| _ -> cast t value
1083+
end
10841084
| _ -> value
10851085
end
10861086
| `Field (fld, offs) when fld.fcomp.cstruct -> begin

0 commit comments

Comments
 (0)