UNALLOCATED は、指定されたポインター値が割り振り済みストレージの始まりであるかどうかを示すビット (1) 値を戻します。 この組み込み関数を使用するには、CHECK(STORAGE) コンパイル時オプションも指定しなければ なりません。
>>-UNALLOCATED(P)----------------------------------------------><
指定されたポインター値が、ALLOCATE ステートメント または ALLOCATE 組み込み関数によって取得したストレージの始まり である場合に、UNALLOCATED は bit(1) 値 '1'b を戻します。