Guardian Procedure Calls Reference Manual

block
output
EXTADDR .EXT:ref:1
is defined for these values of error:
blockerror
Address of the valid allocated block that precedes the address where the corruption is detected. If the
corruption is detected in the first block, then block is -4D.
11
Address of the valid free block that precedes the address where the corruption is detected. If the corruption
is detected in the first block, then block is -4D.
12
block-size
output
INT .EXT:ref:1
is defined for these values of error:
block-sizeerror
Block size of the last valid allocated block that precedes the address where the corruption is detected. If
the corruption is detected in the first block, then block is -4D and block-size is undefined.
11
Block size of the last valid free block that precedes the address where the corruption is detected. If the
corruption is detected in the first block, then block is -4D and block-size is undefined.
12
tag-size
output
INT .EXT:ref:1
is the size in bytes of a boundary tag that defines the beginning or end of a block.
Returned Value
INT
Outcome of the call:
No error.0
Required parameter missing. pool must be specified.2
Bounds error. A parameter on the parameter list has a bounds error.3
Corrupt pool header.9
Corrupt allocated blocks. Data is probably written beyond the allocated block.11
Corrupt free list blocks. Data is probably written into a returned block.12
Considerations
See the POOL_DEFINE_ procedure Considerations (page 940).
Example
error := POOL_CHECK_( pool, corruption^addr, pblock );
Related Programming Manual
For programming information about the POOL_CHECK_ memory-management procedure, see the
Guardian Programmer's Guide.
938 Guardian Procedure Calls (P)