[sv-ec] rand modifier on handle to null

LRM does not say explicitly what should happened if handle pointing to null
is randomized.
See below case - there are 2 calls to randomize (1 to method 1 to function).
In both calls handle to null is randomized.
Should it be "null pointer reference" fatal error or randomize function
(method) should automatically ignore null references?
IMHO LRM should explicitly describe proper behaviour.

class A;
    rand int i ;
endclass
 
class C;
   rand A a = null;
endclass
 
module top;
    C c = new;
    C c0;
    initial begin
        c.randomize(); //
        randomize(c0); //c is null
    end
endmodule

DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.