Open atzannes opened 11 years ago
A warnings should be emitted when a feature is used that could render unsound the results of the checker. E.g., Unions Bitfields Exceptions GOTOs Explicit Casting
A warnings should be emitted when a feature is used that could render unsound the results of the checker. E.g., Unions Bitfields Exceptions GOTOs Explicit Casting