I think the idea is that if the user had aliased *count and the string they would have got undefined behavior. So the compiler can assume they didn't and is al

I think the idea is that if the user had aliased *count and the string they would have got undefined behavior. So the compiler can assume they didn't and is allowed to optimize away the loop with memset.