UNALLOCATED は、指定されたポインター値が割り振り済みストレージの始まりであるかどうかを示すビット (1) 値を戻します。 この組み込み関数を使用するには、CHECK(STORAGE) コンパイル時オプションも指定しなければ なりません。
|
指定されたポインター値が、ALLOCATE ステートメントまたは ALLOCATE 組み込み関数によって取得したストレージの始まり でない場合に、UNALLOCATED は bit(1) 値 '1'b を戻します。
なお、UNALLOCATED に渡されたポインターは、最も近いダブルワードに「切り捨て」られ、切り捨てられた値は、同様に切り捨てられた場合のすべての割り振り済みアドレスに対して比較されます。