Skip to content

Trace local variable read/write via Truffle instrumentation#14540

Merged
JaroslavTulach merged 11 commits intodevelopfrom
wip/InstrumentReadWrite10525
Jan 13, 2026
Merged

Trace local variable read/write via Truffle instrumentation#14540
JaroslavTulach merged 11 commits intodevelopfrom
wip/InstrumentReadWrite10525

Conversation

@JaroslavTulach
Copy link
Member

@JaroslavTulach JaroslavTulach commented Dec 26, 2025

Pull Request Description

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

@JaroslavTulach JaroslavTulach self-assigned this Dec 26, 2025
@JaroslavTulach JaroslavTulach added the CI: No changelog needed Do not require a changelog entry for this PR. label Dec 26, 2025
@enso-bot enso-bot bot mentioned this pull request Dec 27, 2025
4 tasks
@JaroslavTulach JaroslavTulach changed the title Instrumentation to trace local variable read/write Trace local variable read/write via Truffle instrumentation Dec 28, 2025
Comment on lines +79 to +84
writeVariableNameEnter r
readVariableNameEnter b
readVariableNameReturn = 15
readVariableNameEnter a
readVariableNameReturn = 7
writeVariableNameReturn = 8
Copy link
Member Author

@JaroslavTulach JaroslavTulach Dec 28, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

  • this test for example shows that since the assignment of variable r starts (with writeVariableNameEnter r message)
    • we need to read variable b (with value 15)
    • and read variable a (with value 7)
  • to finish the assignment and place value 8 to the slot of variable r
  • would this be useful for tracking reactive dependencies between local variables, @hubertp?

Copy link
Contributor

@Akirathan Akirathan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems useful. Minor suggestion to add docs for assignmentBounds.

@JaroslavTulach JaroslavTulach merged commit dde5ee2 into develop Jan 13, 2026
75 checks passed
@JaroslavTulach JaroslavTulach deleted the wip/InstrumentReadWrite10525 branch January 13, 2026 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: Clean build required CI runners will be cleaned before and after this PR is built. CI: No changelog needed Do not require a changelog entry for this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants