Tue Nov 13 23:54:46 EST 2012


In which cases is "restrict" more powerful than using C code that
performs load/store explicitly?  I.e. the code never reads twice from
the same memory location?

Still, if code is in a loop with only a single load/store, the
compiler doesn't know that output and input are not the same so can
not re-order the load/store.

[1] http://en.wikipedia.org/wiki/Restrict
[2] https://lwn.net/Articles/255364/