Skip to content

Implement restrictions on taking addresses of members and variables. #490

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.

Sign up for GitHub

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

Merged
merged 9 commits into from
May 21, 2018
Merged

Implement restrictions on taking addresses of members and variables. #490

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2427c04
Track dependences of member bounds on members.
dtarditi Apr 17, 2018
8e25583
Merge branch 'master' into issue213
dtarditi Apr 30, 2018
2d720e0
Create separate file for checking alias requirements.
dtarditi May 3, 2018
6c145ac
Merge branch 'master' into issue213
dtarditi May 10, 2018
570d6ea
Separate file checking Checked C alias requirements.
dtarditi May 10, 2018
a11d46c
Check that members used in member bounds are not address-taken.
dtarditi May 12, 2018
ecdb72c
Check for taking address of members/vars with bounds.
dtarditi May 16, 2018
7cc754b
Handle missing cases for members with bounds.
dtarditi May 17, 2018
a0ec575
Handle member bounds involving nested members.
dtarditi May 18, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into issue213
  • Loading branch information
@dtarditi
dtarditi committed May 10, 2018
commit 6c145ac116ab5a4429b25f80b4b1088f3a6803e6

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.