As the article notes, range-based for loops side-step this problem. But the general problem (writing to a char* of unknown provenance might force the compiler

As the article notes, range-based for loops side-step this problem. But the general problem (writing to a char* of unknown provenance might force the compiler to reload any other pointer reads) remains, of course.