[PATCH 6/7] Merge of gcc patches

[Richard Henderson]

This has in effect already been applied.  Note that FFI_TYPE_VOID now appears
in the switch statement.  The abort now only applies to true out-of-bounds, aka
corrupt, ffi_type data.


r~