В выраженииp + a гдеp это тип указателя иa такое целое число, будут ли применяться правила целочисленного продвижения? Например, еслиa этоcharна 64-битной машине он обязательно будет расширен до 64-битной, прежде чем будет добавлен к значению указателя (в скомпилированной сборке), но указано ли это стандартами? К чему это будет продвигаться?int, intptr_t или жеptrdiff_t? Что будетunsigned char или жеsize_t быть преобразованным в?