Na maioria das implementações atuais, um valor inteiro assinado que possui um padrão de bits 1 para o bit de sinal e todos os 0 para os bits de valor tendem a representar o menor valor possível para esse tipo de número inteiro assinado.

No entanto, como6.2.6.2p2 estados, isso não é um requisito:

Qual dessas opções se aplica à definição de implementação, assim como se o valor com o bit de sinal 1 e todos os bits de valor zero (para os dois primeiros) ou com o bit de sinal e todos os bits de valor 1 (para o complemento), é uma representação de interceptação ou um valor normal.

Minha primeira pergunta é simples: existem implementações que usam esse padrão de bits para um zero negativo ou uma representação de trap? Se a resposta a esta pergunta for 'não', a resposta para minhas perguntas de acompanhamento também deverá ser 'não'.

Na sequência dessa pergunta,6.2.6.2p3 afirma que quando um zero negativo é atribuído a um objeto, ele pode (ou não) ser convertido em um zero regular:

Não é especificado se esses casos realmente geram um zero negativo ou um zero normal e se um zero negativo se torna um zero normal quando armazenado em um objeto.

Minhas perguntas de acompanhamento:

Existem implementações que usam uma representação de interceptação em vez de um zero negativo para esse padrão de bits?Existem implementações que usam um zero negativo armazenado como um valor distinto?Existem implementações que usam um zero negativo armazenado como um zero regular?

editar para esclarecimento: eu souNÃO perguntando o que é teoricamente possível em um sistema que usa um complemento, dois complementos ou representações de sinal e magnitude para números inteiros assinados. Eu posso encontrar (e encontrei) essas informações nas seções que citei anteriormente nesta pergunta. Estou perguntando sobreo que realmente foi feito.