3 ms·
aligned_alloc is a C function. It doesn't help the compiler prove that two pointers can't alias. restrict is the keyword that does.
by ryanpetrich 2y ago
aligned_alloc is a C function. It doesn't help the compiler prove that two pointers can't alias. restrict is the keyword that does.
- bobmcnamara 2y agoThe compiler is allowed to assume the results of malloc and certain other allocation functions do not alias. Restrict does too.