https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84055
--- Comment #4 from Kip Warner <kip at thevertigo dot com> ---
Thanks Martin. I'm curious where the __int32 type was even coming from.
cl_platform.h has the following typedef, among others that use it...
typedef unsigned __int32 cl_uint;
...but no where can I find __int32 declared anywhere. As far as I know, this is
an M$ V!C++ built in type and gcc doesn't have it built in. The reason why I'm
curious is because I wanted to find where the alignment attribute was being
specified which was causing this hiccup?
