test193.c 368 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
typedef __crust_t__ unsigned char *crust_t;

crust_t var1;
crust_t var2;

void function(crust_t);

void main(crust_t __crust_not_null__ arg1) {

    if ((var1 == NULL) && (var2 == NULL)) {
        var1 = arg1;
        var2 = arg1;
    } else {
        function(arg1);
    }
    __crust_debug__
    // ERROR: there are two global variables pointing to the same block
}