我在x86_64上使用gcc 12.2.0，并在那里编译x64代码。我遇到了一个奇怪的问题，这给我带来了麻烦，并将其减少到最小的复制器：

#include <stdint.h>
#include <stdbool.h>

struct foobar_t {
    uint8_t data[512];
};

void my_memset(void *target) {
#if 1
    for (int i = 0; i < 256; i++) {
        ((uint16_t*)target)[i] = 0xabcd;
    }
#else
    for (int i = 0; i < 512; i++) {
        ((uint8_t*)target)[i] = 0xab;
    }
#endif
}

int main() {
    struct foobar_t foobar;
    my_memset(&foobar);
    if (foobar.data[123] == 0) {
        volatile int x = 0;
    }
    return 0;
}

当使用#if 1路径时，我会收到编译器警告：

$ gcc -O3 -fno-stack-protector -Wall -c -o x.o x.c
[...]
x.c:46:24: warning: ‘foobar’ is used uninitialized [-Wuninitialized]
   46 |         if (foobar.data[123] == 0) {

当我使用第二个代码路径（#if 0）时，这个错误完全消失了，唯一的区别是第一个代码路径设置了256个16位字，而第二个代码路径设置了512个字节。
在我得到警告的情况下，生成的程序集看起来也是错误的：

0000000000000000 <my_memset>:
   0:   f3 0f 1e fa             endbr64
   4:   66 0f 6f 05 00 00 00    movdqa 0x0(%rip),%xmm0        # c <my_memset+0xc>
   c:   48 8d 87 00 02 00 00    lea    0x200(%rdi),%rax
  13:   0f 1f 44 00 00          nopl   0x0(%rax,%rax,1)
  18:   0f 11 07                movups %xmm0,(%rdi)
  1b:   48 83 c7 10             add    $0x10,%rdi
  1f:   48 39 f8                cmp    %rdi,%rax
  22:   75 f4                   jne    18 <my_memset+0x18>
  24:   c3                      ret

0000000000000030 <main>:
  30:   f3 0f 1e fa             endbr64
  34:   48 81 ec a0 01 00 00    sub    $0x1a0,%rsp
  3b:   66 0f 6f 05 00 00 00    movdqa 0x0(%rip),%xmm0        # 43 <main+0x13>
  43:   48 8d 44 24 98          lea    -0x68(%rsp),%rax
  48:   48 8d 94 24 98 01 00    lea    0x198(%rsp),%rdx
  50:   0f 29 00                movaps %xmm0,(%rax)
  53:   48 83 c0 10             add    $0x10,%rax
  57:   48 39 c2                cmp    %rax,%rdx
  5a:   75 f4                   jne    50 <main+0x20>
  5c:   80 7c 24 13 00          cmpb   $0x0,0x13(%rsp)
  61:   75 08                   jne    6b <main+0x3b>
  63:   c7 44 24 94 00 00 00    movl   $0x0,-0x6c(%rsp)
  6b:   31 c0                   xor    %eax,%eax
  6d:   48 81 c4 a0 01 00 00    add    $0x1a0,%rsp
  74:   c3                      ret

这只保留堆栈上的0x 1a 0字节，即416字节。这不符合结构！这怎么可能？发生这种情况的原因是什么？
我已经尝试删除尽可能多的代码，同时仍然保留警告。如果我禁用优化，警告也会消失。