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

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

Merged
merged 9 commits into from
May 21, 2018

Commits on Apr 17, 2018

  1. Configuration menu
    Copy the full SHA
    2427c04 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2018

  1. Configuration menu
    Copy the full SHA
    8e25583 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2018

  1. Configuration menu
    Copy the full SHA
    2d720e0 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2018

  1. Configuration menu
    Copy the full SHA
    6c145ac View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    570d6ea View commit details
    Browse the repository at this point in the history

Commits on May 15, 2018

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

    Handle the case that a member is directly used in a member bounds.
    We'll handle the case where a member of a member is used later.
    
    There are 3 situations that we handle:
    1. Address-taken members used in a bounds declarations.
    2. Address-taken members used in a bounds-safe interface.
    - To avoid producing errors for existing code, it is not an error in
      an unchecked scope.
    - It is an error if this is done in a checked scope.
    dtarditi committed May 15, 2018
    Configuration menu
    Copy the full SHA
    a11d46c View commit details
    Browse the repository at this point in the history

Commits on May 16, 2018

  1. Configuration menu
    Copy the full SHA
    ecdb72c View commit details
    Browse the repository at this point in the history

Commits on May 17, 2018

  1. Handle missing cases for members with bounds.

    - When computing paths, skip lvalue bit casts introduced for bunds-safe
      interfaces.
    - Don't give an error for taking the address of an array with bounds.
    dtarditi committed May 17, 2018
    Configuration menu
    Copy the full SHA
    7cc754b View commit details
    Browse the repository at this point in the history

Commits on May 18, 2018

  1. Configuration menu
    Copy the full SHA
    a0ec575 View commit details
    Browse the repository at this point in the history