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.

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

Jump to bottom

Improve/fix array/pointer support in dizy #4

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Improve/fix array/pointer support in dizy #4

wants to merge 2 commits into from

Commits on Apr 28, 2015

  1. Fix pointer aliasing in declarations by using the same rules as for s… 

    …core

Previously, dizy only took into account variable initialization for integer
variables. Extend this to pointer variables, as in SCORE, in order for array
parameters to be correctly aliased.
    @ClearlyClaire
    ClearlyClaire committed Apr 28, 2015
    Configuration menu
    Copy the full SHA
    c4c87dc View commit details
    Browse the repository at this point in the history

  2. Do not handle only pointer values as arrays, but also array values… 

    dizy handles array access by discriminating against the type of the lvalue
and the rvalue, and checking whether they are pointer types.
However, LLVM makes a distinction between pointer values (int *foo) and array
values (int foo[2]). Therefore, on the following piece of code:
  int foo[2];
  foo[x] = 42;
dizy would lead to the following nonsensical interpretation:
  { foo - 42 = 0 }
instead of:
  { update( foo , idx ) - 42 = 0
    idx - 2 = 0 }
    @ClearlyClaire
    ClearlyClaire committed Apr 28, 2015
    Configuration menu
    Copy the full SHA
    77760a2 View commit details
    Browse the repository at this point in the history