Na expressãop + a Ondep é um tipo de ponteiro ea é um inteiro, regras de promoção inteiras serão aplicadas? Por exemplo, sea é umchar, em uma máquina de 64 bits, ele certamente será estendido para 64 bits antes de ser adicionado ao valor do ponteiro (na montagem compilada), mas será especificado pelos padrões? Para que será promovido?int, intptr_t ouptrdiff_t? O que iráunsigned char ousize_t ser convertido em?