Skip to content

docs(lint): clarify stipend flow - #1996

Merged
mablr merged 1 commit into
foundry-rs:masterfrom
mattsse:mattsse/docs-unlimited-gas-flow
Jul 16, 2026
Merged

docs(lint): clarify stipend flow#1996
mablr merged 1 commit into
foundry-rs:masterfrom
mattsse:mattsse/docs-unlimited-gas-flow

Conversation

@mattsse

@mattsse mattsse commented Jul 16, 2026

Copy link
Copy Markdown
Member

The original reentrancy-unlimited-gas page in #1983 predates the flow corrections completed during review of foundry-rs/foundry#15768. This documents stored send result must-facts and their invalidation, repeated-span conservatism, failed-send pruning, rollback-only expression paths, do-while continue transitions, and Yul sstore, tstore, and log effects. It also records the conservative boundaries where the analysis deliberately drops correlation.

Follow-up to #1983 and foundry-rs/foundry#15768.

Prepared with assistance from OpenAI Codex.

@vercel

vercel Bot commented Jul 16, 2026

Copy link
Copy Markdown

@mattsse is attempting to deploy a commit to the Tempo Team on Vercel.

A member of the Team first needs to authorize it.

@mablr
mablr merged commit 85a35e0 into foundry-rs:master Jul 16, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants