Formatadores C99 printf vs literais definidos pelo usuário do C ++ 11

Este código:

#define __STDC_FORMAT_MACROS
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
int main(int argc,char **argv)
{
   uint64_t val=1234567890;
   printf("%"PRId64"\n",val);
   exit(0);
}

Trabalha para C99, C ++ 03, C ++ 11 de acordo com o GCC 4.5, mas falha em C ++ 11 de acordo com o GCC 4.7.1. Adicionando um espaço antes dePRId64 permite que o GCC 4.7.1 o compil

Qual é o correto?

questionAnswers(1)

yourAnswerToTheQuestion