We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e6fbd23 commit f020ddeCopy full SHA for f020dde
1 file changed
src/analyses/region.ml
@@ -142,7 +142,7 @@ struct
142
143
let combine ctx (lval:lval option) fexp (f:fundec) (args:exp list) fc (au:D.t) : D.t =
144
match au with
145
- | `Lifted reg -> begin
+ | `Lifted reg ->
146
let old_regpart = ctx.global () in
147
let module BS = (val Base.get_main ()) in
148
let regpart, reg = match lval with
@@ -153,7 +153,6 @@ struct
153
if not (RegPart.leq regpart old_regpart) then
154
ctx.sideg () regpart;
155
`Lifted reg
156
- end
157
| _ -> au
158
159
let special ctx (lval: lval option) (f:varinfo) (arglist:exp list) : D.t =
0 commit comments