Skip to content

Conversation

@fw-immunant
Copy link
Contributor

@fw-immunant fw-immunant commented Jan 30, 2026

Fixes #1563.

This builds and works, with the following caveats:

  • Uses of an item are returned as source locations; these need to be resolved to their immediately containing item.
  • Output should be formatted as JSON.
  • Function signatures are not printed cleanly; we dump R-A's internal representation instead of generating Rust source for types.
  • We might want to select only some outputs (uses/used items/fn signature), and we might want to accept multiple paths at once as input. This is up to what c2rust-postprocess and the rest of the CRISP loop needs.
  • No automated tests as of yet.

@fw-immunant fw-immunant changed the title [WIP] Implement related decls tool [WIP] Implement related_decls tool Jan 30, 2026
arguably we should use serde_json for output formatting, but this works for now
@fw-immunant fw-immunant changed the title [WIP] Implement related_decls tool Implement related_decls tool Jan 31, 2026
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.

Compute related definitions

2 participants