René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Micro-ops that have side-exits are sometimes marked as \"escaping\", when they should not be.","articleBody":"We tag micro-ops as \"escaping\", using `HAS_ESCAPES_FLAG`, when they call out to a function that might change the state of the world.\n\nHowever, if that call only happens on an exit branch, then there is no escape if execution stays on trace.\nIn those cases we should not mark the micro-op as escaping.\n\nFor example: `_GUARD_IS_NONE_POP` is defined as follows:\n```C\n            int is_none = PyStackRef_IsNone(val);\n            if (!is_none) {\n                PyStackRef_CLOSE(val);\n                SYNC_SP();\n                EXIT_IF(1);\n            }\n            DEAD(val);\n```\nThe call to `PyStackRef_CLOSE` only occurs on the exit branch. So, if execution continues past `_GUARD_IS_NONE_POP` then no escaping call has been made. Therefore we shouldn't mark `_GUARD_IS_NONE_POP` as escaping.\n\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-137277\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/markshannon","@type":"Person","name":"markshannon"},"datePublished":"2025-07-31T11:38:51.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/137276/cpython/issues/137276"}