C Frustration Unions And Constructors
Using PreFast internally we recently came across a class of bugs. In several places we were using uninitialized structures as local variables. The error came about because the types in question had no default constructor. For instance take the following structure