**Version and Platform (required):** - Binary Ninja Version: 5.4.9891-dev (7df55f17) - Edition: Commercial - OS: Arch Linux - OS Version: rolling release - CPU Architecture: x64 **Bug Description:** The lifting of a function that has a conditional jump to a `ret` instruction has an infinite loop at the end instead of a return. **Steps To Reproduce:** Please provide all steps required to reproduce the behavior: 1. Paste the bytes `7f9034120224b01278563041` at address 0 (or open the uploaded binary) 2. Make function at address 0 3. Observe wrongly lifted code **Expected Behavior:** I expected the code to be lifted correctly, with a return at the end of the function. **Screenshots/Video Recording:** <img width="1632" height="336" alt="Image" src="https://github.com/user-attachments/assets/30576efc-8838-4654-a817-70a419713f3a" /> <img width="1628" height="378" alt="Image" src="https://github.com/user-attachments/assets/a6d3825a-5f74-4b3f-a229-e20a08a2ebb7" /> **Binary:** `keen dawn accelerates harmoniously` **Additional Information:** This is a minimal example. I cannot share the original binary. It makes no difference whether the call target is valid.