------- Comment #5 from bonzini at gnu dot org 2009-05-03 12:11 ------- In many cases, opaque types are used in the prototypes just to avoid warnings.
You're right that the front-end should insert VIEW_CONVERT_EXPRs. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40009
