diff --git a/infer/src/absint/AbstractInterpreter.ml b/infer/src/absint/AbstractInterpreter.ml
index 027c7d07732..4494aa44bad 100644
--- a/infer/src/absint/AbstractInterpreter.ml
+++ b/infer/src/absint/AbstractInterpreter.ml
@@ -815,7 +815,9 @@ module MakeWTONode (TransferFunctions : NodeTransferFunctions) = struct
     | Some astate_pre ->
         exec_node ~pp_instr proc_data node ~is_loop_head ~is_narrowing astate_pre inv_map
     | None ->
-        L.(die InternalError) "Could not compute the pre of a node"
+        L.internal_error "Could not compute the pre of a node in %a\@n" Procname.pp
+          (Procdesc.Node.get_proc_name (Node.underlying_node node)) ;
+        (inv_map, DidNotReachFixPoint)
 
 
   (* [WidenThenNarrow] mode is to narrow the outermost loops eagerly, so that over-approximated