5.1.2 #pragma _KAP distinct

This assertion tells KAP that listed objects (variables, arrays, items pointed to with a pointer) do not overlap in memory. The syntax of this pragma is as follows:

#pragma _KAP distinct (expr1, expr2[, expr3,...])

In the syntax, expr1, expr2,... represent objects. The form is as follows:

• id - A variable

• *id - What the pointer id points to

• id[] - The array whose name is id

For example, if the object pointed to by a pointer p never overlaps with the array a[i] for any i used in the program, this can be asserted with #pragma _KAP distinct (*p, a[]) .

All variables specified in this assertion must have been previously declared.

The range of this assertion is the function where it was written and any succeeding functions. If this assertion is made about local variables or function parameters, it will have no effect outside the immediate function.

Copyright © Digital Equipment Corporation. 1999. All Rights Reserved.