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