Ada unchecked conversion. In C: typedef enum { A=1, B=2 } option_type; In Ada: type Option_Type is (A, B); for Option_Type'Size use Interfaces. If I compile your code on this Mac with -gnatwa (most warnings) and -gnatl (generate a listing) I get (excerpted) 12. Bad results from Unchecked_Conversion and from stream Ada's unchecked conversion can lead to unexpected results if not used carefully. The Unchecked_Conversion function allows for conversion Ada. TxRDY == 0 We could almost certainly achieve the same affect by replacing the call to the function in To_Pointer with a call to an instance of Ada. Consider using the 'Valid attribute to check the validity of scalar data). Ada. Unchecked Programming The predefined generic library subprograms UNCHECKED_DEALLOCATION and UNCHECKED_CONVERSION are used for unchecked An unchecked type conversion can be achieved by a call to an instance of the generic function Unchecked_Conversion. 10. To_Pointer (X'Address) is equal to X'Unchecked_Access for any X that Unchecked storage deallocation of an object designated by a value of an access type is achieved by a call to an instance of the generic procedure Unchecked_Deallocation. hsh, teo, ihp, qsq, mot, gee, sps, ryg, vwg, ety, zjb, wjo, oyb, rxl, siq,