[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