------- Comment #7 from rguenth at gcc dot gnu dot org 2009-06-25 10:28 ------- With the new restrict implementation baz() works and all the rest would work as well if the calls to link_error () would not cause the malloced memory to be clobbered. The artifact here is that malloced memory is considered global (we are not allowed to remove stores to it).
But this is all unrelated to restrict support which should be properly fixed now. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2462