按字节对齐#pragma pack的陷阱

以下测试代码里，结构体A2的对齐方式，gcc 3.4.6和4.1.2是不一样

#include <stdio.h>

#pragma pack(push)
#pragma pack(1)
struct a1
{
    short a;
    int b;
    char c;
}A1;
#pragma pack(pop)

struct a2
{
    short a;
    int b;
    char c;
}A2;

int main()
{
    printf("sizeof(A1):%d\n",sizeof(A1));
    printf("sizeof(A2):%d\n",sizeof(A2));
}

gcc 3.4.6编译时，会有警告：

pack.cpp:3: warning: malformed '#pragma pack(push[, id], <n>)' - ignored
pack.cpp:11: warning: #pragma pack (pop) encountered without matching #pragma pack (push, <n>)

运行结果是：

sizeof(A1):7
sizeof(A2):7

gcc 4.1.2编译时没有警告，运行结果是：

sizeof(A1):7
sizeof(A2):12

由此可见，#pragma pack(push) 被gcc 3.4.6认为是malformed，被忽略了，而#pragma pack (pop)而则没有与之相匹配的push，#pragma pack(1)一直生效着，结构体A2就不幸中枪了。

各家编译器对与pack的解释不一样，微软官网，Visual Studio 2013 VS支持 #pragma pack(show)，gcc不支持。对于pop，VS、gcc的不同版本貌似有不一样的理解。
微软的解释里写着
#pragma pack(pop, identifier, n) is undefined.
但是在The following sample shows how to use the push, pop, and show syntax.里又给了一个例子：
#pragma pack(pop, r1, 2) // n = 2 , stack popped

最稳妥的办法，就是#pragma pack(n)和#pragma pack()配合使用，是什么就是什么，压栈、出栈比较复杂。
或者用下面这种格式，对每个要按字节对齐的结构体单独说明：

#ifndef PACK
#define PACK  __attribute__ ((packed))
#endif

typedef struct a
{
     char a;
     int b;
}PACK A;

2014.03.31
补记：分X汇X服务器在某服务器上出现了使用#pragma pack(n)和#pragma pack()出错，而使用#pragma pack(push,n)和#pragma pack(pop)则(表现得)没有错误的现象。怀疑是其程序其他地方有bug，待验证。
其程序原来把几个头文件也放到了按字节对齐的代码块里，运行很久竟然没有发现，无论是否运行正常，这种写法是极其错误的，更正后仍存在上述问题，待解。