Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More visibility and linkage #78

Merged
merged 1 commit into from
May 16, 2021
Merged

Conversation

noughtmare
Copy link
Contributor

@noughtmare noughtmare commented May 10, 2021

Fixes #77

I wasn't completely sure how to deal with the declare function. I could give it FunAttrs as argument like define, but declare doesn't have the garbage collection attribute.

The main changes are:

  • add linkage and visibility to Declare
  • add visibility to Define
  • add linkage and visibility to GlobalAlias

@elliottt
Copy link
Collaborator

This looks good to me, thanks for fixing this! I think it would be reasonable to introduce another type like FunAttrs for the declare function, if you'd like to tackle that in a follow-up PR.

@elliottt elliottt merged commit 8456623 into GaloisInc:master May 16, 2021
RyanGlScott added a commit to GaloisInc/crucible that referenced this pull request Aug 20, 2021
RyanGlScott added a commit to GaloisInc/crucible that referenced this pull request Aug 20, 2021
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.

Define is missing the visibility field
2 participants