Altera Nios II C2H Compiler - Manual (Page 75)

Altera Corporation 9.1 3–35
November 2009 Nios II C2H Compiler User Guide
C-to-Hardware Mapping Reference
Figure 3–15. _ _ restrict _ _ Pointer Type Breaks Dependencies
Although a pointer qualified with _ _ restrict_ _ creates no
dependencies with other pointers, it can create dependencies with itself.
Figure 3–16 shows the dependency graph for Example 3–30 .
Example 3–30. Pointers Always Depend on Themselves
void foo(int * _ _ restrict_ _ my_ptr,
int offset_a,
int offset_b)
{
int a, b;
a = my_ptr[offset_a];
my_ptr[offset_a] = a + 7;
b = my_ptr[offset_b];
my_ptrb[offset_b] = b + 8;
}