Falando em literais de string, o padrão C99 diz (6.4.5.6):

Não é especificado se essas matrizes são distintas, desde que seus elementos tenham os valores apropriados. Se o programa tentar modificar essa matriz, o comportamento será indefinid

Não foi possível encontrar um aviso semelhante ou uma garantia explícita para variáveis const. A expressão&x == &y no contextoconst int x=12; const int y=12; avalie para1? Que tal uma variável const e uma string literal (ou seja, é&x == "\014\000\000" garantido para ser0 mesmo em uma plataforma little-endian de 32 bits)?

Para que vale a pena, a seção "Literais de string" emesta publicação no blog fornece o contexto da pergunta.