Update of dereferenced pointer is again broken in v0.3.39 #602

Closed
SebastianS90 opened this Issue Mar 22, 2016 · 2 comments

Projects

None yet

2 participants

@SebastianS90
Contributor

Related to #551

Consider again this program:

method m(&int x):
    *x = 1

It worked fine with the wyjc-all-v0.3.38.jar release, but the latest v0.3.39 release yields the error message we had before:

$ cat test.whiley 
method m(&int x):
    *x = 1
$ java -jar wyjc-all-v0.3.39.jar test.whiley 
./test.whiley:2: internal failure, Invalid type for Update
    *x = 1
    ^^
@DavePearce
Member

Hey, yeah I have seen that. I think it's something to do with the WyJC backend. Am currently working on it as part of my branch feature/474-blocks.

@DavePearce DavePearce added a commit that referenced this issue Mar 23, 2016
@DavePearce DavePearce WyJC: Update WyJC
This updates WyJC to now correctly compile code and pass tests.  There
seems to have been some problem with tests that were also failing in the
previous release.  See #602

This also updates the RuntimeValidTests so that it now searches in the tests
directory automatically to find test cases.  This means that we no
longer have to maintain the long list of test cases and make sure they
are in sync, etc.
25ed15f
@DavePearce DavePearce added a commit that referenced this issue Mar 27, 2016
@DavePearce DavePearce WyJC: Update WyJC
This updates WyJC to now correctly compile code and pass tests.  There
seems to have been some problem with tests that were also failing in the
previous release.  See #602

This also updates the RuntimeValidTests so that it now searches in the tests
directory automatically to find test cases.  This means that we no
longer have to maintain the long list of test cases and make sure they
are in sync, etc.
e108011
@DavePearce
Member

Right, this is now fixed in the latest develop snapshot.

@DavePearce DavePearce closed this Mar 27, 2016
@DavePearce DavePearce modified the milestone: v0.3.40 May 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment