GCC 版本升级后，GCC 优化可能导致可重入函数的意外行为

如何解决GCC 版本升级后，GCC 优化可能导致可重入函数的意外行为

将 gcc 版本从 4.6.3 升级到 8.2.0。如果没有内存屏障，以下函数将无法工作。

static u32 checksumPsedoHeader(u16 size,u32 src_addr,u32 dest_addr)
{
    const u16 protocol_udp = 17;
    u32 checksum = 0;
    // Add UDP pseudo header.
    struct PseudoHeader
    {
         unsigned int src;
         unsigned int dst;
         unsigned char zero;
         unsigned char proto;
         u16 length;
    } pseudoHeader;

    // Initalize the array. Using an uninitialized
    // array is not acceptable by newer compiler versions.
    memset((void*)&pseudoHeader,sizeof(pseudoHeader));

    pseudoHeader.dst = htonl(dest_addr);
    pseudoHeader.src = htonl(src_addr);
    pseudoHeader.zero = 0;
    pseudoHeader.proto = protocol_udp;
    pseudoHeader.length = htons(size);

    u16 *pseudo_header_p = (u16*)&pseudoHeader;

    asm volatile("" ::: "memory");  // The function doesn't work without this line after GCC upgration.

    for (u32 i = 0; i < sizeof(pseudoHeader); i += 2)
    {
        checksum = checksum + *pseudo_header_p;
        pseudo_header_p++;
    }

    return checksum;
}

为什么这里需要内存屏障？指针类型转换使编译器做了错误的优化（内存屏障后，for循环从内存中取值但所有值都没有刷新到内存中）？