如果要使用 reinterpret_cast 或等价的旧式强制类型转换，程序可能会违反分析假定。此外，联合类型也违反了分析的假定，如以下示例所示。
union bitbucket{ int i; float f; }; int bitsof(float f){ bitbucket var; var.f=3.6; return var.i; }
