Fix invalid widen call in slr3 for globals

goblint · Dec 16, 2024 · 4a9b52f · 4a9b52f
1 parent c348dd6
commit 4a9b52f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/sLR.ml b/src/solver/sLR.ml
@@ -66,7 +66,7 @@ module SLR3 =
           if tracing then trace "sol" "Contrib:%a" S.Dom.pretty tmp;
           let tmp =
             if wpx then
-              if HM.mem globals x then S.Dom.widen old tmp (* TODO: no join in second argument, can call widen incorrectly? *)
+              if HM.mem globals x then S.Dom.widen old (S.Dom.join old tmp)
               else box old tmp
             else tmp
           in