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

Merged

dtarditi merged 9 commits intomasterfrom issue213

May 21, 2018

+470-19

Commits on Apr 17, 2018

Track dependences of member bounds on members.
dtarditi
committed

Commits on Apr 30, 2018

Merge branch 'master' into issue213
dtarditi
committed

Commits on May 3, 2018

Create separate file for checking alias requirements.
dtarditi
committed

Commits on May 10, 2018

Commits on May 15, 2018

Check that members used in member bounds are not address-taken.
dtarditi
committed

Commits on May 16, 2018

Check for taking address of members/vars with bounds.
dtarditi
committed

Commits on May 17, 2018

Handle missing cases for members with bounds.
dtarditi
committed

Commits on May 18, 2018

Handle member bounds involving nested members.
dtarditi
committed