http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47599
--- Comment #6 from Bastien ROUCARIES <roucaries.bastien+bugs at gmail dot com> 2011-02-04 09:39:02 UTC --- I have checked with gcc -E the following program: typedef __WCHAR_TYPE__ wchar_t; under linux it output typedef int wchar_t under linux with -fno-short-char it output typedef int wchar_t under linux with -fshort-char it output typedef short unsigned int wchar_t under cygwin it output typedef short unsigned int wchar_t nder linux with -fno-short-char it output typedef short unsigned int wchar_t (BUG) under linux with -fshort-char it output typedef short unsigned int wchar_t Bastien
