Skip to content

name an object as the subject only when it holds what was stored - #80

Merged
rikvanriel merged 1 commit into
facebookexperimental:mainfrom
rikvanriel:scratch/riel/series-a-function-arguments
Aug 28, 2026
Merged

name an object as the subject only when it holds what was stored#80
rikvanriel merged 1 commit into
facebookexperimental:mainfrom
rikvanriel:scratch/riel/series-a-function-arguments

Conversation

@rikvanriel

Copy link
Copy Markdown
Contributor

request_irq(adapter->pdev->irq, e1000_intr, IRQF_SHARED, netdev->name, netdev) was reported as attaching the handler to net_device::name. It passes a member of an object, which is the shape an attachment takes, but that member is the string the interrupt is named after and the handler never goes near it.

An object is the subject when it holds the thing the callee stored into: call_rcu(&inode->i_rcu, cb) passes an rcu_head, the callback lands in rcu_head::func, and inode::i_rcu is declared as an rcu_head. Check that, and the wrong claim goes away while the RCU ones stay.

Assisted-by: claw:claude-opus-5

`request_irq(adapter->pdev->irq, e1000_intr, IRQF_SHARED, netdev->name, netdev)`
was reported as attaching the handler to net_device::name. It passes a member
of an object, which is the shape an attachment takes, but that member is the
string the interrupt is named after and the handler never goes near it.

An object is the subject when it holds the thing the callee stored into:
`call_rcu(&inode->i_rcu, cb)` passes an rcu_head, the callback lands in
rcu_head::func, and inode::i_rcu is declared as an rcu_head. Check that, and
the wrong claim goes away while the RCU ones stay.

Assisted-by: claw:claude-opus-5
Signed-off-by: Rik van Riel <[email protected]>
@meta-cla meta-cla Bot added the CLA Signed This label is managed by the Meta Open Source bot. label Aug 28, 2026
@rikvanriel
rikvanriel merged commit d2fecd1 into facebookexperimental:main Aug 28, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Meta Open Source bot.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant