On 10 November 2014 16:49, Joel Sherrill wrote: > I just submitted a patch using stdint.h and uintptr_t to gcc-patches. libstdc++ patches must be CCd to the libstdc++ list.