--- Comment #2 from alexey dot salmin at gmail dot com 2010-04-27 09:46
---
> restrict only disambiguates against other restrict pointers.
Can you please support that assertion with a reference?
ISO/IEC 9899:TC2 Committee Draft May 6, 2005, 6.7.3 paragraph 7
> An object that is acces
--- Comment #1 from rguenth at gcc dot gnu dot org 2010-04-27 09:25 ---
It's not a bug. const restrict doesn't say anything special and restrict
only disambiguates against other restrict pointers. Thus, the store through
a _can_ modify what b points to.
--
rguenth at gcc dot gnu do