In the paper here, one of the transformation without break the binary compatibility is:
The domain of the procedure can be enlarged to return values for inputs for which it previously aborted, failed to return (infinite loop or deadlock)
I don't know clearly the exact idea that the authors want to describe. If yes, please help me to clarify and please give an example to demonstrate.
Thank you for your help :)
In the JLS, I found the corresponding idea based on it:
Changing methods or constructors to return values on inputs for which they previously either threw exceptions that normally should not occur or failed by going into an infinite loop or causing a deadlock