Displaying 1 result from an estimated 1 matches for "gep1baseoffset".
2018 Jun 18
2
Question about Alias Analysis with restrict keyword
Hello All,
I have met a case with restrict keyword and I have a question about it.
Let's look at a simple example.
char buf[4];
void test(char *restrict a, char *restrict b, int count) {
for (unsigned i = 0; i < count; i++) {
*a = *b;
a++;
b++;
buf[i] = i;
}
}
I think there are no aliasing among pointers such as 'a', 'b' and 'buf'