stage3/array_range_check.cc
changeset 965 c9eeb67ba939
parent 964 5f4dfe6670da
child 970 0ede7ca157e2
equal deleted inserted replaced
964:5f4dfe6670da 965:c9eeb67ba939
    66     fprintf(stderr, __VA_ARGS__);                                                                                           \
    66     fprintf(stderr, __VA_ARGS__);                                                                                           \
    67     fprintf(stderr, "\n");                                                                                                  \
    67     fprintf(stderr, "\n");                                                                                                  \
    68     warning_found = true;                                                                                                   \
    68     warning_found = true;                                                                                                   \
    69 }
    69 }
    70 
    70 
    71 #define GET_CVALUE(dtype, symbol)             ((symbol)->const_value._##dtype.value)
    71 
    72 #define VALID_CVALUE(dtype, symbol)           (symbol_c::cs_const_value == (symbol)->const_value._##dtype.status)
    72 #define GET_CVALUE(dtype, symbol)             ((symbol)->const_value._##dtype.get())
       
    73 #define VALID_CVALUE(dtype, symbol)           ((symbol)->const_value._##dtype.is_valid())
    73 
    74 
    74 /*  The cmp_unsigned_signed function compares two numbers u and s.
    75 /*  The cmp_unsigned_signed function compares two numbers u and s.
    75  *  It returns an integer indicating the relationship between the numbers:
    76  *  It returns an integer indicating the relationship between the numbers:
    76  *  - A zero value indicates that both numbers are equal.
    77  *  - A zero value indicates that both numbers are equal.
    77  *  - A value greater than zero indicates that numbers does not match and
    78  *  - A value greater than zero indicates that numbers does not match and