test200.c 281 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
struct crust_ts {
    char var1;
    int var2;
    struct crust_ts *next;
};

typedef __crust_t__ struct crust_ts* crust_t;

crust_t global_var;

void function(crust_t);

void main(crust_t __crust_not_null__ var) {

    global_var.var1 = var; // this is fine
    __crust_debug__
}