C语言中严格别名规则仍需关注吗？GCC版本差异及优化疑问

我近期阅读了Mike Acton关于*strict aliasing（严格别名）*的知名文章，了解到通过告知编译器不会存在两种数据访问方式可显著提升C代码性能。为深入理解其细节，我使用Godbolt进行测试：

发现自GCC 4.7起，下述取自该文章的代码会完全符合直觉运行；但在更早版本中，无论是否搭配-O3添加-fstrict-aliasing选项，结果似乎无变化。文章中提到GCC会因严格别名规则将cp与sp视为不同对象，从而使arg保持不变，这在旧版GCC中确实如此，但新版并非如此。请问GCC 4.x版本是否修改了严格别名规则？相关说明在哪里？或是我的理解有误？

uint32_t
test(uint32_t arg)
{
  char*     const cp = (char*)&arg;
  uint16_t* const sp = (uint16_t*)cp;

  sp[0] = 0x1;
  sp[1] = 0x1;

  return (arg);
}

问题2：循环中指针解引用的优化疑问 #

我测试了另一段代码，无论是否启用strict aliasing或使用restrict关键字，结果均不受影响。我原以为编译器会仅加载一次n的值用于循环迭代，但实际每次打印时都会对n进行解引用。请问我忽略了什么？

void my_loop(int *n, int x)
{
    while (--x)
        printf("%d", *n);
}

内容的提问来源于stack exchange，提问作者alajnabi