We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4ceb035 commit 90b9e56Copy full SHA for 90b9e56
1 file changed
src/analyses/varEq.ml
@@ -559,14 +559,14 @@ struct
559
remove (Analyses.ask_of_ctx ctx) lv st
560
) ctx.local
561
| Events.Escape vars ->
562
- if EscapeDomain.EscapedVars.is_top vars then
563
- D.top ()
+ if EscapeDomain.EscapedVars.is_top vars then
+ D.top ()
564
else
565
- let ask = Analyses.ask_of_ctx ctx in
566
- let remove_var st v =
567
- remove ask (Cil.var v) st
568
- in
569
- List.fold_left remove_var ctx.local (EscapeDomain.EscapedVars.elements vars)
+ let ask = Analyses.ask_of_ctx ctx in
+ let remove_var st v =
+ remove ask (Cil.var v) st
+ in
+ List.fold_left remove_var ctx.local (EscapeDomain.EscapedVars.elements vars)
570
| _ ->
571
ctx.local
572
end
0 commit comments