https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84055
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> --- Here's what I see in attachment #43249: $ cat -n minimal.ii | grep -E -e 'typedef *[^ ]+ *cl_uint' -e uint32_t | grep typedef 66 typedef unsigned int __uint32_t; 186 typedef __uint32_t uint32_t; 239 typedef uint32_t cl_uint __attribute__((aligned(4))); 5667 typedef cl_uint4 cl_uint3;