Skip to content

bpo-38205: Py_UNREACHABLE() calls Py_FatalError() #16290

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
vstinner merged 1 commit into from
Sep 20, 2019
Merged

bpo-38205: Py_UNREACHABLE() calls Py_FatalError() #16290

vstinner merged 1 commit into from
Sep 20, 2019

Conversation

@vstinner
Copy link
Member

@vstinner vstinner commented Sep 19, 2019 •
edited by bedevere-bot
Loading

@vstinner
Copy link
Member Author

vstinner commented Sep 19, 2019

Example from:
#16280 (comment)

vstinner@apu$ ./python bug.py
Fatal Python error: We've reached an unreachable state. Anything is possible.
The limits were in our heads all along. Follow your dreams.
https://xkcd.com/2200
Python runtime state: initialized

Current thread 0x00007f5dc4f6d740 (most recent call first):
  File "/home/vstinner/python/master/bug.py", line 8 in func
  File "/home/vstinner/python/master/bug.py", line 11 in main
  File "/home/vstinner/python/master/bug.py", line 13 in <module>
Aborted (core dumped)

With RANDALL_WAS_HERE macro defined:

$ ./python bug.py
Fatal Python error: If you're seeing this, the code is in what I thought was
an unreachable state.

I could give you advice for what to do, but honestly, why
should you trust me?  I clearly screwed this up.  I'm writing
a message that should never appear, yet I know it will
probably appear someday.

On a deep level, I know I'm not up to this task.
I'm so sorry.
https://xkcd.com/2200
Python runtime state: initialized

Current thread 0x00007f7a71348740 (most recent call first):
  File "/home/vstinner/python/master/bug.py", line 8 in func
  File "/home/vstinner/python/master/bug.py", line 11 in main
  File "/home/vstinner/python/master/bug.py", line 13 in <module>
Aborted (core dumped)

@vstinner
Copy link
Member Author

vstinner commented Sep 19, 2019

cc @zware @serhiy-storchaka

@vstinner vstinner mentioned this pull request Sep 19, 2019
Closed
@vstinner
Copy link
Member Author

vstinner commented Sep 19, 2019

I will wait for @serhiy-storchaka approval, since he was the one to disagree with my first attempt:
https://bugs.python.org/issue38205#msg352782

@serhiy-storchaka
Copy link
Member

serhiy-storchaka commented Sep 19, 2019

Thank you.

@ghost
Copy link

ghost commented Sep 20, 2019 •
edited by ghost
Loading

The assembly code generated by this PR will push the string OFFSET at the call sites, the assembly code will longer a bit.
If you care about this, you can use a macro points to a non-inline function.

@vstinner vstinner merged commit b154258 into python:master Sep 20, 2019
@vstinner vstinner deleted the unreachable2 branch September 20, 2019 21:10
@vstinner
Copy link
Member Author

vstinner commented Sep 20, 2019

"The assembly code generated by this PR will push the string OFFSET at the call sites, the assembly code will longer a bit. If you care about this, you can use a macro points to a non-inline function."

I don't care about emitted machine code :-)

vstinner added a commit that referenced this pull request Sep 20, 2019
@vstinner
bpo-38205: Py_UNREACHABLE() calls Py_FatalError() (GH-16290) (GH-16306)
245d439 
(cherry picked from commit b154258)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gpshead gpshead gpshead approved these changes

@serhiy-storchaka serhiy-storchaka serhiy-storchaka approved these changes

@zware zware zware approved these changes

Assignees

No one assigned

Labels

skip news

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@vstinner @serhiy-storchaka @gpshead @zware @the-knights-who-say-ni @bedevere-bot