ifnull r1 then halt (* null check *) else (* constraints : {I7 IG (ptr(r7'))}G9{i7' IG (int)}“' *) Notice that a single null test refines the type of ...
確定! 回上一頁