undefined | Better HN

0 pointswayoverthecloud1y ago0 comments

Not sure for C

0 comments

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.

The compiler is allowed to assume the results of malloc and certain other allocation functions do not alias.

Restrict does too.

j / k navigate · click thread line to collapse

0 pointswayoverthecloud1y ago0 comments

Not sure for C

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.

The compiler is allowed to assume the results of malloc and certain other allocation functions do not alias.

Restrict does too.

j / k navigate · click thread line to collapse