[M3devel] m3cc -enable-checking=all
Jay K
jay.krell at cornell.edu
Mon May 31 10:44:27 CEST 2010
Configure = Configure & " -enable-checking=all"
enables a bunch of extra checks.
That fail.
With the current 4.3 backend.
I'm going to look into some/all of this.
.1079 = D.1078 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64
int_64
int_64
D.1101 = D.1100 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64
int_64
int_64
D.1121 = D.1120 & 1
../src/ConnectRdWr.m3:35: error: type mismatch in binary expression
word_64
I think this might be one and only one problem.
The "tagged reference" checking using signed 1 instead of unsigned 1 in anding with the address.
Probably positive constants that fit in the signed type of the same size shouldn't fail.
- Jay
More information about the M3devel
mailing list