runtimeverification / runtimeverification/stable-mir-json
Add `main` to `functions` array
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 11
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
The functions array lists all functions that are being called (i.e., occur within a TerminatorKind::Call in a block anywhere within one of the items). Typically main is not one of these functions. However, we need main to be available so we can restore its blocks when returning from a call - and we should anyway strive to have complete data in the functions array, i.e., all items we have should also occur there.
- modify the
functionsdata collection to include themainfunction
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Locate the functions data collection and trace how items and TerminatorKind::Call entries are gathered. Check how main is represented among the items, include it in the functions data, and verify that the resulting array contains main as well as functions reached through calls.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100