https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85637
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Err, wrong function assembly pasted. Note you also can make this * restrict via __attribute__((noinline)) void Update(const void* b, unsigned int len) __restrict { if (len) { which has the same effect.