diff --git a/infer/src/biabduction/Timeout.ml b/infer/src/biabduction/Timeout.ml
index 86b8226a6..31688bcbe 100644
--- a/infer/src/biabduction/Timeout.ml
+++ b/infer/src/biabduction/Timeout.ml
@@ -117,5 +117,6 @@ let exe_timeout f x =
         None )
       ~finally:resume_previous_timeout
   with SymOp.Analysis_failure_exe kind ->
-    Errdesc.warning_err (State.get_loc_exn ()) "TIMEOUT: %a@." SymOp.pp_failure_kind kind ;
+    let loc = State.get_loc () |> Option.value ~default:Location.dummy in
+    Errdesc.warning_err loc "TIMEOUT: %a@." SymOp.pp_failure_kind kind ;
     Some kind