SashaMercury1.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 6.2.5.16.2.5 Types
1 The meaning of a value stored in an object or returned by a function is determined by the
type of the expression used to access it. (An identifier declared to be an object is the
simplest such expression; the type is specified in the declaration of the identifier.) Types
are partitioned into object types (types that describe objects) and function types (types
that describe functions). At various points within a translation unit an object type may be
incomplete (lacking sufficient information to determine the size of objects of that type) or
complete (having sufficient information))

Например во время integer promotion ? Когда char может быть расширен до int ?
Нет. Это про структуры/классы.


SashaMercury2.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 6.2.5.2An object declared as type _Bool is large enough to store the values 0 and 1.

Почему этот тип называется _Bool а не bool ?(вообще название выделяется из остальных, хотя бы тем что начинается с "_") Я могу хранить только 0 и 1, или как минимум 0 и 1 ?
Почему _Bool не знаю.
Хранить можно только 0 и 1 остальное не гарантируется.

SashaMercury3.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 6.2.5.4There are five standard signed integer types, designated as signed char, short
int, int, long int, and long long int. (These and other types may be
designated in several additional ways, as described in 6.7.2.) There may also be
implementation-defined extended signed integer types. The standard and extended
signed integer types are collectively called signed integer types.

Приведите пожалуйста пример
например, на некоторых платформах есть тип __int128
SashaMercury4.
quote INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 6.2.5.5An object declared as type signed char occupies the same amount of storage as a
‘‘plain’’ char object. A ‘‘plain’’ int object has the natural size suggested by the
architecture of the execution environment (large enough to contain any value in the range
INT_MIN to INT_MAX as defined in the header <limits.h>).

Я понимаю это как -"классический" char. Как правильно ? Можно ли самому менять диапазоны в этом файле ? Подозреваю что можно. Но сомневаюсь, что если поставлю в максимум 2^100 fe, то мне выделится 13 байт при объявлении int.
plain - это простой. В данном случае имеется в виду char без модификаторов signed/unsigned
Менять хедеры описанные в стандарте - нельзя. (Да и бессмысленно в данном случае, т.к. <limits.h> всего лишь описывает жестко зашитые в компилятор лимиты, а не задает их)

SashaMercury5.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 6.2.5.9The range of nonnegative values of a signed integer type is a subrange of the
corresponding unsigned integer type, and the representation of the same value in each
type is the same.41) A computation involving unsigned operands can never overflow,
because a result that cannot be represented by the resulting unsigned integer type is
reduced modulo the number that is one greater than the largest value that can be
represented by the resulting type.

Второе место где возникли трудности, скорее не с переводом, а с пониманием. Вот как я это понял:
Если операндами выражения являются unisigned int, то мы никогда не получим переполнение, потому что, в том случае, если у нас есть переполнение(или как написано-если результат не может быть представлен в unsigned int), то над результатом(над каким результатом ?) произойдёт операция reduced modulo...дальше не понял

При переполнении беззнакововой операции результатом будет остаток от деления на 2 в степени разрядность конечного типа. Другими словами все старшие биты, которые не влезают, будут отброшены.