René's URL Explorer Experiment


Title: Add InstructionMetadata::stack_effect_jump for branch stack effects by youknowone · Pull Request #7585 · RustPython/RustPython · GitHub

Open Graph Title: Add InstructionMetadata::stack_effect_jump for branch stack effects by youknowone · Pull Request #7585 · RustPython/RustPython

X Title: Add InstructionMetadata::stack_effect_jump for branch stack effects by youknowone · Pull Request #7585 · RustPython/RustPython

Description: Summary by CodeRabbit Bug Fixes More accurate stack-depth calculation for branching and targeted control-flow, fixing incorrect depth estimates for some paths. Corrected branch-aware stack-effect behavior so stack-effect queries reflect taken vs fallthrough paths. Refactor Simplified propagation of stack depths to target blocks for clearer, more consistent control-flow analysis. New Features Branch-aware stack-effect query supports explicit, taken, and unknown jump semantics.

Open Graph Description: Summary by CodeRabbit Bug Fixes More accurate stack-depth calculation for branching and targeted control-flow, fixing incorrect depth estimates for some paths. Corrected branch-aware stack-effec...

X Description: Summary by CodeRabbit Bug Fixes More accurate stack-depth calculation for branching and targeted control-flow, fixing incorrect depth estimates for some paths. Corrected branch-aware stack-effec...

Opengraph URL: https://github.com/RustPython/RustPython/pull/7585

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:04fe1204-8aea-d296-2f32-562521a4e550
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA754:3424AE:145B78A:1B3124E:6A5B85C6
html-safe-nonceffea871281dd8daa04d5db4d009ab02a60a26008197a3f71d578c2874988cccf
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNzU0OjM0MjRBRToxNDVCNzhBOjFCMzEyNEU6NkE1Qjg1QzYiLCJ2aXNpdG9yX2lkIjoiMjY4MjQ4MjkzOTU5MDgzNzcwMiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac4139ad43f576b411d95bd89feeafd74d1ca45581d078389b6cc73888ef2f46ce
hovercard-subject-tagpull_request:3520989028
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/RustPython/RustPython/pull/7585/files
twitter:imagehttps://avatars.githubusercontent.com/u/69878?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/69878?s=400&v=4
og:image:altSummary by CodeRabbit Bug Fixes More accurate stack-depth calculation for branching and targeted control-flow, fixing incorrect depth estimates for some paths. Corrected branch-aware stack-effec...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None5290d7e14309ad1e76106a9c4237bd1041517e83ea182c8ab756752cb0c6940b
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/RustPython/RustPython git https://github.com/RustPython/RustPython.git
octolytics-dimension-user_id39710557
octolytics-dimension-user_loginRustPython
octolytics-dimension-repository_id135201145
octolytics-dimension-repository_nwoRustPython/RustPython
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id135201145
octolytics-dimension-repository_network_root_nwoRustPython/RustPython
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release9c975978430e9ad293956f2bbdaf153b1bd84a99
ui-targetcanary-1
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/RustPython/RustPython/pull/7585/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FRustPython%2FRustPython%2Fpull%2F7585%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FRustPython%2FRustPython%2Fpull%2F7585%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=RustPython%2FRustPython
Reloadhttps://github.com/RustPython/RustPython/pull/7585/files
Reloadhttps://github.com/RustPython/RustPython/pull/7585/files
Reloadhttps://github.com/RustPython/RustPython/pull/7585/files
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
RustPython https://github.com/RustPython
RustPythonhttps://github.com/RustPython/RustPython
Notifications https://github.com/login?return_to=%2FRustPython%2FRustPython
Fork 1.5k https://github.com/login?return_to=%2FRustPython%2FRustPython
Star 22.2k https://github.com/login?return_to=%2FRustPython%2FRustPython
Code https://github.com/RustPython/RustPython
Issues 291 https://github.com/RustPython/RustPython/issues
Pull requests 105 https://github.com/RustPython/RustPython/pulls
Discussions https://github.com/RustPython/RustPython/discussions
Actions https://github.com/RustPython/RustPython/actions
Projects https://github.com/RustPython/RustPython/projects
Models https://github.com/RustPython/RustPython/models
Wiki https://github.com/RustPython/RustPython/wiki
Security and quality 0 https://github.com/RustPython/RustPython/security
Insights https://github.com/RustPython/RustPython/pulse
Code https://github.com/RustPython/RustPython
Issues https://github.com/RustPython/RustPython/issues
Pull requests https://github.com/RustPython/RustPython/pulls
Discussions https://github.com/RustPython/RustPython/discussions
Actions https://github.com/RustPython/RustPython/actions
Projects https://github.com/RustPython/RustPython/projects
Models https://github.com/RustPython/RustPython/models
Wiki https://github.com/RustPython/RustPython/wiki
Security and quality https://github.com/RustPython/RustPython/security
Insights https://github.com/RustPython/RustPython/pulse
Sign up for GitHub https://github.com/signup?return_to=%2FRustPython%2FRustPython%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FRustPython%2FRustPython%2Fissues%2Fnew%2Fchoose
youknowonehttps://github.com/youknowone
RustPython:mainhttps://github.com/RustPython/RustPython/tree/main
youknowone:stack-effect-jumphttps://github.com/youknowone/RustPython/tree/stack-effect-jump
Conversation 9 https://github.com/RustPython/RustPython/pull/7585
Commits 2 https://github.com/RustPython/RustPython/pull/7585/commits
Checks 19 https://github.com/RustPython/RustPython/pull/7585/checks
Files changed https://github.com/RustPython/RustPython/pull/7585/files
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
Add InstructionMetadata::stack_effect_jump for branch stack effects https://github.com/RustPython/RustPython/pull/7585/files#top
Show all changes 2 commits https://github.com/RustPython/RustPython/pull/7585/files
89191b8 Add InstructionMetadata::stack_effect_jump for branch stack effects youknowone Apr 13, 2026 https://github.com/RustPython/RustPython/pull/7585/commits/89191b8f21e18b780d26e5ae686ae4ff286fad65
f401e37 apply review youknowone Apr 13, 2026 https://github.com/RustPython/RustPython/pull/7585/commits/f401e374c8295e25c01f47d580bd51058257b873
Clear filters https://github.com/RustPython/RustPython/pull/7585/files
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
ir.rs https://github.com/RustPython/RustPython/pull/7585/files#diff-d8c69d86dba0a1bbfb21c9d93371294ea2861a4083565b20e622a7bec7da1ecc
instruction.rs https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
_opcode.rs https://github.com/RustPython/RustPython/pull/7585/files#diff-49b4012950d82df2891bf5e9ebe150f9e068a8b70f7287b3dbed84df43da5fbb
crates/codegen/src/ir.rshttps://github.com/RustPython/RustPython/pull/7585/files#diff-d8c69d86dba0a1bbfb21c9d93371294ea2861a4083565b20e622a7bec7da1ecc
View file https://github.com/youknowone/RustPython/blob/f401e374c8295e25c01f47d580bd51058257b873/crates/codegen/src/ir.rs
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/RustPython/RustPython/pull/7585/{{ revealButtonHref }}
https://github.com/RustPython/RustPython/pull/7585/files#diff-d8c69d86dba0a1bbfb21c9d93371294ea2861a4083565b20e622a7bec7da1ecc
https://github.com/RustPython/RustPython/pull/7585/files#diff-d8c69d86dba0a1bbfb21c9d93371294ea2861a4083565b20e622a7bec7da1ecc
crates/compiler-core/src/bytecode/instruction.rshttps://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
View file https://github.com/youknowone/RustPython/blob/f401e374c8295e25c01f47d580bd51058257b873/crates/compiler-core/src/bytecode/instruction.rs
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/RustPython/RustPython/pull/7585/{{ revealButtonHref }}
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
ShaharNavehhttps://github.com/ShaharNaveh
Apr 13, 2026https://github.com/RustPython/RustPython/pull/7585/files#r3071628358
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
youknowonehttps://github.com/youknowone
Apr 13, 2026https://github.com/RustPython/RustPython/pull/7585/files#r3071838121
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
youknowonehttps://github.com/youknowone
Apr 13, 2026https://github.com/RustPython/RustPython/pull/7585/files#r3072121428
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
#7588https://github.com/RustPython/RustPython/pull/7588
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
coderabbitaihttps://github.com/apps/coderabbitai
Apr 13, 2026https://github.com/RustPython/RustPython/pull/7585/files#r3071042100
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
https://docs.python.org/3.14/library/dis.htmlhttps://docs.python.org/3.14/library/dis.html
https://docs.python.org/3/library/dis.htmlhttps://docs.python.org/3/library/dis.html
https://github.com/python/cpython/blob/main/Python/bytecodes.chttps://github.com/python/cpython/blob/main/Python/bytecodes.c
dis: FOR_ITER says it no longer pops the stack in 3.12 but it still does when the iterator ended normally python/cpython#121399https://github.com/python/cpython/issues/121399
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
https://github.com/RustPython/RustPython/pull/7585/files#diff-6018c8f0dd833da5182e2e0bcbf8b6ef6c4e5e7922bf9297daf9e84824fcaa91
crates/stdlib/src/_opcode.rshttps://github.com/RustPython/RustPython/pull/7585/files#diff-49b4012950d82df2891bf5e9ebe150f9e068a8b70f7287b3dbed84df43da5fbb
View file https://github.com/youknowone/RustPython/blob/f401e374c8295e25c01f47d580bd51058257b873/crates/stdlib/src/_opcode.rs
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/RustPython/RustPython/pull/7585/{{ revealButtonHref }}
https://github.com/RustPython/RustPython/pull/7585/files#diff-49b4012950d82df2891bf5e9ebe150f9e068a8b70f7287b3dbed84df43da5fbb
coderabbitaihttps://github.com/apps/coderabbitai
Apr 13, 2026https://github.com/RustPython/RustPython/pull/7585/files#r3071554987
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
https://github.com/RustPython/RustPython/pull/7585/files#diff-49b4012950d82df2891bf5e9ebe150f9e068a8b70f7287b3dbed84df43da5fbb
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
https://github.com/RustPython/RustPython/pull/7585/files#diff-49b4012950d82df2891bf5e9ebe150f9e068a8b70f7287b3dbed84df43da5fbb
Please reload this pagehttps://github.com/RustPython/RustPython/pull/7585/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.