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

crust_t var1;

void function(crust_t);

void main(crust_t __crust_not_null__ arg1) {

    if (var1 == NULL) {
        var1 = arg1; // fine
        __crust_debug__
        arg1 = NULL; // It is fine because it has been assigned to a global variable
        __crust_debug__
    } else {
        function(arg1);
    }
}