On 4/28/11 7:53 PM, bearophile wrote:
Andrei:C's restricts sets a poor example.There are infinite things that a compiler can't prove about the code.
Restrict is particularly bad. See http://www.lysator.liu.se/c/dmr-on-noalias.html (noalias was the initial name of restrict).
Andrei