diff -r 412780374bd3 -r c8092e909886 stage3/array_range_check.cc --- a/stage3/array_range_check.cc Wed Jun 13 19:51:26 2012 +0200 +++ b/stage3/array_range_check.cc Thu Jun 14 12:00:19 2012 +0100 @@ -135,6 +135,8 @@ if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE(uint64, dimension->upper_limit)) if ( GET_CVALUE(uint64, l->elements[i]) > GET_CVALUE(uint64, dimension->upper_limit)) {STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds."); continue;} + + /* TODO: what happens when one has a int64 cvalue, and another has a uint64 cvalue? */ } }