...
| Code Block | ||||
|---|---|---|---|---|
| ||||
int * a;
int * b;
extern int c[];
int main(void) {
c[0] = 17;
c[1] = 18;
a = &c[0];
b = &c[1];
a = b; /* Valid defined behavior */
/* ... */
} |
restrict-qualified
...
Function Parameters
When calling functions that have restrict qualified function parameters, it is important that pointers do not reference overlapping objects if one or more of the objects modify memory. Thus it is important to understand the semantics of the function being called.
...