Skip to content

Conversation

@sim642
Copy link
Member

@sim642 sim642 commented Mar 14, 2023

This returns a list of data for all varinfos known to CIL, including:

  1. vid to be used for other requests since name is not globally unique,
  2. original_name to be used for mapping to actual code names (or detecting temporaries if missing),
  3. role and function for determining the scope.

This is provided as a list and a client may construct suitably grouped mappings from it.

@sim642 sim642 added feature debugging Abstract debugging labels Mar 14, 2023
@sim642 sim642 requested a review from FeldrinH March 14, 2023 09:23
@sim642 sim642 merged commit b5c1b39 into master Mar 21, 2023
@sim642 sim642 deleted the server-cil branch March 21, 2023 11:34
@sim642
Copy link
Member Author

sim642 commented Mar 21, 2023

I added a richvarinfos request directly on master: db5843f. That should return all of those alloc variables.

@sim642 sim642 added this to the v2.2.0 milestone Apr 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

debugging Abstract debugging feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants