diff --git a/compiler/optdfa.pas b/compiler/optdfa.pas
index f8e280d1d7..2097fdfb88 100644
--- a/compiler/optdfa.pas
+++ b/compiler/optdfa.pas
@@ -449,7 +449,9 @@ unit optdfa;
 
                 { get life info from then branch }
                 if assigned(tifnode(node).right) then
-                  DFASetIncludeSet(l,tifnode(node).right.optinfo^.life);
+                  DFASetIncludeSet(l,tifnode(node).right.optinfo^.life)
+                else if assigned(node.successor) then
+                  DFASetIncludeSet(l,node.successor.optinfo^.life);
 
                 { get life info from else branch }
                 if assigned(tifnode(node).t1) then
diff --git a/tests/webtbs/tw39992.pp b/tests/webtbs/tw39992.pp
new file mode 100644
index 0000000000..f2c491c3c1
--- /dev/null
+++ b/tests/webtbs/tw39992.pp
@@ -0,0 +1,19 @@
+{ %OPT=-O3 -Oodeadstore }
+
+{$mode objfpc}
+function ChooseMinus10: SizeInt;
+var
+	chosen: SizeInt;
+begin
+	chosen := -10;
+	repeat
+		if random(1) = 0 then else break;
+		exit(chosen);
+	until false;
+	result := -20;
+end;
+
+begin
+  if ChooseMinus10<>-10 then
+    halt(1);
+end.