Representation-of-integer-operations
A representation of C integer operations in ACL2.
This is part of the shallow embedding.
We define ACL2 functions that model C operations on
the integer types supported in our model,
namely the standard unsigned and signed integers, except _Bool.
We introduce functions <type>-<base>-const
to construct integer constants.
Following [C:6.4.4.1], these have non-negative values
and may have only certain integer types,
namely those with the same rank as int or higher.
Thus we introduce three functions for each integer type in those ranks,
one function per possible base (decimal, octal, hexadecimal).
Each takes a natural number as argument,
which the guard further constrains to be representable in the type.
The three functions for the three bases have the same definition,
but they represent syntactically different constants in C.
We introduce functions boolean-from-<type>
to turn C integers into ACL2 booleans,
i.e. to test whether the integers are not zero.
These are used to represent shallowly embedded tests.
We introduce a function for each integer type.
We introduce a single function sint-from-boolean
to turn ACL2 booleans into the int 0 or 1 (for false and true).
This function is used in the ACL2 representation of
non-strict C conjunctions && and disjunctions ||,
which always return int 0 or 1 [C:6.5.13/3] [C:6.5.14/3].
We do not need similar functions for other types,
because the 0 or 1 are always int
for operations like && and ||.
We introduce functions for the unary and strict pure binary operators,
as detailed below.
We do not introduce functions for the non-strict binary operators,
because those are modeled via ACL2's and and or,
which are also non-strict.
We do not introduce functions for the non-pure binary operators
(i.e. assignments), because they are modeled differently in ACL2.
For each unary operator, we introduce a function for each integer type.
The function takes an argument of that integer type,
and returns a result of possibly different type.
For all the unary integer operators except !,
C promotes operands [C:6.3.1.1/2] to types of rank int or higher,
and that is also the result of the operator.
C does not promote the operand of !;
this operator always returns an int.
For all the binary integer operators
except <<, >>, &&, and ||,
C subjects the operands to the usual arithmetic conversions [C:6.3.1.8],
which involve promoting them [C:6.3.1.1/2]
and turning them into a common type of rank int or higher:
thus, it suffices to define functions for operands
of the same type of rank int or higher.
C also promotes, individually, the operands of << and >>,
but without turning them into a common type;
while the type of the first operand affects the result,
only the (mathematical) integer value of the second operand does.
When the exact result of an aritmetic operation on signed integers
is not representable in the signed integer type,
the behavior is undefined [C:6.5/5]:
our functions for signed integer operations
have guards requiring the results to be representable.
Arithmetic on unsigned integers is modular [C:6.2.5/9].
The right operand of a signed shift operator
must be non-negative and below the bit size of the left operand
[C:6.5.7/3].
The left operand, when signed, must be non-negative.
These requirements are captured in the guards.
For division and remainder,
the guard also requires the divisor to be non-zero.
The relational and equality operators,
as well as the logical negation, conjunction, and disjunction operations,
always return int, regardless of the types of the operands.
The bitwise operations assume a two's complement representation,
which is consistent with our model of integer values; these operations depend on the C representation of integers [C:6.5/4].
Subtopics
- Def-integer-operations-2
- Event to generate the ACL2 models of
the C integer operations that involve two integer types.
- Def-integer-operations-1
- Event to generate the ACL2 models of
the C integer operations that involve one integer type.
- Defun-integer
- Function definition macro specialized for C integer operations.
- Sint-from-boolean
- Turn an ACL2 boolean into an int value 0 or 1.
- Def-integer-operations-2-loop-inner
- Events to generate the ACL2 models of
the C integer operations that involve
an integer type as first operand
and each of a list of integer types as second operand.
- Def-integer-operations-2-loop-outer
- Events to generate the ACL2 models of
the C integer operations that involve
each of a list of integer types as first operand
and each of a list of integer types as second operand.
- Add-sint-sint
- Addition of a value of type signed int and a value of type signed int [C:6.5.6].
- Rem-sllong-sllong-okp
- Check if the remainder of a value of type signed long long and a value of type signed long long is well-defined.
- Mul-sllong-sllong-okp
- Check if the multiplication of a value of type signed long long and a value of type signed long long is well-defined.
- Div-sllong-sllong-okp
- Check if the division of a value of type signed long long and a value of type signed long long is well-defined.
- Boolean-from-sint
- Check if a value of type signed int is not 0.
- Sub-ushort-ushort-okp
- Check if the subtraction of a value of type unsigned short and a value of type unsigned short is well-defined.
- Sub-ushort-uchar-okp
- Check if the subtraction of a value of type unsigned short and a value of type unsigned char is well-defined.
- Sub-ushort-sshort-okp
- Check if the subtraction of a value of type unsigned short and a value of type signed short is well-defined.
- Sub-ushort-slong-okp
- Check if the subtraction of a value of type unsigned short and a value of type signed long is well-defined.
- Sub-ushort-sllong-okp
- Check if the subtraction of a value of type unsigned short and a value of type signed long long is well-defined.
- Sub-ushort-schar-okp
- Check if the subtraction of a value of type unsigned short and a value of type signed char is well-defined.
- Sub-uint-sllong-okp
- Check if the subtraction of a value of type unsigned int and a value of type signed long long is well-defined.
- Sub-uchar-ushort-okp
- Check if the subtraction of a value of type unsigned char and a value of type unsigned short is well-defined.
- Sub-uchar-uchar-okp
- Check if the subtraction of a value of type unsigned char and a value of type unsigned char is well-defined.
- Sub-uchar-sshort-okp
- Check if the subtraction of a value of type unsigned char and a value of type signed short is well-defined.
- Sub-uchar-sllong-okp
- Check if the subtraction of a value of type unsigned char and a value of type signed long long is well-defined.
- Sub-sshort-ushort-okp
- Check if the subtraction of a value of type signed short and a value of type unsigned short is well-defined.
- Sub-sshort-uchar-okp
- Check if the subtraction of a value of type signed short and a value of type unsigned char is well-defined.
- Sub-sshort-sshort-okp
- Check if the subtraction of a value of type signed short and a value of type signed short is well-defined.
- Sub-sshort-slong-okp
- Check if the subtraction of a value of type signed short and a value of type signed long is well-defined.
- Sub-sshort-sllong-okp
- Check if the subtraction of a value of type signed short and a value of type signed long long is well-defined.
- Sub-sshort-schar-okp
- Check if the subtraction of a value of type signed short and a value of type signed char is well-defined.
- Sub-slong-ushort-okp
- Check if the subtraction of a value of type signed long and a value of type unsigned short is well-defined.
- Sub-slong-sshort-okp
- Check if the subtraction of a value of type signed long and a value of type signed short is well-defined.
- Sub-slong-sllong-okp
- Check if the subtraction of a value of type signed long and a value of type signed long long is well-defined.
- Sub-sllong-ushort-okp
- Check if the subtraction of a value of type signed long long and a value of type unsigned short is well-defined.
- Sub-sllong-uchar-okp
- Check if the subtraction of a value of type signed long long and a value of type unsigned char is well-defined.
- Sub-sllong-sshort-okp
- Check if the subtraction of a value of type signed long long and a value of type signed short is well-defined.
- Sub-sllong-slong-okp
- Check if the subtraction of a value of type signed long long and a value of type signed long is well-defined.
- Sub-sllong-sllong-okp
- Check if the subtraction of a value of type signed long long and a value of type signed long long is well-defined.
- Sub-sllong-sllong
- Subtraction of a value of type signed long long and a value of type signed long long [C:6.5.6].
- Sub-sllong-schar-okp
- Check if the subtraction of a value of type signed long long and a value of type signed char is well-defined.
- Sub-sint-sint-okp
- Check if the subtraction of a value of type signed int and a value of type signed int is well-defined.
- Sub-sint-sint
- Subtraction of a value of type signed int and a value of type signed int [C:6.5.6].
- Sub-schar-ushort-okp
- Check if the subtraction of a value of type signed char and a value of type unsigned short is well-defined.
- Sub-schar-sshort-okp
- Check if the subtraction of a value of type signed char and a value of type signed short is well-defined.
- Sub-schar-sllong-okp
- Check if the subtraction of a value of type signed char and a value of type signed long long is well-defined.
- Shr-ushort-ushort-okp
- Check if the right shift of a value of type unsigned short by a value of type unsigned short is well-defined.
- Shr-ushort-ulong-okp
- Check if the right shift of a value of type unsigned short by a value of type unsigned long is well-defined.
- Shr-ushort-ullong-okp
- Check if the right shift of a value of type unsigned short by a value of type unsigned long long is well-defined.
- Shr-ushort-uchar-okp
- Check if the right shift of a value of type unsigned short by a value of type unsigned char is well-defined.
- Shr-ushort-sshort-okp
- Check if the right shift of a value of type unsigned short by a value of type signed short is well-defined.
- Shr-ushort-slong-okp
- Check if the right shift of a value of type unsigned short by a value of type signed long is well-defined.
- Shr-ushort-sllong-okp
- Check if the right shift of a value of type unsigned short by a value of type signed long long is well-defined.
- Shr-ushort-schar-okp
- Check if the right shift of a value of type unsigned short by a value of type signed char is well-defined.
- Shr-ulong-ushort-okp
- Check if the right shift of a value of type unsigned long by a value of type unsigned short is well-defined.
- Shr-ulong-ullong-okp
- Check if the right shift of a value of type unsigned long by a value of type unsigned long long is well-defined.
- Shr-ulong-sshort-okp
- Check if the right shift of a value of type unsigned long by a value of type signed short is well-defined.
- Shr-ulong-sllong-okp
- Check if the right shift of a value of type unsigned long by a value of type signed long long is well-defined.
- Shr-ullong-ushort-okp
- Check if the right shift of a value of type unsigned long long by a value of type unsigned short is well-defined.
- Shr-ullong-ulong-okp
- Check if the right shift of a value of type unsigned long long by a value of type unsigned long is well-defined.
- Shr-ullong-ullong-okp
- Check if the right shift of a value of type unsigned long long by a value of type unsigned long long is well-defined.
- Shr-ullong-uchar-okp
- Check if the right shift of a value of type unsigned long long by a value of type unsigned char is well-defined.
- Shr-ullong-sshort-okp
- Check if the right shift of a value of type unsigned long long by a value of type signed short is well-defined.
- Shr-ullong-slong-okp
- Check if the right shift of a value of type unsigned long long by a value of type signed long is well-defined.
- Shr-ullong-sllong-okp
- Check if the right shift of a value of type unsigned long long by a value of type signed long long is well-defined.
- Shr-ullong-schar-okp
- Check if the right shift of a value of type unsigned long long by a value of type signed char is well-defined.
- Shr-uchar-ushort-okp
- Check if the right shift of a value of type unsigned char by a value of type unsigned short is well-defined.
- Shr-uchar-ullong-okp
- Check if the right shift of a value of type unsigned char by a value of type unsigned long long is well-defined.
- Shr-uchar-sshort-okp
- Check if the right shift of a value of type unsigned char by a value of type signed short is well-defined.
- Shr-uchar-sllong-okp
- Check if the right shift of a value of type unsigned char by a value of type signed long long is well-defined.
- Shr-sshort-ushort-okp
- Check if the right shift of a value of type signed short by a value of type unsigned short is well-defined.
- Shr-sshort-ulong-okp
- Check if the right shift of a value of type signed short by a value of type unsigned long is well-defined.
- Shr-sshort-ullong-okp
- Check if the right shift of a value of type signed short by a value of type unsigned long long is well-defined.
- Shr-sshort-uchar-okp
- Check if the right shift of a value of type signed short by a value of type unsigned char is well-defined.
- Shr-sshort-sshort-okp
- Check if the right shift of a value of type signed short by a value of type signed short is well-defined.
- Shr-sshort-slong-okp
- Check if the right shift of a value of type signed short by a value of type signed long is well-defined.
- Shr-sshort-sllong-okp
- Check if the right shift of a value of type signed short by a value of type signed long long is well-defined.
- Shr-sshort-schar-okp
- Check if the right shift of a value of type signed short by a value of type signed char is well-defined.
- Shr-slong-ushort-okp
- Check if the right shift of a value of type signed long by a value of type unsigned short is well-defined.
- Shr-slong-ullong-okp
- Check if the right shift of a value of type signed long by a value of type unsigned long long is well-defined.
- Shr-slong-sshort-okp
- Check if the right shift of a value of type signed long by a value of type signed short is well-defined.
- Shr-slong-sllong-okp
- Check if the right shift of a value of type signed long by a value of type signed long long is well-defined.
- Shr-sllong-ushort-okp
- Check if the right shift of a value of type signed long long by a value of type unsigned short is well-defined.
- Shr-sllong-ulong-okp
- Check if the right shift of a value of type signed long long by a value of type unsigned long is well-defined.
- Shr-sllong-ullong-okp
- Check if the right shift of a value of type signed long long by a value of type unsigned long long is well-defined.
- Shr-sllong-uchar-okp
- Check if the right shift of a value of type signed long long by a value of type unsigned char is well-defined.
- Shr-sllong-sshort-okp
- Check if the right shift of a value of type signed long long by a value of type signed short is well-defined.
- Shr-sllong-slong-okp
- Check if the right shift of a value of type signed long long by a value of type signed long is well-defined.
- Shr-sllong-sllong-okp
- Check if the right shift of a value of type signed long long by a value of type signed long long is well-defined.
- Shr-sllong-schar-okp
- Check if the right shift of a value of type signed long long by a value of type signed char is well-defined.
- Shr-sint-sint-okp
- Check if the right shift of a value of type signed int by a value of type signed int is well-defined.
- Shr-schar-ushort-okp
- Check if the right shift of a value of type signed char by a value of type unsigned short is well-defined.
- Shr-schar-ullong-okp
- Check if the right shift of a value of type signed char by a value of type unsigned long long is well-defined.
- Shr-schar-sshort-okp
- Check if the right shift of a value of type signed char by a value of type signed short is well-defined.
- Shr-schar-sllong-okp
- Check if the right shift of a value of type signed char by a value of type signed long long is well-defined.
- Shl-ushort-ushort-okp
- Check if the left shift of a value of type unsigned short by a value of type unsigned short is well-defined.
- Shl-ushort-ulong-okp
- Check if the left shift of a value of type unsigned short by a value of type unsigned long is well-defined.
- Shl-ushort-ullong-okp
- Check if the left shift of a value of type unsigned short by a value of type unsigned long long is well-defined.
- Shl-ushort-uchar-okp
- Check if the left shift of a value of type unsigned short by a value of type unsigned char is well-defined.
- Shl-ushort-sshort-okp
- Check if the left shift of a value of type unsigned short by a value of type signed short is well-defined.
- Shl-ushort-slong-okp
- Check if the left shift of a value of type unsigned short by a value of type signed long is well-defined.
- Shl-ushort-sllong-okp
- Check if the left shift of a value of type unsigned short by a value of type signed long long is well-defined.
- Shl-ushort-schar-okp
- Check if the left shift of a value of type unsigned short by a value of type signed char is well-defined.
- Shl-ulong-ushort-okp
- Check if the left shift of a value of type unsigned long by a value of type unsigned short is well-defined.
- Shl-ulong-ullong-okp
- Check if the left shift of a value of type unsigned long by a value of type unsigned long long is well-defined.
- Shl-ulong-sshort-okp
- Check if the left shift of a value of type unsigned long by a value of type signed short is well-defined.
- Shl-ulong-sllong-okp
- Check if the left shift of a value of type unsigned long by a value of type signed long long is well-defined.
- Shl-ullong-ushort-okp
- Check if the left shift of a value of type unsigned long long by a value of type unsigned short is well-defined.
- Shl-ullong-ulong-okp
- Check if the left shift of a value of type unsigned long long by a value of type unsigned long is well-defined.
- Shl-ullong-ullong-okp
- Check if the left shift of a value of type unsigned long long by a value of type unsigned long long is well-defined.
- Shl-ullong-uchar-okp
- Check if the left shift of a value of type unsigned long long by a value of type unsigned char is well-defined.
- Shl-ullong-sshort-okp
- Check if the left shift of a value of type unsigned long long by a value of type signed short is well-defined.
- Shl-ullong-slong-okp
- Check if the left shift of a value of type unsigned long long by a value of type signed long is well-defined.
- Shl-ullong-sllong-okp
- Check if the left shift of a value of type unsigned long long by a value of type signed long long is well-defined.
- Shl-ullong-schar-okp
- Check if the left shift of a value of type unsigned long long by a value of type signed char is well-defined.
- Shl-uchar-ushort-okp
- Check if the left shift of a value of type unsigned char by a value of type unsigned short is well-defined.
- Shl-uchar-ullong-okp
- Check if the left shift of a value of type unsigned char by a value of type unsigned long long is well-defined.
- Shl-uchar-sshort-okp
- Check if the left shift of a value of type unsigned char by a value of type signed short is well-defined.
- Shl-uchar-sllong-okp
- Check if the left shift of a value of type unsigned char by a value of type signed long long is well-defined.
- Shl-sshort-ushort-okp
- Check if the left shift of a value of type signed short by a value of type unsigned short is well-defined.
- Shl-sshort-ulong-okp
- Check if the left shift of a value of type signed short by a value of type unsigned long is well-defined.
- Shl-sshort-ullong-okp
- Check if the left shift of a value of type signed short by a value of type unsigned long long is well-defined.
- Shl-sshort-uchar-okp
- Check if the left shift of a value of type signed short by a value of type unsigned char is well-defined.
- Shl-sshort-sshort-okp
- Check if the left shift of a value of type signed short by a value of type signed short is well-defined.
- Shl-sshort-slong-okp
- Check if the left shift of a value of type signed short by a value of type signed long is well-defined.
- Shl-sshort-sllong-okp
- Check if the left shift of a value of type signed short by a value of type signed long long is well-defined.
- Shl-sshort-schar-okp
- Check if the left shift of a value of type signed short by a value of type signed char is well-defined.
- Shl-slong-ushort-okp
- Check if the left shift of a value of type signed long by a value of type unsigned short is well-defined.
- Shl-slong-ullong-okp
- Check if the left shift of a value of type signed long by a value of type unsigned long long is well-defined.
- Shl-slong-sshort-okp
- Check if the left shift of a value of type signed long by a value of type signed short is well-defined.
- Shl-slong-sllong-okp
- Check if the left shift of a value of type signed long by a value of type signed long long is well-defined.
- Shl-sllong-ushort-okp
- Check if the left shift of a value of type signed long long by a value of type unsigned short is well-defined.
- Shl-sllong-ulong-okp
- Check if the left shift of a value of type signed long long by a value of type unsigned long is well-defined.
- Shl-sllong-ullong-okp
- Check if the left shift of a value of type signed long long by a value of type unsigned long long is well-defined.
- Shl-sllong-uchar-okp
- Check if the left shift of a value of type signed long long by a value of type unsigned char is well-defined.
- Shl-sllong-sshort-okp
- Check if the left shift of a value of type signed long long by a value of type signed short is well-defined.
- Shl-sllong-slong-okp
- Check if the left shift of a value of type signed long long by a value of type signed long is well-defined.
- Shl-sllong-sllong-okp
- Check if the left shift of a value of type signed long long by a value of type signed long long is well-defined.
- Shl-sllong-schar-okp
- Check if the left shift of a value of type signed long long by a value of type signed char is well-defined.
- Shl-sint-sint-okp
- Check if the left shift of a value of type signed int by a value of type signed int is well-defined.
- Shl-schar-ushort-okp
- Check if the left shift of a value of type signed char by a value of type unsigned short is well-defined.
- Shl-schar-ullong-okp
- Check if the left shift of a value of type signed char by a value of type unsigned long long is well-defined.
- Shl-schar-sshort-okp
- Check if the left shift of a value of type signed char by a value of type signed short is well-defined.
- Shl-schar-sllong-okp
- Check if the left shift of a value of type signed char by a value of type signed long long is well-defined.
- Rem-ushort-ushort-okp
- Check if the remainder of a value of type unsigned short and a value of type unsigned short is well-defined.
- Rem-ushort-ulong-okp
- Check if the remainder of a value of type unsigned short and a value of type unsigned long is well-defined.
- Rem-ushort-ullong-okp
- Check if the remainder of a value of type unsigned short and a value of type unsigned long long is well-defined.
- Rem-ushort-uchar-okp
- Check if the remainder of a value of type unsigned short and a value of type unsigned char is well-defined.
- Rem-ushort-sshort-okp
- Check if the remainder of a value of type unsigned short and a value of type signed short is well-defined.
- Rem-ushort-slong-okp
- Check if the remainder of a value of type unsigned short and a value of type signed long is well-defined.
- Rem-ushort-sllong-okp
- Check if the remainder of a value of type unsigned short and a value of type signed long long is well-defined.
- Rem-ushort-schar-okp
- Check if the remainder of a value of type unsigned short and a value of type signed char is well-defined.
- Rem-ulong-ushort-okp
- Check if the remainder of a value of type unsigned long and a value of type unsigned short is well-defined.
- Rem-ulong-ullong-okp
- Check if the remainder of a value of type unsigned long and a value of type unsigned long long is well-defined.
- Rem-ulong-sshort-okp
- Check if the remainder of a value of type unsigned long and a value of type signed short is well-defined.
- Rem-ulong-sllong-okp
- Check if the remainder of a value of type unsigned long and a value of type signed long long is well-defined.
- Rem-ullong-ushort-okp
- Check if the remainder of a value of type unsigned long long and a value of type unsigned short is well-defined.
- Rem-ullong-ulong-okp
- Check if the remainder of a value of type unsigned long long and a value of type unsigned long is well-defined.
- Rem-ullong-ullong-okp
- Check if the remainder of a value of type unsigned long long and a value of type unsigned long long is well-defined.
- Rem-ullong-ullong
- Remainder of a value of type unsigned long long and a value of type unsigned long long [C:6.5.5].
- Rem-ullong-uchar-okp
- Check if the remainder of a value of type unsigned long long and a value of type unsigned char is well-defined.
- Rem-ullong-sshort-okp
- Check if the remainder of a value of type unsigned long long and a value of type signed short is well-defined.
- Rem-ullong-slong-okp
- Check if the remainder of a value of type unsigned long long and a value of type signed long is well-defined.
- Rem-ullong-sllong-okp
- Check if the remainder of a value of type unsigned long long and a value of type signed long long is well-defined.
- Rem-ullong-schar-okp
- Check if the remainder of a value of type unsigned long long and a value of type signed char is well-defined.
- Rem-uint-ullong-okp
- Check if the remainder of a value of type unsigned int and a value of type unsigned long long is well-defined.
- Rem-uchar-ushort-okp
- Check if the remainder of a value of type unsigned char and a value of type unsigned short is well-defined.
- Rem-uchar-ullong-okp
- Check if the remainder of a value of type unsigned char and a value of type unsigned long long is well-defined.
- Rem-uchar-sshort-okp
- Check if the remainder of a value of type unsigned char and a value of type signed short is well-defined.
- Rem-uchar-sllong-okp
- Check if the remainder of a value of type unsigned char and a value of type signed long long is well-defined.
- Rem-sshort-ushort-okp
- Check if the remainder of a value of type signed short and a value of type unsigned short is well-defined.
- Rem-sshort-ulong-okp
- Check if the remainder of a value of type signed short and a value of type unsigned long is well-defined.
- Rem-sshort-ullong-okp
- Check if the remainder of a value of type signed short and a value of type unsigned long long is well-defined.
- Rem-sshort-uchar-okp
- Check if the remainder of a value of type signed short and a value of type unsigned char is well-defined.
- Rem-sshort-sshort-okp
- Check if the remainder of a value of type signed short and a value of type signed short is well-defined.
- Rem-sshort-slong-okp
- Check if the remainder of a value of type signed short and a value of type signed long is well-defined.
- Rem-sshort-sllong-okp
- Check if the remainder of a value of type signed short and a value of type signed long long is well-defined.
- Rem-sshort-schar-okp
- Check if the remainder of a value of type signed short and a value of type signed char is well-defined.
- Rem-slong-ushort-okp
- Check if the remainder of a value of type signed long and a value of type unsigned short is well-defined.
- Rem-slong-ullong-okp
- Check if the remainder of a value of type signed long and a value of type unsigned long long is well-defined.
- Rem-slong-sshort-okp
- Check if the remainder of a value of type signed long and a value of type signed short is well-defined.
- Rem-slong-slong-okp
- Check if the remainder of a value of type signed long and a value of type signed long is well-defined.
- Rem-slong-sllong-okp
- Check if the remainder of a value of type signed long and a value of type signed long long is well-defined.
- Rem-sllong-ushort-okp
- Check if the remainder of a value of type signed long long and a value of type unsigned short is well-defined.
- Rem-sllong-ulong-okp
- Check if the remainder of a value of type signed long long and a value of type unsigned long is well-defined.
- Rem-sllong-ullong-okp
- Check if the remainder of a value of type signed long long and a value of type unsigned long long is well-defined.
- Rem-sllong-uchar-okp
- Check if the remainder of a value of type signed long long and a value of type unsigned char is well-defined.
- Rem-sllong-sshort-okp
- Check if the remainder of a value of type signed long long and a value of type signed short is well-defined.
- Rem-sllong-slong-okp
- Check if the remainder of a value of type signed long long and a value of type signed long is well-defined.
- Rem-sllong-schar-okp
- Check if the remainder of a value of type signed long long and a value of type signed char is well-defined.
- Rem-sint-sint-okp
- Check if the remainder of a value of type signed int and a value of type signed int is well-defined.
- Rem-schar-ushort-okp
- Check if the remainder of a value of type signed char and a value of type unsigned short is well-defined.
- Rem-schar-ullong-okp
- Check if the remainder of a value of type signed char and a value of type unsigned long long is well-defined.
- Rem-schar-sshort-okp
- Check if the remainder of a value of type signed char and a value of type signed short is well-defined.
- Rem-schar-sllong-okp
- Check if the remainder of a value of type signed char and a value of type signed long long is well-defined.
- Mul-ushort-ushort-okp
- Check if the multiplication of a value of type unsigned short and a value of type unsigned short is well-defined.
- Mul-ushort-uchar-okp
- Check if the multiplication of a value of type unsigned short and a value of type unsigned char is well-defined.
- Mul-ushort-sshort-okp
- Check if the multiplication of a value of type unsigned short and a value of type signed short is well-defined.
- Mul-ushort-slong-okp
- Check if the multiplication of a value of type unsigned short and a value of type signed long is well-defined.
- Mul-ushort-sllong-okp
- Check if the multiplication of a value of type unsigned short and a value of type signed long long is well-defined.
- Mul-ushort-schar-okp
- Check if the multiplication of a value of type unsigned short and a value of type signed char is well-defined.
- Mul-uint-sllong-okp
- Check if the multiplication of a value of type unsigned int and a value of type signed long long is well-defined.
- Mul-uchar-ushort-okp
- Check if the multiplication of a value of type unsigned char and a value of type unsigned short is well-defined.
- Mul-uchar-uchar-okp
- Check if the multiplication of a value of type unsigned char and a value of type unsigned char is well-defined.
- Mul-uchar-sshort-okp
- Check if the multiplication of a value of type unsigned char and a value of type signed short is well-defined.
- Mul-uchar-sllong-okp
- Check if the multiplication of a value of type unsigned char and a value of type signed long long is well-defined.
- Mul-uchar-schar-okp
- Check if the multiplication of a value of type unsigned char and a value of type signed char is well-defined.
- Mul-sshort-ushort-okp
- Check if the multiplication of a value of type signed short and a value of type unsigned short is well-defined.
- Mul-sshort-uchar-okp
- Check if the multiplication of a value of type signed short and a value of type unsigned char is well-defined.
- Mul-sshort-sshort-okp
- Check if the multiplication of a value of type signed short and a value of type signed short is well-defined.
- Mul-sshort-slong-okp
- Check if the multiplication of a value of type signed short and a value of type signed long is well-defined.
- Mul-sshort-sllong-okp
- Check if the multiplication of a value of type signed short and a value of type signed long long is well-defined.
- Mul-sshort-schar-okp
- Check if the multiplication of a value of type signed short and a value of type signed char is well-defined.
- Mul-slong-ushort-okp
- Check if the multiplication of a value of type signed long and a value of type unsigned short is well-defined.
- Mul-slong-sshort-okp
- Check if the multiplication of a value of type signed long and a value of type signed short is well-defined.
- Mul-slong-slong-okp
- Check if the multiplication of a value of type signed long and a value of type signed long is well-defined.
- Mul-slong-sllong-okp
- Check if the multiplication of a value of type signed long and a value of type signed long long is well-defined.
- Mul-sllong-ushort-okp
- Check if the multiplication of a value of type signed long long and a value of type unsigned short is well-defined.
- Mul-sllong-uchar-okp
- Check if the multiplication of a value of type signed long long and a value of type unsigned char is well-defined.
- Mul-sllong-sshort-okp
- Check if the multiplication of a value of type signed long long and a value of type signed short is well-defined.
- Mul-sllong-slong-okp
- Check if the multiplication of a value of type signed long long and a value of type signed long is well-defined.
- Mul-sllong-sllong
- Multiplication of a value of type signed long long and a value of type signed long long [C:6.5.5].
- Mul-sllong-schar-okp
- Check if the multiplication of a value of type signed long long and a value of type signed char is well-defined.
- Mul-sint-sllong-okp
- Check if the multiplication of a value of type signed int and a value of type signed long long is well-defined.
- Mul-sint-sint-okp
- Check if the multiplication of a value of type signed int and a value of type signed int is well-defined.
- Mul-sint-sint
- Multiplication of a value of type signed int and a value of type signed int [C:6.5.5].
- Mul-schar-ushort-okp
- Check if the multiplication of a value of type signed char and a value of type unsigned short is well-defined.
- Mul-schar-uchar-okp
- Check if the multiplication of a value of type signed char and a value of type unsigned char is well-defined.
- Mul-schar-sshort-okp
- Check if the multiplication of a value of type signed char and a value of type signed short is well-defined.
- Mul-schar-sllong-okp
- Check if the multiplication of a value of type signed char and a value of type signed long long is well-defined.
- Le-ullong-ullong
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned long long [C:6.5.8].
- Ge-ullong-ullong
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned long long [C:6.5.8].
- Ge-sllong-sllong
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type signed long long [C:6.5.8].
- Div-ushort-ushort-okp
- Check if the division of a value of type unsigned short and a value of type unsigned short is well-defined.
- Div-ushort-ulong-okp
- Check if the division of a value of type unsigned short and a value of type unsigned long is well-defined.
- Div-ushort-ullong-okp
- Check if the division of a value of type unsigned short and a value of type unsigned long long is well-defined.
- Div-ushort-uchar-okp
- Check if the division of a value of type unsigned short and a value of type unsigned char is well-defined.
- Div-ushort-sshort-okp
- Check if the division of a value of type unsigned short and a value of type signed short is well-defined.
- Div-ushort-slong-okp
- Check if the division of a value of type unsigned short and a value of type signed long is well-defined.
- Div-ushort-sllong-okp
- Check if the division of a value of type unsigned short and a value of type signed long long is well-defined.
- Div-ushort-schar-okp
- Check if the division of a value of type unsigned short and a value of type signed char is well-defined.
- Div-ulong-ushort-okp
- Check if the division of a value of type unsigned long and a value of type unsigned short is well-defined.
- Div-ulong-ullong-okp
- Check if the division of a value of type unsigned long and a value of type unsigned long long is well-defined.
- Div-ulong-sshort-okp
- Check if the division of a value of type unsigned long and a value of type signed short is well-defined.
- Div-ulong-sllong-okp
- Check if the division of a value of type unsigned long and a value of type signed long long is well-defined.
- Div-ullong-ushort-okp
- Check if the division of a value of type unsigned long long and a value of type unsigned short is well-defined.
- Div-ullong-ulong-okp
- Check if the division of a value of type unsigned long long and a value of type unsigned long is well-defined.
- Div-ullong-ullong-okp
- Check if the division of a value of type unsigned long long and a value of type unsigned long long is well-defined.
- Div-ullong-ullong
- Division of a value of type unsigned long long and a value of type unsigned long long [C:6.5.5].
- Div-ullong-uchar-okp
- Check if the division of a value of type unsigned long long and a value of type unsigned char is well-defined.
- Div-ullong-sshort-okp
- Check if the division of a value of type unsigned long long and a value of type signed short is well-defined.
- Div-ullong-slong-okp
- Check if the division of a value of type unsigned long long and a value of type signed long is well-defined.
- Div-ullong-sllong-okp
- Check if the division of a value of type unsigned long long and a value of type signed long long is well-defined.
- Div-ullong-schar-okp
- Check if the division of a value of type unsigned long long and a value of type signed char is well-defined.
- Div-uchar-ushort-okp
- Check if the division of a value of type unsigned char and a value of type unsigned short is well-defined.
- Div-uchar-ullong-okp
- Check if the division of a value of type unsigned char and a value of type unsigned long long is well-defined.
- Div-uchar-sshort-okp
- Check if the division of a value of type unsigned char and a value of type signed short is well-defined.
- Div-uchar-sllong-okp
- Check if the division of a value of type unsigned char and a value of type signed long long is well-defined.
- Div-sshort-ushort-okp
- Check if the division of a value of type signed short and a value of type unsigned short is well-defined.
- Div-sshort-ulong-okp
- Check if the division of a value of type signed short and a value of type unsigned long is well-defined.
- Div-sshort-ullong-okp
- Check if the division of a value of type signed short and a value of type unsigned long long is well-defined.
- Div-sshort-uchar-okp
- Check if the division of a value of type signed short and a value of type unsigned char is well-defined.
- Div-sshort-sshort-okp
- Check if the division of a value of type signed short and a value of type signed short is well-defined.
- Div-sshort-slong-okp
- Check if the division of a value of type signed short and a value of type signed long is well-defined.
- Div-sshort-sllong-okp
- Check if the division of a value of type signed short and a value of type signed long long is well-defined.
- Div-sshort-schar-okp
- Check if the division of a value of type signed short and a value of type signed char is well-defined.
- Div-slong-ushort-okp
- Check if the division of a value of type signed long and a value of type unsigned short is well-defined.
- Div-slong-ullong-okp
- Check if the division of a value of type signed long and a value of type unsigned long long is well-defined.
- Div-slong-sshort-okp
- Check if the division of a value of type signed long and a value of type signed short is well-defined.
- Div-slong-slong-okp
- Check if the division of a value of type signed long and a value of type signed long is well-defined.
- Div-slong-sllong-okp
- Check if the division of a value of type signed long and a value of type signed long long is well-defined.
- Div-sllong-ushort-okp
- Check if the division of a value of type signed long long and a value of type unsigned short is well-defined.
- Div-sllong-ulong-okp
- Check if the division of a value of type signed long long and a value of type unsigned long is well-defined.
- Div-sllong-ullong-okp
- Check if the division of a value of type signed long long and a value of type unsigned long long is well-defined.
- Div-sllong-uchar-okp
- Check if the division of a value of type signed long long and a value of type unsigned char is well-defined.
- Div-sllong-sshort-okp
- Check if the division of a value of type signed long long and a value of type signed short is well-defined.
- Div-sllong-slong-okp
- Check if the division of a value of type signed long long and a value of type signed long is well-defined.
- Div-sllong-schar-okp
- Check if the division of a value of type signed long long and a value of type signed char is well-defined.
- Div-sint-sint-okp
- Check if the division of a value of type signed int and a value of type signed int is well-defined.
- Div-schar-ushort-okp
- Check if the division of a value of type signed char and a value of type unsigned short is well-defined.
- Div-schar-ullong-okp
- Check if the division of a value of type signed char and a value of type unsigned long long is well-defined.
- Div-schar-sshort-okp
- Check if the division of a value of type signed char and a value of type signed short is well-defined.
- Div-schar-sllong-okp
- Check if the division of a value of type signed char and a value of type signed long long is well-defined.
- Bitxor-ushort-ushort
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type unsigned short [C:6.5.11].
- Bitxor-ushort-ullong
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type unsigned long long [C:6.5.11].
- Bitxor-ushort-uchar
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type unsigned char [C:6.5.11].
- Bitxor-ushort-sshort
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type signed short [C:6.5.11].
- Bitxor-ushort-sllong
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type signed long long [C:6.5.11].
- Bitxor-ulong-ullong
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type unsigned long long [C:6.5.11].
- Bitxor-ulong-sllong
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type signed long long [C:6.5.11].
- Bitxor-ullong-ushort
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type unsigned short [C:6.5.11].
- Bitxor-ullong-ullong
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type unsigned long long [C:6.5.11].
- Bitxor-ullong-sshort
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type signed short [C:6.5.11].
- Bitxor-ullong-sllong
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type signed long long [C:6.5.11].
- Bitxor-uchar-ushort
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type unsigned short [C:6.5.11].
- Bitxor-uchar-ullong
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type unsigned long long [C:6.5.11].
- Bitxor-uchar-sllong
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type signed long long [C:6.5.11].
- Bitxor-sshort-ushort
- Bitwise exclusive disjunction of a value of type signed short and a value of type unsigned short [C:6.5.11].
- Bitxor-sshort-ullong
- Bitwise exclusive disjunction of a value of type signed short and a value of type unsigned long long [C:6.5.11].
- Bitxor-sshort-sshort
- Bitwise exclusive disjunction of a value of type signed short and a value of type signed short [C:6.5.11].
- Bitxor-sshort-sllong
- Bitwise exclusive disjunction of a value of type signed short and a value of type signed long long [C:6.5.11].
- Bitxor-slong-ullong
- Bitwise exclusive disjunction of a value of type signed long and a value of type unsigned long long [C:6.5.11].
- Bitxor-slong-sllong
- Bitwise exclusive disjunction of a value of type signed long and a value of type signed long long [C:6.5.11].
- Bitxor-sllong-ushort
- Bitwise exclusive disjunction of a value of type signed long long and a value of type unsigned short [C:6.5.11].
- Bitxor-sllong-ulong
- Bitwise exclusive disjunction of a value of type signed long long and a value of type unsigned long [C:6.5.11].
- Bitxor-sllong-ullong
- Bitwise exclusive disjunction of a value of type signed long long and a value of type unsigned long long [C:6.5.11].
- Bitxor-sllong-sshort
- Bitwise exclusive disjunction of a value of type signed long long and a value of type signed short [C:6.5.11].
- Bitxor-sllong-sllong
- Bitwise exclusive disjunction of a value of type signed long long and a value of type signed long long [C:6.5.11].
- Bitxor-sint-sint
- Bitwise exclusive disjunction of a value of type signed int and a value of type signed int [C:6.5.11].
- Bitxor-schar-ullong
- Bitwise exclusive disjunction of a value of type signed char and a value of type unsigned long long [C:6.5.11].
- Bitxor-schar-sllong
- Bitwise exclusive disjunction of a value of type signed char and a value of type signed long long [C:6.5.11].
- Bitior-ushort-ushort
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type unsigned short [C:6.5.12].
- Bitior-ushort-ullong
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type unsigned long long [C:6.5.12].
- Bitior-ushort-uchar
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type unsigned char [C:6.5.12].
- Bitior-ushort-sshort
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type signed short [C:6.5.12].
- Bitior-ushort-sllong
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type signed long long [C:6.5.12].
- Bitior-ulong-ullong
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type unsigned long long [C:6.5.12].
- Bitior-ulong-sllong
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type signed long long [C:6.5.12].
- Bitior-ullong-ushort
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type unsigned short [C:6.5.12].
- Bitior-ullong-ullong
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type unsigned long long [C:6.5.12].
- Bitior-ullong-sshort
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type signed short [C:6.5.12].
- Bitior-ullong-sllong
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type signed long long [C:6.5.12].
- Bitior-uchar-ushort
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type unsigned short [C:6.5.12].
- Bitior-uchar-ullong
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type unsigned long long [C:6.5.12].
- Bitior-uchar-sllong
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type signed long long [C:6.5.12].
- Bitior-sshort-ushort
- Bitwise inclusive disjunction of a value of type signed short and a value of type unsigned short [C:6.5.12].
- Bitior-sshort-ullong
- Bitwise inclusive disjunction of a value of type signed short and a value of type unsigned long long [C:6.5.12].
- Bitior-sshort-sshort
- Bitwise inclusive disjunction of a value of type signed short and a value of type signed short [C:6.5.12].
- Bitior-sshort-sllong
- Bitwise inclusive disjunction of a value of type signed short and a value of type signed long long [C:6.5.12].
- Bitior-slong-ullong
- Bitwise inclusive disjunction of a value of type signed long and a value of type unsigned long long [C:6.5.12].
- Bitior-slong-sllong
- Bitwise inclusive disjunction of a value of type signed long and a value of type signed long long [C:6.5.12].
- Bitior-sllong-ushort
- Bitwise inclusive disjunction of a value of type signed long long and a value of type unsigned short [C:6.5.12].
- Bitior-sllong-ulong
- Bitwise inclusive disjunction of a value of type signed long long and a value of type unsigned long [C:6.5.12].
- Bitior-sllong-ullong
- Bitwise inclusive disjunction of a value of type signed long long and a value of type unsigned long long [C:6.5.12].
- Bitior-sllong-sshort
- Bitwise inclusive disjunction of a value of type signed long long and a value of type signed short [C:6.5.12].
- Bitior-sllong-sllong
- Bitwise inclusive disjunction of a value of type signed long long and a value of type signed long long [C:6.5.12].
- Bitior-sint-sint
- Bitwise inclusive disjunction of a value of type signed int and a value of type signed int [C:6.5.12].
- Bitior-schar-ullong
- Bitwise inclusive disjunction of a value of type signed char and a value of type unsigned long long [C:6.5.12].
- Bitior-schar-sllong
- Bitwise inclusive disjunction of a value of type signed char and a value of type signed long long [C:6.5.12].
- Bitand-ushort-ushort
- Bitwise conjunction of a value of type unsigned short and a value of type unsigned short [C:6.5.10].
- Bitand-ushort-ullong
- Bitwise conjunction of a value of type unsigned short and a value of type unsigned long long [C:6.5.10].
- Bitand-ushort-sshort
- Bitwise conjunction of a value of type unsigned short and a value of type signed short [C:6.5.10].
- Bitand-ushort-sllong
- Bitwise conjunction of a value of type unsigned short and a value of type signed long long [C:6.5.10].
- Bitand-ullong-ushort
- Bitwise conjunction of a value of type unsigned long long and a value of type unsigned short [C:6.5.10].
- Bitand-ullong-ullong
- Bitwise conjunction of a value of type unsigned long long and a value of type unsigned long long [C:6.5.10].
- Bitand-ullong-sshort
- Bitwise conjunction of a value of type unsigned long long and a value of type signed short [C:6.5.10].
- Bitand-ullong-sllong
- Bitwise conjunction of a value of type unsigned long long and a value of type signed long long [C:6.5.10].
- Bitand-sshort-ushort
- Bitwise conjunction of a value of type signed short and a value of type unsigned short [C:6.5.10].
- Bitand-sshort-ullong
- Bitwise conjunction of a value of type signed short and a value of type unsigned long long [C:6.5.10].
- Bitand-sshort-sshort
- Bitwise conjunction of a value of type signed short and a value of type signed short [C:6.5.10].
- Bitand-sshort-sllong
- Bitwise conjunction of a value of type signed short and a value of type signed long long [C:6.5.10].
- Bitand-sllong-ushort
- Bitwise conjunction of a value of type signed long long and a value of type unsigned short [C:6.5.10].
- Bitand-sllong-ullong
- Bitwise conjunction of a value of type signed long long and a value of type unsigned long long [C:6.5.10].
- Bitand-sllong-sshort
- Bitwise conjunction of a value of type signed long long and a value of type signed short [C:6.5.10].
- Bitand-sllong-sllong
- Bitwise conjunction of a value of type signed long long and a value of type signed long long [C:6.5.10].
- Bitand-sint-sint
- Bitwise conjunction of a value of type signed int and a value of type signed int [C:6.5.10].
- Add-ushort-ushort-okp
- Check if the addition of a value of type unsigned short and a value of type unsigned short is well-defined.
- Add-ushort-uchar-okp
- Check if the addition of a value of type unsigned short and a value of type unsigned char is well-defined.
- Add-ushort-sshort-okp
- Check if the addition of a value of type unsigned short and a value of type signed short is well-defined.
- Add-ushort-slong-okp
- Check if the addition of a value of type unsigned short and a value of type signed long is well-defined.
- Add-ushort-sllong-okp
- Check if the addition of a value of type unsigned short and a value of type signed long long is well-defined.
- Add-ushort-schar-okp
- Check if the addition of a value of type unsigned short and a value of type signed char is well-defined.
- Add-uchar-ushort-okp
- Check if the addition of a value of type unsigned char and a value of type unsigned short is well-defined.
- Add-uchar-sshort-okp
- Check if the addition of a value of type unsigned char and a value of type signed short is well-defined.
- Add-uchar-sllong-okp
- Check if the addition of a value of type unsigned char and a value of type signed long long is well-defined.
- Add-sshort-ushort-okp
- Check if the addition of a value of type signed short and a value of type unsigned short is well-defined.
- Add-sshort-uchar-okp
- Check if the addition of a value of type signed short and a value of type unsigned char is well-defined.
- Add-sshort-sshort-okp
- Check if the addition of a value of type signed short and a value of type signed short is well-defined.
- Add-sshort-slong-okp
- Check if the addition of a value of type signed short and a value of type signed long is well-defined.
- Add-sshort-sllong-okp
- Check if the addition of a value of type signed short and a value of type signed long long is well-defined.
- Add-sshort-schar-okp
- Check if the addition of a value of type signed short and a value of type signed char is well-defined.
- Add-slong-ushort-okp
- Check if the addition of a value of type signed long and a value of type unsigned short is well-defined.
- Add-slong-sshort-okp
- Check if the addition of a value of type signed long and a value of type signed short is well-defined.
- Add-slong-sllong-okp
- Check if the addition of a value of type signed long and a value of type signed long long is well-defined.
- Add-sllong-ushort-okp
- Check if the addition of a value of type signed long long and a value of type unsigned short is well-defined.
- Add-sllong-uchar-okp
- Check if the addition of a value of type signed long long and a value of type unsigned char is well-defined.
- Add-sllong-sshort-okp
- Check if the addition of a value of type signed long long and a value of type signed short is well-defined.
- Add-sllong-slong-okp
- Check if the addition of a value of type signed long long and a value of type signed long is well-defined.
- Add-sllong-sllong-okp
- Check if the addition of a value of type signed long long and a value of type signed long long is well-defined.
- Add-sllong-schar-okp
- Check if the addition of a value of type signed long long and a value of type signed char is well-defined.
- Add-sint-sint-okp
- Check if the addition of a value of type signed int and a value of type signed int is well-defined.
- Add-schar-ushort-okp
- Check if the addition of a value of type signed char and a value of type unsigned short is well-defined.
- Add-schar-sshort-okp
- Check if the addition of a value of type signed char and a value of type signed short is well-defined.
- Add-schar-sllong-okp
- Check if the addition of a value of type signed char and a value of type signed long long is well-defined.
- Sub-ushort-ushort
- Subtraction of a value of type unsigned short and a value of type unsigned short [C:6.5.6].
- Sub-ushort-ullong
- Subtraction of a value of type unsigned short and a value of type unsigned long long [C:6.5.6].
- Sub-ushort-uchar
- Subtraction of a value of type unsigned short and a value of type unsigned char [C:6.5.6].
- Sub-ushort-sshort
- Subtraction of a value of type unsigned short and a value of type signed short [C:6.5.6].
- Sub-ushort-slong
- Subtraction of a value of type unsigned short and a value of type signed long [C:6.5.6].
- Sub-ushort-sllong
- Subtraction of a value of type unsigned short and a value of type signed long long [C:6.5.6].
- Sub-ushort-sint-okp
- Check if the subtraction of a value of type unsigned short and a value of type signed int is well-defined.
- Sub-ushort-schar
- Subtraction of a value of type unsigned short and a value of type signed char [C:6.5.6].
- Sub-ulong-ullong
- Subtraction of a value of type unsigned long and a value of type unsigned long long [C:6.5.6].
- Sub-ulong-sllong
- Subtraction of a value of type unsigned long and a value of type signed long long [C:6.5.6].
- Sub-ullong-ushort
- Subtraction of a value of type unsigned long long and a value of type unsigned short [C:6.5.6].
- Sub-ullong-ullong
- Subtraction of a value of type unsigned long long and a value of type unsigned long long [C:6.5.6].
- Sub-ullong-sshort
- Subtraction of a value of type unsigned long long and a value of type signed short [C:6.5.6].
- Sub-ullong-sllong
- Subtraction of a value of type unsigned long long and a value of type signed long long [C:6.5.6].
- Sub-uint-slong-okp
- Check if the subtraction of a value of type unsigned int and a value of type signed long is well-defined.
- Sub-uint-sllong
- Subtraction of a value of type unsigned int and a value of type signed long long [C:6.5.6].
- Sub-uchar-ushort
- Subtraction of a value of type unsigned char and a value of type unsigned short [C:6.5.6].
- Sub-uchar-ullong
- Subtraction of a value of type unsigned char and a value of type unsigned long long [C:6.5.6].
- Sub-uchar-uchar
- Subtraction of a value of type unsigned char and a value of type unsigned char [C:6.5.6].
- Sub-uchar-sshort
- Subtraction of a value of type unsigned char and a value of type signed short [C:6.5.6].
- Sub-uchar-slong-okp
- Check if the subtraction of a value of type unsigned char and a value of type signed long is well-defined.
- Sub-uchar-slong
- Subtraction of a value of type unsigned char and a value of type signed long [C:6.5.6].
- Sub-uchar-sllong
- Subtraction of a value of type unsigned char and a value of type signed long long [C:6.5.6].
- Sub-uchar-sint-okp
- Check if the subtraction of a value of type unsigned char and a value of type signed int is well-defined.
- Sub-uchar-schar-okp
- Check if the subtraction of a value of type unsigned char and a value of type signed char is well-defined.
- Sub-uchar-schar
- Subtraction of a value of type unsigned char and a value of type signed char [C:6.5.6].
- Sub-sshort-ushort
- Subtraction of a value of type signed short and a value of type unsigned short [C:6.5.6].
- Sub-sshort-ullong
- Subtraction of a value of type signed short and a value of type unsigned long long [C:6.5.6].
- Sub-sshort-uchar
- Subtraction of a value of type signed short and a value of type unsigned char [C:6.5.6].
- Sub-sshort-sshort
- Subtraction of a value of type signed short and a value of type signed short [C:6.5.6].
- Sub-sshort-slong
- Subtraction of a value of type signed short and a value of type signed long [C:6.5.6].
- Sub-sshort-sllong
- Subtraction of a value of type signed short and a value of type signed long long [C:6.5.6].
- Sub-sshort-sint-okp
- Check if the subtraction of a value of type signed short and a value of type signed int is well-defined.
- Sub-sshort-schar
- Subtraction of a value of type signed short and a value of type signed char [C:6.5.6].
- Sub-slong-ushort
- Subtraction of a value of type signed long and a value of type unsigned short [C:6.5.6].
- Sub-slong-uint-okp
- Check if the subtraction of a value of type signed long and a value of type unsigned int is well-defined.
- Sub-slong-uchar-okp
- Check if the subtraction of a value of type signed long and a value of type unsigned char is well-defined.
- Sub-slong-sshort
- Subtraction of a value of type signed long and a value of type signed short [C:6.5.6].
- Sub-slong-slong-okp
- Check if the subtraction of a value of type signed long and a value of type signed long is well-defined.
- Sub-slong-slong
- Subtraction of a value of type signed long and a value of type signed long [C:6.5.6].
- Sub-slong-sllong
- Subtraction of a value of type signed long and a value of type signed long long [C:6.5.6].
- Sub-slong-sint-okp
- Check if the subtraction of a value of type signed long and a value of type signed int is well-defined.
- Sub-slong-schar-okp
- Check if the subtraction of a value of type signed long and a value of type signed char is well-defined.
- Sub-sllong-ushort
- Subtraction of a value of type signed long long and a value of type unsigned short [C:6.5.6].
- Sub-sllong-ulong
- Subtraction of a value of type signed long long and a value of type unsigned long [C:6.5.6].
- Sub-sllong-ullong
- Subtraction of a value of type signed long long and a value of type unsigned long long [C:6.5.6].
- Sub-sllong-uint-okp
- Check if the subtraction of a value of type signed long long and a value of type unsigned int is well-defined.
- Sub-sllong-uint
- Subtraction of a value of type signed long long and a value of type unsigned int [C:6.5.6].
- Sub-sllong-uchar
- Subtraction of a value of type signed long long and a value of type unsigned char [C:6.5.6].
- Sub-sllong-sshort
- Subtraction of a value of type signed long long and a value of type signed short [C:6.5.6].
- Sub-sllong-slong
- Subtraction of a value of type signed long long and a value of type signed long [C:6.5.6].
- Sub-sllong-sint-okp
- Check if the subtraction of a value of type signed long long and a value of type signed int is well-defined.
- Sub-sllong-sint
- Subtraction of a value of type signed long long and a value of type signed int [C:6.5.6].
- Sub-sllong-schar
- Subtraction of a value of type signed long long and a value of type signed char [C:6.5.6].
- Sub-sint-ushort-okp
- Check if the subtraction of a value of type signed int and a value of type unsigned short is well-defined.
- Sub-sint-uchar-okp
- Check if the subtraction of a value of type signed int and a value of type unsigned char is well-defined.
- Sub-sint-sshort-okp
- Check if the subtraction of a value of type signed int and a value of type signed short is well-defined.
- Sub-sint-slong-okp
- Check if the subtraction of a value of type signed int and a value of type signed long is well-defined.
- Sub-sint-sllong-okp
- Check if the subtraction of a value of type signed int and a value of type signed long long is well-defined.
- Sub-sint-sllong
- Subtraction of a value of type signed int and a value of type signed long long [C:6.5.6].
- Sub-sint-schar-okp
- Check if the subtraction of a value of type signed int and a value of type signed char is well-defined.
- Sub-schar-ushort
- Subtraction of a value of type signed char and a value of type unsigned short [C:6.5.6].
- Sub-schar-uchar-okp
- Check if the subtraction of a value of type signed char and a value of type unsigned char is well-defined.
- Sub-schar-uchar
- Subtraction of a value of type signed char and a value of type unsigned char [C:6.5.6].
- Sub-schar-sshort
- Subtraction of a value of type signed char and a value of type signed short [C:6.5.6].
- Sub-schar-slong-okp
- Check if the subtraction of a value of type signed char and a value of type signed long is well-defined.
- Sub-schar-sllong
- Subtraction of a value of type signed char and a value of type signed long long [C:6.5.6].
- Sub-schar-sint-okp
- Check if the subtraction of a value of type signed char and a value of type signed int is well-defined.
- Sub-schar-schar-okp
- Check if the subtraction of a value of type signed char and a value of type signed char is well-defined.
- Sub-schar-schar
- Subtraction of a value of type signed char and a value of type signed char [C:6.5.6].
- Shr-ushort-ushort
- Right shift of a value of type unsigned short and a value of type unsigned short [C:6.5.7].
- Shr-ushort-ulong
- Right shift of a value of type unsigned short and a value of type unsigned long [C:6.5.7].
- Shr-ushort-ullong
- Right shift of a value of type unsigned short and a value of type unsigned long long [C:6.5.7].
- Shr-ushort-uint-okp
- Check if the right shift of a value of type unsigned short by a value of type unsigned int is well-defined.
- Shr-ushort-uchar
- Right shift of a value of type unsigned short and a value of type unsigned char [C:6.5.7].
- Shr-ushort-sshort
- Right shift of a value of type unsigned short and a value of type signed short [C:6.5.7].
- Shr-ushort-slong
- Right shift of a value of type unsigned short and a value of type signed long [C:6.5.7].
- Shr-ushort-sllong
- Right shift of a value of type unsigned short and a value of type signed long long [C:6.5.7].
- Shr-ushort-sint-okp
- Check if the right shift of a value of type unsigned short by a value of type signed int is well-defined.
- Shr-ushort-schar
- Right shift of a value of type unsigned short and a value of type signed char [C:6.5.7].
- Shr-ulong-ushort
- Right shift of a value of type unsigned long and a value of type unsigned short [C:6.5.7].
- Shr-ulong-ulong-okp
- Check if the right shift of a value of type unsigned long by a value of type unsigned long is well-defined.
- Shr-ulong-ullong
- Right shift of a value of type unsigned long and a value of type unsigned long long [C:6.5.7].
- Shr-ulong-uint-okp
- Check if the right shift of a value of type unsigned long by a value of type unsigned int is well-defined.
- Shr-ulong-uchar-okp
- Check if the right shift of a value of type unsigned long by a value of type unsigned char is well-defined.
- Shr-ulong-sshort
- Right shift of a value of type unsigned long and a value of type signed short [C:6.5.7].
- Shr-ulong-slong-okp
- Check if the right shift of a value of type unsigned long by a value of type signed long is well-defined.
- Shr-ulong-sllong
- Right shift of a value of type unsigned long and a value of type signed long long [C:6.5.7].
- Shr-ulong-sint-okp
- Check if the right shift of a value of type unsigned long by a value of type signed int is well-defined.
- Shr-ulong-schar-okp
- Check if the right shift of a value of type unsigned long by a value of type signed char is well-defined.
- Shr-ullong-ushort
- Right shift of a value of type unsigned long long and a value of type unsigned short [C:6.5.7].
- Shr-ullong-ulong
- Right shift of a value of type unsigned long long and a value of type unsigned long [C:6.5.7].
- Shr-ullong-ullong
- Right shift of a value of type unsigned long long and a value of type unsigned long long [C:6.5.7].
- Shr-ullong-uint-okp
- Check if the right shift of a value of type unsigned long long by a value of type unsigned int is well-defined.
- Shr-ullong-uint
- Right shift of a value of type unsigned long long and a value of type unsigned int [C:6.5.7].
- Shr-ullong-uchar
- Right shift of a value of type unsigned long long and a value of type unsigned char [C:6.5.7].
- Shr-ullong-sshort
- Right shift of a value of type unsigned long long and a value of type signed short [C:6.5.7].
- Shr-ullong-slong
- Right shift of a value of type unsigned long long and a value of type signed long [C:6.5.7].
- Shr-ullong-sllong
- Right shift of a value of type unsigned long long and a value of type signed long long [C:6.5.7].
- Shr-ullong-sint-okp
- Check if the right shift of a value of type unsigned long long by a value of type signed int is well-defined.
- Shr-ullong-sint
- Right shift of a value of type unsigned long long and a value of type signed int [C:6.5.7].
- Shr-ullong-schar
- Right shift of a value of type unsigned long long and a value of type signed char [C:6.5.7].
- Shr-uint-ushort-okp
- Check if the right shift of a value of type unsigned int by a value of type unsigned short is well-defined.
- Shr-uint-ulong-okp
- Check if the right shift of a value of type unsigned int by a value of type unsigned long is well-defined.
- Shr-uint-ullong-okp
- Check if the right shift of a value of type unsigned int by a value of type unsigned long long is well-defined.
- Shr-uint-uint-okp
- Check if the right shift of a value of type unsigned int by a value of type unsigned int is well-defined.
- Shr-uint-uchar-okp
- Check if the right shift of a value of type unsigned int by a value of type unsigned char is well-defined.
- Shr-uint-sshort-okp
- Check if the right shift of a value of type unsigned int by a value of type signed short is well-defined.
- Shr-uint-slong-okp
- Check if the right shift of a value of type unsigned int by a value of type signed long is well-defined.
- Shr-uint-sllong-okp
- Check if the right shift of a value of type unsigned int by a value of type signed long long is well-defined.
- Shr-uint-sint-okp
- Check if the right shift of a value of type unsigned int by a value of type signed int is well-defined.
- Shr-uint-schar-okp
- Check if the right shift of a value of type unsigned int by a value of type signed char is well-defined.
- Shr-uchar-ushort
- Right shift of a value of type unsigned char and a value of type unsigned short [C:6.5.7].
- Shr-uchar-ulong-okp
- Check if the right shift of a value of type unsigned char by a value of type unsigned long is well-defined.
- Shr-uchar-ullong
- Right shift of a value of type unsigned char and a value of type unsigned long long [C:6.5.7].
- Shr-uchar-uint-okp
- Check if the right shift of a value of type unsigned char by a value of type unsigned int is well-defined.
- Shr-uchar-uchar-okp
- Check if the right shift of a value of type unsigned char by a value of type unsigned char is well-defined.
- Shr-uchar-sshort
- Right shift of a value of type unsigned char and a value of type signed short [C:6.5.7].
- Shr-uchar-slong-okp
- Check if the right shift of a value of type unsigned char by a value of type signed long is well-defined.
- Shr-uchar-sllong
- Right shift of a value of type unsigned char and a value of type signed long long [C:6.5.7].
- Shr-uchar-sint-okp
- Check if the right shift of a value of type unsigned char by a value of type signed int is well-defined.
- Shr-uchar-schar-okp
- Check if the right shift of a value of type unsigned char by a value of type signed char is well-defined.
- Shr-sshort-ushort
- Right shift of a value of type signed short and a value of type unsigned short [C:6.5.7].
- Shr-sshort-ulong
- Right shift of a value of type signed short and a value of type unsigned long [C:6.5.7].
- Shr-sshort-ullong
- Right shift of a value of type signed short and a value of type unsigned long long [C:6.5.7].
- Shr-sshort-uint-okp
- Check if the right shift of a value of type signed short by a value of type unsigned int is well-defined.
- Shr-sshort-uchar
- Right shift of a value of type signed short and a value of type unsigned char [C:6.5.7].
- Shr-sshort-sshort
- Right shift of a value of type signed short and a value of type signed short [C:6.5.7].
- Shr-sshort-slong
- Right shift of a value of type signed short and a value of type signed long [C:6.5.7].
- Shr-sshort-sllong
- Right shift of a value of type signed short and a value of type signed long long [C:6.5.7].
- Shr-sshort-sint-okp
- Check if the right shift of a value of type signed short by a value of type signed int is well-defined.
- Shr-sshort-schar
- Right shift of a value of type signed short and a value of type signed char [C:6.5.7].
- Shr-slong-ushort
- Right shift of a value of type signed long and a value of type unsigned short [C:6.5.7].
- Shr-slong-ulong-okp
- Check if the right shift of a value of type signed long by a value of type unsigned long is well-defined.
- Shr-slong-ullong
- Right shift of a value of type signed long and a value of type unsigned long long [C:6.5.7].
- Shr-slong-uint-okp
- Check if the right shift of a value of type signed long by a value of type unsigned int is well-defined.
- Shr-slong-uchar-okp
- Check if the right shift of a value of type signed long by a value of type unsigned char is well-defined.
- Shr-slong-sshort
- Right shift of a value of type signed long and a value of type signed short [C:6.5.7].
- Shr-slong-slong-okp
- Check if the right shift of a value of type signed long by a value of type signed long is well-defined.
- Shr-slong-sllong
- Right shift of a value of type signed long and a value of type signed long long [C:6.5.7].
- Shr-slong-sint-okp
- Check if the right shift of a value of type signed long by a value of type signed int is well-defined.
- Shr-slong-schar-okp
- Check if the right shift of a value of type signed long by a value of type signed char is well-defined.
- Shr-sllong-ushort
- Right shift of a value of type signed long long and a value of type unsigned short [C:6.5.7].
- Shr-sllong-ulong
- Right shift of a value of type signed long long and a value of type unsigned long [C:6.5.7].
- Shr-sllong-ullong
- Right shift of a value of type signed long long and a value of type unsigned long long [C:6.5.7].
- Shr-sllong-uint-okp
- Check if the right shift of a value of type signed long long by a value of type unsigned int is well-defined.
- Shr-sllong-uint
- Right shift of a value of type signed long long and a value of type unsigned int [C:6.5.7].
- Shr-sllong-uchar
- Right shift of a value of type signed long long and a value of type unsigned char [C:6.5.7].
- Shr-sllong-sshort
- Right shift of a value of type signed long long and a value of type signed short [C:6.5.7].
- Shr-sllong-slong
- Right shift of a value of type signed long long and a value of type signed long [C:6.5.7].
- Shr-sllong-sllong
- Right shift of a value of type signed long long and a value of type signed long long [C:6.5.7].
- Shr-sllong-sint-okp
- Check if the right shift of a value of type signed long long by a value of type signed int is well-defined.
- Shr-sllong-schar
- Right shift of a value of type signed long long and a value of type signed char [C:6.5.7].
- Shr-sint-ushort-okp
- Check if the right shift of a value of type signed int by a value of type unsigned short is well-defined.
- Shr-sint-ulong-okp
- Check if the right shift of a value of type signed int by a value of type unsigned long is well-defined.
- Shr-sint-ullong-okp
- Check if the right shift of a value of type signed int by a value of type unsigned long long is well-defined.
- Shr-sint-uint-okp
- Check if the right shift of a value of type signed int by a value of type unsigned int is well-defined.
- Shr-sint-uchar-okp
- Check if the right shift of a value of type signed int by a value of type unsigned char is well-defined.
- Shr-sint-sshort-okp
- Check if the right shift of a value of type signed int by a value of type signed short is well-defined.
- Shr-sint-slong-okp
- Check if the right shift of a value of type signed int by a value of type signed long is well-defined.
- Shr-sint-sllong-okp
- Check if the right shift of a value of type signed int by a value of type signed long long is well-defined.
- Shr-sint-sint
- Right shift of a value of type signed int and a value of type signed int [C:6.5.7].
- Shr-sint-schar-okp
- Check if the right shift of a value of type signed int by a value of type signed char is well-defined.
- Shr-schar-ushort
- Right shift of a value of type signed char and a value of type unsigned short [C:6.5.7].
- Shr-schar-ulong-okp
- Check if the right shift of a value of type signed char by a value of type unsigned long is well-defined.
- Shr-schar-ullong
- Right shift of a value of type signed char and a value of type unsigned long long [C:6.5.7].
- Shr-schar-uint-okp
- Check if the right shift of a value of type signed char by a value of type unsigned int is well-defined.
- Shr-schar-uchar-okp
- Check if the right shift of a value of type signed char by a value of type unsigned char is well-defined.
- Shr-schar-sshort
- Right shift of a value of type signed char and a value of type signed short [C:6.5.7].
- Shr-schar-slong-okp
- Check if the right shift of a value of type signed char by a value of type signed long is well-defined.
- Shr-schar-sllong
- Right shift of a value of type signed char and a value of type signed long long [C:6.5.7].
- Shr-schar-sint-okp
- Check if the right shift of a value of type signed char by a value of type signed int is well-defined.
- Shr-schar-schar-okp
- Check if the right shift of a value of type signed char by a value of type signed char is well-defined.
- Shl-ushort-ushort
- Left shift of a value of type unsigned short and a value of type unsigned short [C:6.5.7].
- Shl-ushort-ulong
- Left shift of a value of type unsigned short and a value of type unsigned long [C:6.5.7].
- Shl-ushort-ullong
- Left shift of a value of type unsigned short and a value of type unsigned long long [C:6.5.7].
- Shl-ushort-uint-okp
- Check if the left shift of a value of type unsigned short by a value of type unsigned int is well-defined.
- Shl-ushort-uchar
- Left shift of a value of type unsigned short and a value of type unsigned char [C:6.5.7].
- Shl-ushort-sshort
- Left shift of a value of type unsigned short and a value of type signed short [C:6.5.7].
- Shl-ushort-slong
- Left shift of a value of type unsigned short and a value of type signed long [C:6.5.7].
- Shl-ushort-sllong
- Left shift of a value of type unsigned short and a value of type signed long long [C:6.5.7].
- Shl-ushort-sint-okp
- Check if the left shift of a value of type unsigned short by a value of type signed int is well-defined.
- Shl-ushort-schar
- Left shift of a value of type unsigned short and a value of type signed char [C:6.5.7].
- Shl-ulong-ushort
- Left shift of a value of type unsigned long and a value of type unsigned short [C:6.5.7].
- Shl-ulong-ulong-okp
- Check if the left shift of a value of type unsigned long by a value of type unsigned long is well-defined.
- Shl-ulong-ullong
- Left shift of a value of type unsigned long and a value of type unsigned long long [C:6.5.7].
- Shl-ulong-uint-okp
- Check if the left shift of a value of type unsigned long by a value of type unsigned int is well-defined.
- Shl-ulong-uchar-okp
- Check if the left shift of a value of type unsigned long by a value of type unsigned char is well-defined.
- Shl-ulong-sshort
- Left shift of a value of type unsigned long and a value of type signed short [C:6.5.7].
- Shl-ulong-slong-okp
- Check if the left shift of a value of type unsigned long by a value of type signed long is well-defined.
- Shl-ulong-sllong
- Left shift of a value of type unsigned long and a value of type signed long long [C:6.5.7].
- Shl-ulong-sint-okp
- Check if the left shift of a value of type unsigned long by a value of type signed int is well-defined.
- Shl-ulong-schar-okp
- Check if the left shift of a value of type unsigned long by a value of type signed char is well-defined.
- Shl-ullong-ushort
- Left shift of a value of type unsigned long long and a value of type unsigned short [C:6.5.7].
- Shl-ullong-ulong
- Left shift of a value of type unsigned long long and a value of type unsigned long [C:6.5.7].
- Shl-ullong-ullong
- Left shift of a value of type unsigned long long and a value of type unsigned long long [C:6.5.7].
- Shl-ullong-uint-okp
- Check if the left shift of a value of type unsigned long long by a value of type unsigned int is well-defined.
- Shl-ullong-uint
- Left shift of a value of type unsigned long long and a value of type unsigned int [C:6.5.7].
- Shl-ullong-uchar
- Left shift of a value of type unsigned long long and a value of type unsigned char [C:6.5.7].
- Shl-ullong-sshort
- Left shift of a value of type unsigned long long and a value of type signed short [C:6.5.7].
- Shl-ullong-slong
- Left shift of a value of type unsigned long long and a value of type signed long [C:6.5.7].
- Shl-ullong-sllong
- Left shift of a value of type unsigned long long and a value of type signed long long [C:6.5.7].
- Shl-ullong-sint-okp
- Check if the left shift of a value of type unsigned long long by a value of type signed int is well-defined.
- Shl-ullong-sint
- Left shift of a value of type unsigned long long and a value of type signed int [C:6.5.7].
- Shl-ullong-schar
- Left shift of a value of type unsigned long long and a value of type signed char [C:6.5.7].
- Shl-uint-ushort-okp
- Check if the left shift of a value of type unsigned int by a value of type unsigned short is well-defined.
- Shl-uint-ulong-okp
- Check if the left shift of a value of type unsigned int by a value of type unsigned long is well-defined.
- Shl-uint-ullong-okp
- Check if the left shift of a value of type unsigned int by a value of type unsigned long long is well-defined.
- Shl-uint-uint-okp
- Check if the left shift of a value of type unsigned int by a value of type unsigned int is well-defined.
- Shl-uint-uchar-okp
- Check if the left shift of a value of type unsigned int by a value of type unsigned char is well-defined.
- Shl-uint-sshort-okp
- Check if the left shift of a value of type unsigned int by a value of type signed short is well-defined.
- Shl-uint-slong-okp
- Check if the left shift of a value of type unsigned int by a value of type signed long is well-defined.
- Shl-uint-sllong-okp
- Check if the left shift of a value of type unsigned int by a value of type signed long long is well-defined.
- Shl-uint-sint-okp
- Check if the left shift of a value of type unsigned int by a value of type signed int is well-defined.
- Shl-uint-schar-okp
- Check if the left shift of a value of type unsigned int by a value of type signed char is well-defined.
- Shl-uchar-ushort
- Left shift of a value of type unsigned char and a value of type unsigned short [C:6.5.7].
- Shl-uchar-ulong-okp
- Check if the left shift of a value of type unsigned char by a value of type unsigned long is well-defined.
- Shl-uchar-ullong
- Left shift of a value of type unsigned char and a value of type unsigned long long [C:6.5.7].
- Shl-uchar-uint-okp
- Check if the left shift of a value of type unsigned char by a value of type unsigned int is well-defined.
- Shl-uchar-uchar-okp
- Check if the left shift of a value of type unsigned char by a value of type unsigned char is well-defined.
- Shl-uchar-sshort
- Left shift of a value of type unsigned char and a value of type signed short [C:6.5.7].
- Shl-uchar-slong-okp
- Check if the left shift of a value of type unsigned char by a value of type signed long is well-defined.
- Shl-uchar-sllong
- Left shift of a value of type unsigned char and a value of type signed long long [C:6.5.7].
- Shl-uchar-sint-okp
- Check if the left shift of a value of type unsigned char by a value of type signed int is well-defined.
- Shl-uchar-schar-okp
- Check if the left shift of a value of type unsigned char by a value of type signed char is well-defined.
- Shl-sshort-ushort
- Left shift of a value of type signed short and a value of type unsigned short [C:6.5.7].
- Shl-sshort-ulong
- Left shift of a value of type signed short and a value of type unsigned long [C:6.5.7].
- Shl-sshort-ullong
- Left shift of a value of type signed short and a value of type unsigned long long [C:6.5.7].
- Shl-sshort-uint-okp
- Check if the left shift of a value of type signed short by a value of type unsigned int is well-defined.
- Shl-sshort-uchar
- Left shift of a value of type signed short and a value of type unsigned char [C:6.5.7].
- Shl-sshort-sshort
- Left shift of a value of type signed short and a value of type signed short [C:6.5.7].
- Shl-sshort-slong
- Left shift of a value of type signed short and a value of type signed long [C:6.5.7].
- Shl-sshort-sllong
- Left shift of a value of type signed short and a value of type signed long long [C:6.5.7].
- Shl-sshort-sint-okp
- Check if the left shift of a value of type signed short by a value of type signed int is well-defined.
- Shl-sshort-schar
- Left shift of a value of type signed short and a value of type signed char [C:6.5.7].
- Shl-slong-ushort
- Left shift of a value of type signed long and a value of type unsigned short [C:6.5.7].
- Shl-slong-ulong-okp
- Check if the left shift of a value of type signed long by a value of type unsigned long is well-defined.
- Shl-slong-ullong
- Left shift of a value of type signed long and a value of type unsigned long long [C:6.5.7].
- Shl-slong-uint-okp
- Check if the left shift of a value of type signed long by a value of type unsigned int is well-defined.
- Shl-slong-uchar-okp
- Check if the left shift of a value of type signed long by a value of type unsigned char is well-defined.
- Shl-slong-sshort
- Left shift of a value of type signed long and a value of type signed short [C:6.5.7].
- Shl-slong-slong-okp
- Check if the left shift of a value of type signed long by a value of type signed long is well-defined.
- Shl-slong-sllong
- Left shift of a value of type signed long and a value of type signed long long [C:6.5.7].
- Shl-slong-sint-okp
- Check if the left shift of a value of type signed long by a value of type signed int is well-defined.
- Shl-slong-schar-okp
- Check if the left shift of a value of type signed long by a value of type signed char is well-defined.
- Shl-sllong-ushort
- Left shift of a value of type signed long long and a value of type unsigned short [C:6.5.7].
- Shl-sllong-ulong
- Left shift of a value of type signed long long and a value of type unsigned long [C:6.5.7].
- Shl-sllong-ullong
- Left shift of a value of type signed long long and a value of type unsigned long long [C:6.5.7].
- Shl-sllong-uint-okp
- Check if the left shift of a value of type signed long long by a value of type unsigned int is well-defined.
- Shl-sllong-uint
- Left shift of a value of type signed long long and a value of type unsigned int [C:6.5.7].
- Shl-sllong-uchar
- Left shift of a value of type signed long long and a value of type unsigned char [C:6.5.7].
- Shl-sllong-sshort
- Left shift of a value of type signed long long and a value of type signed short [C:6.5.7].
- Shl-sllong-slong
- Left shift of a value of type signed long long and a value of type signed long [C:6.5.7].
- Shl-sllong-sllong
- Left shift of a value of type signed long long and a value of type signed long long [C:6.5.7].
- Shl-sllong-sint-okp
- Check if the left shift of a value of type signed long long by a value of type signed int is well-defined.
- Shl-sllong-schar
- Left shift of a value of type signed long long and a value of type signed char [C:6.5.7].
- Shl-sllong-okp
- Check if the left shift of a value of type signed long long by an integer is well-defined.
- Shl-sint-ushort-okp
- Check if the left shift of a value of type signed int by a value of type unsigned short is well-defined.
- Shl-sint-ulong-okp
- Check if the left shift of a value of type signed int by a value of type unsigned long is well-defined.
- Shl-sint-ullong-okp
- Check if the left shift of a value of type signed int by a value of type unsigned long long is well-defined.
- Shl-sint-uint-okp
- Check if the left shift of a value of type signed int by a value of type unsigned int is well-defined.
- Shl-sint-uchar-okp
- Check if the left shift of a value of type signed int by a value of type unsigned char is well-defined.
- Shl-sint-sshort-okp
- Check if the left shift of a value of type signed int by a value of type signed short is well-defined.
- Shl-sint-slong-okp
- Check if the left shift of a value of type signed int by a value of type signed long is well-defined.
- Shl-sint-sllong-okp
- Check if the left shift of a value of type signed int by a value of type signed long long is well-defined.
- Shl-sint-sint
- Left shift of a value of type signed int and a value of type signed int [C:6.5.7].
- Shl-sint-schar-okp
- Check if the left shift of a value of type signed int by a value of type signed char is well-defined.
- Shl-schar-ushort
- Left shift of a value of type signed char and a value of type unsigned short [C:6.5.7].
- Shl-schar-ulong-okp
- Check if the left shift of a value of type signed char by a value of type unsigned long is well-defined.
- Shl-schar-ullong
- Left shift of a value of type signed char and a value of type unsigned long long [C:6.5.7].
- Shl-schar-uint-okp
- Check if the left shift of a value of type signed char by a value of type unsigned int is well-defined.
- Shl-schar-uchar-okp
- Check if the left shift of a value of type signed char by a value of type unsigned char is well-defined.
- Shl-schar-sshort
- Left shift of a value of type signed char and a value of type signed short [C:6.5.7].
- Shl-schar-slong-okp
- Check if the left shift of a value of type signed char by a value of type signed long is well-defined.
- Shl-schar-sllong
- Left shift of a value of type signed char and a value of type signed long long [C:6.5.7].
- Shl-schar-sint-okp
- Check if the left shift of a value of type signed char by a value of type signed int is well-defined.
- Shl-schar-schar-okp
- Check if the left shift of a value of type signed char by a value of type signed char is well-defined.
- Rem-ushort-ushort
- Remainder of a value of type unsigned short and a value of type unsigned short [C:6.5.5].
- Rem-ushort-ulong
- Remainder of a value of type unsigned short and a value of type unsigned long [C:6.5.5].
- Rem-ushort-ullong
- Remainder of a value of type unsigned short and a value of type unsigned long long [C:6.5.5].
- Rem-ushort-uint-okp
- Check if the remainder of a value of type unsigned short and a value of type unsigned int is well-defined.
- Rem-ushort-uchar
- Remainder of a value of type unsigned short and a value of type unsigned char [C:6.5.5].
- Rem-ushort-sshort
- Remainder of a value of type unsigned short and a value of type signed short [C:6.5.5].
- Rem-ushort-slong
- Remainder of a value of type unsigned short and a value of type signed long [C:6.5.5].
- Rem-ushort-sllong
- Remainder of a value of type unsigned short and a value of type signed long long [C:6.5.5].
- Rem-ushort-sint-okp
- Check if the remainder of a value of type unsigned short and a value of type signed int is well-defined.
- Rem-ushort-schar
- Remainder of a value of type unsigned short and a value of type signed char [C:6.5.5].
- Rem-ulong-ushort
- Remainder of a value of type unsigned long and a value of type unsigned short [C:6.5.5].
- Rem-ulong-ulong-okp
- Check if the remainder of a value of type unsigned long and a value of type unsigned long is well-defined.
- Rem-ulong-ulong
- Remainder of a value of type unsigned long and a value of type unsigned long [C:6.5.5].
- Rem-ulong-ullong
- Remainder of a value of type unsigned long and a value of type unsigned long long [C:6.5.5].
- Rem-ulong-uint-okp
- Check if the remainder of a value of type unsigned long and a value of type unsigned int is well-defined.
- Rem-ulong-uchar-okp
- Check if the remainder of a value of type unsigned long and a value of type unsigned char is well-defined.
- Rem-ulong-sshort
- Remainder of a value of type unsigned long and a value of type signed short [C:6.5.5].
- Rem-ulong-slong-okp
- Check if the remainder of a value of type unsigned long and a value of type signed long is well-defined.
- Rem-ulong-sllong
- Remainder of a value of type unsigned long and a value of type signed long long [C:6.5.5].
- Rem-ulong-sint-okp
- Check if the remainder of a value of type unsigned long and a value of type signed int is well-defined.
- Rem-ulong-schar-okp
- Check if the remainder of a value of type unsigned long and a value of type signed char is well-defined.
- Rem-ullong-ushort
- Remainder of a value of type unsigned long long and a value of type unsigned short [C:6.5.5].
- Rem-ullong-ulong
- Remainder of a value of type unsigned long long and a value of type unsigned long [C:6.5.5].
- Rem-ullong-uint-okp
- Check if the remainder of a value of type unsigned long long and a value of type unsigned int is well-defined.
- Rem-ullong-uint
- Remainder of a value of type unsigned long long and a value of type unsigned int [C:6.5.5].
- Rem-ullong-uchar
- Remainder of a value of type unsigned long long and a value of type unsigned char [C:6.5.5].
- Rem-ullong-sshort
- Remainder of a value of type unsigned long long and a value of type signed short [C:6.5.5].
- Rem-ullong-slong
- Remainder of a value of type unsigned long long and a value of type signed long [C:6.5.5].
- Rem-ullong-sllong
- Remainder of a value of type unsigned long long and a value of type signed long long [C:6.5.5].
- Rem-ullong-sint-okp
- Check if the remainder of a value of type unsigned long long and a value of type signed int is well-defined.
- Rem-ullong-sint
- Remainder of a value of type unsigned long long and a value of type signed int [C:6.5.5].
- Rem-ullong-schar
- Remainder of a value of type unsigned long long and a value of type signed char [C:6.5.5].
- Rem-uint-ushort-okp
- Check if the remainder of a value of type unsigned int and a value of type unsigned short is well-defined.
- Rem-uint-ulong-okp
- Check if the remainder of a value of type unsigned int and a value of type unsigned long is well-defined.
- Rem-uint-ullong
- Remainder of a value of type unsigned int and a value of type unsigned long long [C:6.5.5].
- Rem-uint-uint-okp
- Check if the remainder of a value of type unsigned int and a value of type unsigned int is well-defined.
- Rem-uint-uchar-okp
- Check if the remainder of a value of type unsigned int and a value of type unsigned char is well-defined.
- Rem-uint-sshort-okp
- Check if the remainder of a value of type unsigned int and a value of type signed short is well-defined.
- Rem-uint-slong-okp
- Check if the remainder of a value of type unsigned int and a value of type signed long is well-defined.
- Rem-uint-sllong-okp
- Check if the remainder of a value of type unsigned int and a value of type signed long long is well-defined.
- Rem-uint-sllong
- Remainder of a value of type unsigned int and a value of type signed long long [C:6.5.5].
- Rem-uint-sint-okp
- Check if the remainder of a value of type unsigned int and a value of type signed int is well-defined.
- Rem-uint-schar-okp
- Check if the remainder of a value of type unsigned int and a value of type signed char is well-defined.
- Rem-uchar-ushort
- Remainder of a value of type unsigned char and a value of type unsigned short [C:6.5.5].
- Rem-uchar-ulong-okp
- Check if the remainder of a value of type unsigned char and a value of type unsigned long is well-defined.
- Rem-uchar-ulong
- Remainder of a value of type unsigned char and a value of type unsigned long [C:6.5.5].
- Rem-uchar-ullong
- Remainder of a value of type unsigned char and a value of type unsigned long long [C:6.5.5].
- Rem-uchar-uint-okp
- Check if the remainder of a value of type unsigned char and a value of type unsigned int is well-defined.
- Rem-uchar-uchar-okp
- Check if the remainder of a value of type unsigned char and a value of type unsigned char is well-defined.
- Rem-uchar-uchar
- Remainder of a value of type unsigned char and a value of type unsigned char [C:6.5.5].
- Rem-uchar-sshort
- Remainder of a value of type unsigned char and a value of type signed short [C:6.5.5].
- Rem-uchar-slong-okp
- Check if the remainder of a value of type unsigned char and a value of type signed long is well-defined.
- Rem-uchar-sllong
- Remainder of a value of type unsigned char and a value of type signed long long [C:6.5.5].
- Rem-uchar-sint-okp
- Check if the remainder of a value of type unsigned char and a value of type signed int is well-defined.
- Rem-uchar-schar-okp
- Check if the remainder of a value of type unsigned char and a value of type signed char is well-defined.
- Rem-uchar-schar
- Remainder of a value of type unsigned char and a value of type signed char [C:6.5.5].
- Rem-sshort-ushort
- Remainder of a value of type signed short and a value of type unsigned short [C:6.5.5].
- Rem-sshort-ulong
- Remainder of a value of type signed short and a value of type unsigned long [C:6.5.5].
- Rem-sshort-ullong
- Remainder of a value of type signed short and a value of type unsigned long long [C:6.5.5].
- Rem-sshort-uint-okp
- Check if the remainder of a value of type signed short and a value of type unsigned int is well-defined.
- Rem-sshort-uchar
- Remainder of a value of type signed short and a value of type unsigned char [C:6.5.5].
- Rem-sshort-sshort
- Remainder of a value of type signed short and a value of type signed short [C:6.5.5].
- Rem-sshort-slong
- Remainder of a value of type signed short and a value of type signed long [C:6.5.5].
- Rem-sshort-sllong
- Remainder of a value of type signed short and a value of type signed long long [C:6.5.5].
- Rem-sshort-sint-okp
- Check if the remainder of a value of type signed short and a value of type signed int is well-defined.
- Rem-sshort-schar
- Remainder of a value of type signed short and a value of type signed char [C:6.5.5].
- Rem-slong-ushort
- Remainder of a value of type signed long and a value of type unsigned short [C:6.5.5].
- Rem-slong-ulong-okp
- Check if the remainder of a value of type signed long and a value of type unsigned long is well-defined.
- Rem-slong-ullong
- Remainder of a value of type signed long and a value of type unsigned long long [C:6.5.5].
- Rem-slong-uint-okp
- Check if the remainder of a value of type signed long and a value of type unsigned int is well-defined.
- Rem-slong-uchar-okp
- Check if the remainder of a value of type signed long and a value of type unsigned char is well-defined.
- Rem-slong-sshort
- Remainder of a value of type signed long and a value of type signed short [C:6.5.5].
- Rem-slong-slong
- Remainder of a value of type signed long and a value of type signed long [C:6.5.5].
- Rem-slong-sllong
- Remainder of a value of type signed long and a value of type signed long long [C:6.5.5].
- Rem-slong-sint-okp
- Check if the remainder of a value of type signed long and a value of type signed int is well-defined.
- Rem-slong-schar-okp
- Check if the remainder of a value of type signed long and a value of type signed char is well-defined.
- Rem-sllong-ushort
- Remainder of a value of type signed long long and a value of type unsigned short [C:6.5.5].
- Rem-sllong-ulong
- Remainder of a value of type signed long long and a value of type unsigned long [C:6.5.5].
- Rem-sllong-ullong
- Remainder of a value of type signed long long and a value of type unsigned long long [C:6.5.5].
- Rem-sllong-uint-okp
- Check if the remainder of a value of type signed long long and a value of type unsigned int is well-defined.
- Rem-sllong-uint
- Remainder of a value of type signed long long and a value of type unsigned int [C:6.5.5].
- Rem-sllong-uchar
- Remainder of a value of type signed long long and a value of type unsigned char [C:6.5.5].
- Rem-sllong-sshort
- Remainder of a value of type signed long long and a value of type signed short [C:6.5.5].
- Rem-sllong-slong
- Remainder of a value of type signed long long and a value of type signed long [C:6.5.5].
- Rem-sllong-sllong
- Remainder of a value of type signed long long and a value of type signed long long [C:6.5.5].
- Rem-sllong-sint-okp
- Check if the remainder of a value of type signed long long and a value of type signed int is well-defined.
- Rem-sllong-schar
- Remainder of a value of type signed long long and a value of type signed char [C:6.5.5].
- Rem-sint-ushort-okp
- Check if the remainder of a value of type signed int and a value of type unsigned short is well-defined.
- Rem-sint-ulong-okp
- Check if the remainder of a value of type signed int and a value of type unsigned long is well-defined.
- Rem-sint-ullong-okp
- Check if the remainder of a value of type signed int and a value of type unsigned long long is well-defined.
- Rem-sint-ullong
- Remainder of a value of type signed int and a value of type unsigned long long [C:6.5.5].
- Rem-sint-uint-okp
- Check if the remainder of a value of type signed int and a value of type unsigned int is well-defined.
- Rem-sint-uchar-okp
- Check if the remainder of a value of type signed int and a value of type unsigned char is well-defined.
- Rem-sint-sshort-okp
- Check if the remainder of a value of type signed int and a value of type signed short is well-defined.
- Rem-sint-slong-okp
- Check if the remainder of a value of type signed int and a value of type signed long is well-defined.
- Rem-sint-sllong-okp
- Check if the remainder of a value of type signed int and a value of type signed long long is well-defined.
- Rem-sint-sllong
- Remainder of a value of type signed int and a value of type signed long long [C:6.5.5].
- Rem-sint-sint
- Remainder of a value of type signed int and a value of type signed int [C:6.5.5].
- Rem-sint-schar-okp
- Check if the remainder of a value of type signed int and a value of type signed char is well-defined.
- Rem-schar-ushort
- Remainder of a value of type signed char and a value of type unsigned short [C:6.5.5].
- Rem-schar-ulong-okp
- Check if the remainder of a value of type signed char and a value of type unsigned long is well-defined.
- Rem-schar-ullong
- Remainder of a value of type signed char and a value of type unsigned long long [C:6.5.5].
- Rem-schar-uint-okp
- Check if the remainder of a value of type signed char and a value of type unsigned int is well-defined.
- Rem-schar-uchar-okp
- Check if the remainder of a value of type signed char and a value of type unsigned char is well-defined.
- Rem-schar-uchar
- Remainder of a value of type signed char and a value of type unsigned char [C:6.5.5].
- Rem-schar-sshort
- Remainder of a value of type signed char and a value of type signed short [C:6.5.5].
- Rem-schar-slong-okp
- Check if the remainder of a value of type signed char and a value of type signed long is well-defined.
- Rem-schar-sllong
- Remainder of a value of type signed char and a value of type signed long long [C:6.5.5].
- Rem-schar-sint-okp
- Check if the remainder of a value of type signed char and a value of type signed int is well-defined.
- Rem-schar-schar-okp
- Check if the remainder of a value of type signed char and a value of type signed char is well-defined.
- Ne-ushort-ushort
- Non-equality of a value of type unsigned short and a value of type unsigned short [C:6.5.9].
- Ne-ushort-ullong
- Non-equality of a value of type unsigned short and a value of type unsigned long long [C:6.5.9].
- Ne-ushort-sshort
- Non-equality of a value of type unsigned short and a value of type signed short [C:6.5.9].
- Ne-ushort-sllong
- Non-equality of a value of type unsigned short and a value of type signed long long [C:6.5.9].
- Ne-ullong-ushort
- Non-equality of a value of type unsigned long long and a value of type unsigned short [C:6.5.9].
- Ne-ullong-ullong
- Non-equality of a value of type unsigned long long and a value of type unsigned long long [C:6.5.9].
- Ne-ullong-sllong
- Non-equality of a value of type unsigned long long and a value of type signed long long [C:6.5.9].
- Ne-sshort-ushort
- Non-equality of a value of type signed short and a value of type unsigned short [C:6.5.9].
- Ne-sshort-ullong
- Non-equality of a value of type signed short and a value of type unsigned long long [C:6.5.9].
- Ne-sshort-sshort
- Non-equality of a value of type signed short and a value of type signed short [C:6.5.9].
- Ne-sshort-sllong
- Non-equality of a value of type signed short and a value of type signed long long [C:6.5.9].
- Ne-sllong-ullong
- Non-equality of a value of type signed long long and a value of type unsigned long long [C:6.5.9].
- Ne-sllong-sllong
- Non-equality of a value of type signed long long and a value of type signed long long [C:6.5.9].
- Mul-ushort-ushort
- Multiplication of a value of type unsigned short and a value of type unsigned short [C:6.5.5].
- Mul-ushort-ullong
- Multiplication of a value of type unsigned short and a value of type unsigned long long [C:6.5.5].
- Mul-ushort-uchar
- Multiplication of a value of type unsigned short and a value of type unsigned char [C:6.5.5].
- Mul-ushort-sshort
- Multiplication of a value of type unsigned short and a value of type signed short [C:6.5.5].
- Mul-ushort-slong
- Multiplication of a value of type unsigned short and a value of type signed long [C:6.5.5].
- Mul-ushort-sllong
- Multiplication of a value of type unsigned short and a value of type signed long long [C:6.5.5].
- Mul-ushort-sint-okp
- Check if the multiplication of a value of type unsigned short and a value of type signed int is well-defined.
- Mul-ushort-schar
- Multiplication of a value of type unsigned short and a value of type signed char [C:6.5.5].
- Mul-ulong-ullong
- Multiplication of a value of type unsigned long and a value of type unsigned long long [C:6.5.5].
- Mul-ulong-sllong
- Multiplication of a value of type unsigned long and a value of type signed long long [C:6.5.5].
- Mul-ullong-ushort
- Multiplication of a value of type unsigned long long and a value of type unsigned short [C:6.5.5].
- Mul-ullong-ulong
- Multiplication of a value of type unsigned long long and a value of type unsigned long [C:6.5.5].
- Mul-ullong-ullong
- Multiplication of a value of type unsigned long long and a value of type unsigned long long [C:6.5.5].
- Mul-ullong-uchar
- Multiplication of a value of type unsigned long long and a value of type unsigned char [C:6.5.5].
- Mul-ullong-sshort
- Multiplication of a value of type unsigned long long and a value of type signed short [C:6.5.5].
- Mul-ullong-sllong
- Multiplication of a value of type unsigned long long and a value of type signed long long [C:6.5.5].
- Mul-uint-slong-okp
- Check if the multiplication of a value of type unsigned int and a value of type signed long is well-defined.
- Mul-uint-sllong
- Multiplication of a value of type unsigned int and a value of type signed long long [C:6.5.5].
- Mul-uchar-ushort
- Multiplication of a value of type unsigned char and a value of type unsigned short [C:6.5.5].
- Mul-uchar-ullong
- Multiplication of a value of type unsigned char and a value of type unsigned long long [C:6.5.5].
- Mul-uchar-uchar
- Multiplication of a value of type unsigned char and a value of type unsigned char [C:6.5.5].
- Mul-uchar-sshort
- Multiplication of a value of type unsigned char and a value of type signed short [C:6.5.5].
- Mul-uchar-slong-okp
- Check if the multiplication of a value of type unsigned char and a value of type signed long is well-defined.
- Mul-uchar-slong
- Multiplication of a value of type unsigned char and a value of type signed long [C:6.5.5].
- Mul-uchar-sllong
- Multiplication of a value of type unsigned char and a value of type signed long long [C:6.5.5].
- Mul-uchar-sint-okp
- Check if the multiplication of a value of type unsigned char and a value of type signed int is well-defined.
- Mul-uchar-schar
- Multiplication of a value of type unsigned char and a value of type signed char [C:6.5.5].
- Mul-sshort-ushort
- Multiplication of a value of type signed short and a value of type unsigned short [C:6.5.5].
- Mul-sshort-ullong
- Multiplication of a value of type signed short and a value of type unsigned long long [C:6.5.5].
- Mul-sshort-uchar
- Multiplication of a value of type signed short and a value of type unsigned char [C:6.5.5].
- Mul-sshort-sshort
- Multiplication of a value of type signed short and a value of type signed short [C:6.5.5].
- Mul-sshort-slong
- Multiplication of a value of type signed short and a value of type signed long [C:6.5.5].
- Mul-sshort-sllong
- Multiplication of a value of type signed short and a value of type signed long long [C:6.5.5].
- Mul-sshort-sint-okp
- Check if the multiplication of a value of type signed short and a value of type signed int is well-defined.
- Mul-sshort-schar
- Multiplication of a value of type signed short and a value of type signed char [C:6.5.5].
- Mul-slong-ushort
- Multiplication of a value of type signed long and a value of type unsigned short [C:6.5.5].
- Mul-slong-ullong
- Multiplication of a value of type signed long and a value of type unsigned long long [C:6.5.5].
- Mul-slong-uint-okp
- Check if the multiplication of a value of type signed long and a value of type unsigned int is well-defined.
- Mul-slong-uchar-okp
- Check if the multiplication of a value of type signed long and a value of type unsigned char is well-defined.
- Mul-slong-uchar
- Multiplication of a value of type signed long and a value of type unsigned char [C:6.5.5].
- Mul-slong-sshort
- Multiplication of a value of type signed long and a value of type signed short [C:6.5.5].
- Mul-slong-slong
- Multiplication of a value of type signed long and a value of type signed long [C:6.5.5].
- Mul-slong-sllong
- Multiplication of a value of type signed long and a value of type signed long long [C:6.5.5].
- Mul-slong-sint-okp
- Check if the multiplication of a value of type signed long and a value of type signed int is well-defined.
- Mul-slong-schar-okp
- Check if the multiplication of a value of type signed long and a value of type signed char is well-defined.
- Mul-sllong-ushort
- Multiplication of a value of type signed long long and a value of type unsigned short [C:6.5.5].
- Mul-sllong-ulong
- Multiplication of a value of type signed long long and a value of type unsigned long [C:6.5.5].
- Mul-sllong-ullong
- Multiplication of a value of type signed long long and a value of type unsigned long long [C:6.5.5].
- Mul-sllong-uint-okp
- Check if the multiplication of a value of type signed long long and a value of type unsigned int is well-defined.
- Mul-sllong-uint
- Multiplication of a value of type signed long long and a value of type unsigned int [C:6.5.5].
- Mul-sllong-uchar
- Multiplication of a value of type signed long long and a value of type unsigned char [C:6.5.5].
- Mul-sllong-sshort
- Multiplication of a value of type signed long long and a value of type signed short [C:6.5.5].
- Mul-sllong-slong
- Multiplication of a value of type signed long long and a value of type signed long [C:6.5.5].
- Mul-sllong-sint-okp
- Check if the multiplication of a value of type signed long long and a value of type signed int is well-defined.
- Mul-sllong-sint
- Multiplication of a value of type signed long long and a value of type signed int [C:6.5.5].
- Mul-sllong-schar
- Multiplication of a value of type signed long long and a value of type signed char [C:6.5.5].
- Mul-sint-ushort-okp
- Check if the multiplication of a value of type signed int and a value of type unsigned short is well-defined.
- Mul-sint-uchar-okp
- Check if the multiplication of a value of type signed int and a value of type unsigned char is well-defined.
- Mul-sint-sshort-okp
- Check if the multiplication of a value of type signed int and a value of type signed short is well-defined.
- Mul-sint-slong-okp
- Check if the multiplication of a value of type signed int and a value of type signed long is well-defined.
- Mul-sint-sllong
- Multiplication of a value of type signed int and a value of type signed long long [C:6.5.5].
- Mul-sint-schar-okp
- Check if the multiplication of a value of type signed int and a value of type signed char is well-defined.
- Mul-schar-ushort
- Multiplication of a value of type signed char and a value of type unsigned short [C:6.5.5].
- Mul-schar-ullong
- Multiplication of a value of type signed char and a value of type unsigned long long [C:6.5.5].
- Mul-schar-uchar
- Multiplication of a value of type signed char and a value of type unsigned char [C:6.5.5].
- Mul-schar-sshort
- Multiplication of a value of type signed char and a value of type signed short [C:6.5.5].
- Mul-schar-slong-okp
- Check if the multiplication of a value of type signed char and a value of type signed long is well-defined.
- Mul-schar-slong
- Multiplication of a value of type signed char and a value of type signed long [C:6.5.5].
- Mul-schar-sllong
- Multiplication of a value of type signed char and a value of type signed long long [C:6.5.5].
- Mul-schar-sint-okp
- Check if the multiplication of a value of type signed char and a value of type signed int is well-defined.
- Mul-schar-schar-okp
- Check if the multiplication of a value of type signed char and a value of type signed char is well-defined.
- Mul-schar-schar
- Multiplication of a value of type signed char and a value of type signed char [C:6.5.5].
- Lt-ushort-ushort
- Less-than relation of a value of type unsigned short and a value of type unsigned short [C:6.5.8].
- Lt-ushort-ullong
- Less-than relation of a value of type unsigned short and a value of type unsigned long long [C:6.5.8].
- Lt-ushort-sshort
- Less-than relation of a value of type unsigned short and a value of type signed short [C:6.5.8].
- Lt-ushort-sllong
- Less-than relation of a value of type unsigned short and a value of type signed long long [C:6.5.8].
- Lt-ulong-sllong
- Less-than relation of a value of type unsigned long and a value of type signed long long [C:6.5.8].
- Lt-ullong-ushort
- Less-than relation of a value of type unsigned long long and a value of type unsigned short [C:6.5.8].
- Lt-ullong-ullong
- Less-than relation of a value of type unsigned long long and a value of type unsigned long long [C:6.5.8].
- Lt-ullong-sshort
- Less-than relation of a value of type unsigned long long and a value of type signed short [C:6.5.8].
- Lt-ullong-sllong
- Less-than relation of a value of type unsigned long long and a value of type signed long long [C:6.5.8].
- Lt-sshort-ushort
- Less-than relation of a value of type signed short and a value of type unsigned short [C:6.5.8].
- Lt-sshort-ullong
- Less-than relation of a value of type signed short and a value of type unsigned long long [C:6.5.8].
- Lt-sshort-sshort
- Less-than relation of a value of type signed short and a value of type signed short [C:6.5.8].
- Lt-sshort-sllong
- Less-than relation of a value of type signed short and a value of type signed long long [C:6.5.8].
- Lt-sllong-ushort
- Less-than relation of a value of type signed long long and a value of type unsigned short [C:6.5.8].
- Lt-sllong-ulong
- Less-than relation of a value of type signed long long and a value of type unsigned long [C:6.5.8].
- Lt-sllong-ullong
- Less-than relation of a value of type signed long long and a value of type unsigned long long [C:6.5.8].
- Lt-sllong-sshort
- Less-than relation of a value of type signed long long and a value of type signed short [C:6.5.8].
- Lt-sllong-sllong
- Less-than relation of a value of type signed long long and a value of type signed long long [C:6.5.8].
- Lt-sint-sint
- Less-than relation of a value of type signed int and a value of type signed int [C:6.5.8].
- Le-ushort-ushort
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned short [C:6.5.8].
- Le-ushort-ulong
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned long [C:6.5.8].
- Le-ushort-ullong
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned long long [C:6.5.8].
- Le-ushort-uchar
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned char [C:6.5.8].
- Le-ushort-sshort
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type signed short [C:6.5.8].
- Le-ushort-slong
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type signed long [C:6.5.8].
- Le-ushort-sllong
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type signed long long [C:6.5.8].
- Le-ushort-schar
- Less-than-or-equal-to relation of a value of type unsigned short and a value of type signed char [C:6.5.8].
- Le-ulong-ushort
- Less-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned short [C:6.5.8].
- Le-ulong-ulong
- Less-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned long [C:6.5.8].
- Le-ulong-ullong
- Less-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned long long [C:6.5.8].
- Le-ulong-sllong
- Less-than-or-equal-to relation of a value of type unsigned long and a value of type signed long long [C:6.5.8].
- Le-ullong-ushort
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned short [C:6.5.8].
- Le-ullong-ulong
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned long [C:6.5.8].
- Le-ullong-uchar
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned char [C:6.5.8].
- Le-ullong-sshort
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type signed short [C:6.5.8].
- Le-ullong-slong
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type signed long [C:6.5.8].
- Le-ullong-sllong
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type signed long long [C:6.5.8].
- Le-ullong-schar
- Less-than-or-equal-to relation of a value of type unsigned long long and a value of type signed char [C:6.5.8].
- Le-uchar-ushort
- Less-than-or-equal-to relation of a value of type unsigned char and a value of type unsigned short [C:6.5.8].
- Le-uchar-ullong
- Less-than-or-equal-to relation of a value of type unsigned char and a value of type unsigned long long [C:6.5.8].
- Le-uchar-sshort
- Less-than-or-equal-to relation of a value of type unsigned char and a value of type signed short [C:6.5.8].
- Le-uchar-sllong
- Less-than-or-equal-to relation of a value of type unsigned char and a value of type signed long long [C:6.5.8].
- Le-sshort-ushort
- Less-than-or-equal-to relation of a value of type signed short and a value of type unsigned short [C:6.5.8].
- Le-sshort-ulong
- Less-than-or-equal-to relation of a value of type signed short and a value of type unsigned long [C:6.5.8].
- Le-sshort-ullong
- Less-than-or-equal-to relation of a value of type signed short and a value of type unsigned long long [C:6.5.8].
- Le-sshort-uchar
- Less-than-or-equal-to relation of a value of type signed short and a value of type unsigned char [C:6.5.8].
- Le-sshort-sshort
- Less-than-or-equal-to relation of a value of type signed short and a value of type signed short [C:6.5.8].
- Le-sshort-slong
- Less-than-or-equal-to relation of a value of type signed short and a value of type signed long [C:6.5.8].
- Le-sshort-sllong
- Less-than-or-equal-to relation of a value of type signed short and a value of type signed long long [C:6.5.8].
- Le-sshort-schar
- Less-than-or-equal-to relation of a value of type signed short and a value of type signed char [C:6.5.8].
- Le-slong-ullong
- Less-than-or-equal-to relation of a value of type signed long and a value of type unsigned long long [C:6.5.8].
- Le-slong-sllong
- Less-than-or-equal-to relation of a value of type signed long and a value of type signed long long [C:6.5.8].
- Le-sllong-ushort
- Less-than-or-equal-to relation of a value of type signed long long and a value of type unsigned short [C:6.5.8].
- Le-sllong-ulong
- Less-than-or-equal-to relation of a value of type signed long long and a value of type unsigned long [C:6.5.8].
- Le-sllong-ullong
- Less-than-or-equal-to relation of a value of type signed long long and a value of type unsigned long long [C:6.5.8].
- Le-sllong-uchar
- Less-than-or-equal-to relation of a value of type signed long long and a value of type unsigned char [C:6.5.8].
- Le-sllong-sshort
- Less-than-or-equal-to relation of a value of type signed long long and a value of type signed short [C:6.5.8].
- Le-sllong-slong
- Less-than-or-equal-to relation of a value of type signed long long and a value of type signed long [C:6.5.8].
- Le-sllong-sllong
- Less-than-or-equal-to relation of a value of type signed long long and a value of type signed long long [C:6.5.8].
- Le-sllong-schar
- Less-than-or-equal-to relation of a value of type signed long long and a value of type signed char [C:6.5.8].
- Le-sint-sint
- Less-than-or-equal-to relation of a value of type signed int and a value of type signed int [C:6.5.8].
- Le-schar-ushort
- Less-than-or-equal-to relation of a value of type signed char and a value of type unsigned short [C:6.5.8].
- Le-schar-ullong
- Less-than-or-equal-to relation of a value of type signed char and a value of type unsigned long long [C:6.5.8].
- Le-schar-sshort
- Less-than-or-equal-to relation of a value of type signed char and a value of type signed short [C:6.5.8].
- Le-schar-sllong
- Less-than-or-equal-to relation of a value of type signed char and a value of type signed long long [C:6.5.8].
- Gt-ushort-ushort
- Greater-than relation of a value of type unsigned short and a value of type unsigned short [C:6.5.8].
- Gt-ushort-ullong
- Greater-than relation of a value of type unsigned short and a value of type unsigned long long [C:6.5.8].
- Gt-ushort-uchar
- Greater-than relation of a value of type unsigned short and a value of type unsigned char [C:6.5.8].
- Gt-ushort-sshort
- Greater-than relation of a value of type unsigned short and a value of type signed short [C:6.5.8].
- Gt-ushort-sllong
- Greater-than relation of a value of type unsigned short and a value of type signed long long [C:6.5.8].
- Gt-ulong-ullong
- Greater-than relation of a value of type unsigned long and a value of type unsigned long long [C:6.5.8].
- Gt-ulong-sllong
- Greater-than relation of a value of type unsigned long and a value of type signed long long [C:6.5.8].
- Gt-ullong-ushort
- Greater-than relation of a value of type unsigned long long and a value of type unsigned short [C:6.5.8].
- Gt-ullong-ullong
- Greater-than relation of a value of type unsigned long long and a value of type unsigned long long [C:6.5.8].
- Gt-ullong-sshort
- Greater-than relation of a value of type unsigned long long and a value of type signed short [C:6.5.8].
- Gt-ullong-sllong
- Greater-than relation of a value of type unsigned long long and a value of type signed long long [C:6.5.8].
- Gt-uchar-ushort
- Greater-than relation of a value of type unsigned char and a value of type unsigned short [C:6.5.8].
- Gt-uchar-ullong
- Greater-than relation of a value of type unsigned char and a value of type unsigned long long [C:6.5.8].
- Gt-sshort-ushort
- Greater-than relation of a value of type signed short and a value of type unsigned short [C:6.5.8].
- Gt-sshort-ullong
- Greater-than relation of a value of type signed short and a value of type unsigned long long [C:6.5.8].
- Gt-sshort-sshort
- Greater-than relation of a value of type signed short and a value of type signed short [C:6.5.8].
- Gt-sshort-sllong
- Greater-than relation of a value of type signed short and a value of type signed long long [C:6.5.8].
- Gt-sllong-ushort
- Greater-than relation of a value of type signed long long and a value of type unsigned short [C:6.5.8].
- Gt-sllong-ulong
- Greater-than relation of a value of type signed long long and a value of type unsigned long [C:6.5.8].
- Gt-sllong-ullong
- Greater-than relation of a value of type signed long long and a value of type unsigned long long [C:6.5.8].
- Gt-sllong-sshort
- Greater-than relation of a value of type signed long long and a value of type signed short [C:6.5.8].
- Gt-sllong-sllong
- Greater-than relation of a value of type signed long long and a value of type signed long long [C:6.5.8].
- Gt-sint-sint
- Greater-than relation of a value of type signed int and a value of type signed int [C:6.5.8].
- Ge-ushort-ushort
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned short [C:6.5.8].
- Ge-ushort-ulong
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned long [C:6.5.8].
- Ge-ushort-ullong
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned long long [C:6.5.8].
- Ge-ushort-uchar
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type unsigned char [C:6.5.8].
- Ge-ushort-sshort
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type signed short [C:6.5.8].
- Ge-ushort-slong
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type signed long [C:6.5.8].
- Ge-ushort-sllong
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type signed long long [C:6.5.8].
- Ge-ushort-schar
- Greater-than-or-equal-to relation of a value of type unsigned short and a value of type signed char [C:6.5.8].
- Ge-ulong-ushort
- Greater-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned short [C:6.5.8].
- Ge-ulong-ulong
- Greater-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned long [C:6.5.8].
- Ge-ulong-ullong
- Greater-than-or-equal-to relation of a value of type unsigned long and a value of type unsigned long long [C:6.5.8].
- Ge-ulong-sshort
- Greater-than-or-equal-to relation of a value of type unsigned long and a value of type signed short [C:6.5.8].
- Ge-ulong-sllong
- Greater-than-or-equal-to relation of a value of type unsigned long and a value of type signed long long [C:6.5.8].
- Ge-ullong-ushort
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned short [C:6.5.8].
- Ge-ullong-ulong
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned long [C:6.5.8].
- Ge-ullong-uchar
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type unsigned char [C:6.5.8].
- Ge-ullong-sshort
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type signed short [C:6.5.8].
- Ge-ullong-slong
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type signed long [C:6.5.8].
- Ge-ullong-sllong
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type signed long long [C:6.5.8].
- Ge-ullong-schar
- Greater-than-or-equal-to relation of a value of type unsigned long long and a value of type signed char [C:6.5.8].
- Ge-uchar-ushort
- Greater-than-or-equal-to relation of a value of type unsigned char and a value of type unsigned short [C:6.5.8].
- Ge-uchar-ullong
- Greater-than-or-equal-to relation of a value of type unsigned char and a value of type unsigned long long [C:6.5.8].
- Ge-uchar-sshort
- Greater-than-or-equal-to relation of a value of type unsigned char and a value of type signed short [C:6.5.8].
- Ge-uchar-sllong
- Greater-than-or-equal-to relation of a value of type unsigned char and a value of type signed long long [C:6.5.8].
- Ge-sshort-ushort
- Greater-than-or-equal-to relation of a value of type signed short and a value of type unsigned short [C:6.5.8].
- Ge-sshort-ulong
- Greater-than-or-equal-to relation of a value of type signed short and a value of type unsigned long [C:6.5.8].
- Ge-sshort-ullong
- Greater-than-or-equal-to relation of a value of type signed short and a value of type unsigned long long [C:6.5.8].
- Ge-sshort-uchar
- Greater-than-or-equal-to relation of a value of type signed short and a value of type unsigned char [C:6.5.8].
- Ge-sshort-sshort
- Greater-than-or-equal-to relation of a value of type signed short and a value of type signed short [C:6.5.8].
- Ge-sshort-slong
- Greater-than-or-equal-to relation of a value of type signed short and a value of type signed long [C:6.5.8].
- Ge-sshort-sllong
- Greater-than-or-equal-to relation of a value of type signed short and a value of type signed long long [C:6.5.8].
- Ge-sshort-schar
- Greater-than-or-equal-to relation of a value of type signed short and a value of type signed char [C:6.5.8].
- Ge-slong-ushort
- Greater-than-or-equal-to relation of a value of type signed long and a value of type unsigned short [C:6.5.8].
- Ge-slong-ullong
- Greater-than-or-equal-to relation of a value of type signed long and a value of type unsigned long long [C:6.5.8].
- Ge-slong-sshort
- Greater-than-or-equal-to relation of a value of type signed long and a value of type signed short [C:6.5.8].
- Ge-slong-slong
- Greater-than-or-equal-to relation of a value of type signed long and a value of type signed long [C:6.5.8].
- Ge-slong-sllong
- Greater-than-or-equal-to relation of a value of type signed long and a value of type signed long long [C:6.5.8].
- Ge-sllong-ushort
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type unsigned short [C:6.5.8].
- Ge-sllong-ulong
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type unsigned long [C:6.5.8].
- Ge-sllong-ullong
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type unsigned long long [C:6.5.8].
- Ge-sllong-uchar
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type unsigned char [C:6.5.8].
- Ge-sllong-sshort
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type signed short [C:6.5.8].
- Ge-sllong-slong
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type signed long [C:6.5.8].
- Ge-sllong-schar
- Greater-than-or-equal-to relation of a value of type signed long long and a value of type signed char [C:6.5.8].
- Ge-sint-sint
- Greater-than-or-equal-to relation of a value of type signed int and a value of type signed int [C:6.5.8].
- Ge-schar-ushort
- Greater-than-or-equal-to relation of a value of type signed char and a value of type unsigned short [C:6.5.8].
- Ge-schar-ullong
- Greater-than-or-equal-to relation of a value of type signed char and a value of type unsigned long long [C:6.5.8].
- Ge-schar-sshort
- Greater-than-or-equal-to relation of a value of type signed char and a value of type signed short [C:6.5.8].
- Ge-schar-sllong
- Greater-than-or-equal-to relation of a value of type signed char and a value of type signed long long [C:6.5.8].
- Eq-ushort-ushort
- Equality of a value of type unsigned short and a value of type unsigned short [C:6.5.9].
- Eq-ushort-ullong
- Equality of a value of type unsigned short and a value of type unsigned long long [C:6.5.9].
- Eq-ullong-ullong
- Equality of a value of type unsigned long long and a value of type unsigned long long [C:6.5.9].
- Eq-sllong-ullong
- Equality of a value of type signed long long and a value of type unsigned long long [C:6.5.9].
- Eq-sllong-sllong
- Equality of a value of type signed long long and a value of type signed long long [C:6.5.9].
- Div-ushort-ushort
- Division of a value of type unsigned short and a value of type unsigned short [C:6.5.5].
- Div-ushort-ulong
- Division of a value of type unsigned short and a value of type unsigned long [C:6.5.5].
- Div-ushort-ullong
- Division of a value of type unsigned short and a value of type unsigned long long [C:6.5.5].
- Div-ushort-uint-okp
- Check if the division of a value of type unsigned short and a value of type unsigned int is well-defined.
- Div-ushort-uchar
- Division of a value of type unsigned short and a value of type unsigned char [C:6.5.5].
- Div-ushort-sshort
- Division of a value of type unsigned short and a value of type signed short [C:6.5.5].
- Div-ushort-slong
- Division of a value of type unsigned short and a value of type signed long [C:6.5.5].
- Div-ushort-sllong
- Division of a value of type unsigned short and a value of type signed long long [C:6.5.5].
- Div-ushort-sint-okp
- Check if the division of a value of type unsigned short and a value of type signed int is well-defined.
- Div-ushort-schar
- Division of a value of type unsigned short and a value of type signed char [C:6.5.5].
- Div-ulong-ushort
- Division of a value of type unsigned long and a value of type unsigned short [C:6.5.5].
- Div-ulong-ulong-okp
- Check if the division of a value of type unsigned long and a value of type unsigned long is well-defined.
- Div-ulong-ulong
- Division of a value of type unsigned long and a value of type unsigned long [C:6.5.5].
- Div-ulong-ullong
- Division of a value of type unsigned long and a value of type unsigned long long [C:6.5.5].
- Div-ulong-uint-okp
- Check if the division of a value of type unsigned long and a value of type unsigned int is well-defined.
- Div-ulong-uchar-okp
- Check if the division of a value of type unsigned long and a value of type unsigned char is well-defined.
- Div-ulong-sshort
- Division of a value of type unsigned long and a value of type signed short [C:6.5.5].
- Div-ulong-slong-okp
- Check if the division of a value of type unsigned long and a value of type signed long is well-defined.
- Div-ulong-sllong
- Division of a value of type unsigned long and a value of type signed long long [C:6.5.5].
- Div-ulong-sint-okp
- Check if the division of a value of type unsigned long and a value of type signed int is well-defined.
- Div-ulong-schar-okp
- Check if the division of a value of type unsigned long and a value of type signed char is well-defined.
- Div-ullong-ushort
- Division of a value of type unsigned long long and a value of type unsigned short [C:6.5.5].
- Div-ullong-ulong
- Division of a value of type unsigned long long and a value of type unsigned long [C:6.5.5].
- Div-ullong-uint-okp
- Check if the division of a value of type unsigned long long and a value of type unsigned int is well-defined.
- Div-ullong-uint
- Division of a value of type unsigned long long and a value of type unsigned int [C:6.5.5].
- Div-ullong-uchar
- Division of a value of type unsigned long long and a value of type unsigned char [C:6.5.5].
- Div-ullong-sshort
- Division of a value of type unsigned long long and a value of type signed short [C:6.5.5].
- Div-ullong-slong
- Division of a value of type unsigned long long and a value of type signed long [C:6.5.5].
- Div-ullong-sllong
- Division of a value of type unsigned long long and a value of type signed long long [C:6.5.5].
- Div-ullong-sint-okp
- Check if the division of a value of type unsigned long long and a value of type signed int is well-defined.
- Div-ullong-schar
- Division of a value of type unsigned long long and a value of type signed char [C:6.5.5].
- Div-uint-ushort-okp
- Check if the division of a value of type unsigned int and a value of type unsigned short is well-defined.
- Div-uint-ulong-okp
- Check if the division of a value of type unsigned int and a value of type unsigned long is well-defined.
- Div-uint-ullong-okp
- Check if the division of a value of type unsigned int and a value of type unsigned long long is well-defined.
- Div-uint-ullong
- Division of a value of type unsigned int and a value of type unsigned long long [C:6.5.5].
- Div-uint-uint-okp
- Check if the division of a value of type unsigned int and a value of type unsigned int is well-defined.
- Div-uint-uchar-okp
- Check if the division of a value of type unsigned int and a value of type unsigned char is well-defined.
- Div-uint-sshort-okp
- Check if the division of a value of type unsigned int and a value of type signed short is well-defined.
- Div-uint-slong-okp
- Check if the division of a value of type unsigned int and a value of type signed long is well-defined.
- Div-uint-sllong-okp
- Check if the division of a value of type unsigned int and a value of type signed long long is well-defined.
- Div-uint-sllong
- Division of a value of type unsigned int and a value of type signed long long [C:6.5.5].
- Div-uint-sint-okp
- Check if the division of a value of type unsigned int and a value of type signed int is well-defined.
- Div-uint-schar-okp
- Check if the division of a value of type unsigned int and a value of type signed char is well-defined.
- Div-uchar-ushort
- Division of a value of type unsigned char and a value of type unsigned short [C:6.5.5].
- Div-uchar-ulong-okp
- Check if the division of a value of type unsigned char and a value of type unsigned long is well-defined.
- Div-uchar-ulong
- Division of a value of type unsigned char and a value of type unsigned long [C:6.5.5].
- Div-uchar-ullong
- Division of a value of type unsigned char and a value of type unsigned long long [C:6.5.5].
- Div-uchar-uint-okp
- Check if the division of a value of type unsigned char and a value of type unsigned int is well-defined.
- Div-uchar-uchar-okp
- Check if the division of a value of type unsigned char and a value of type unsigned char is well-defined.
- Div-uchar-uchar
- Division of a value of type unsigned char and a value of type unsigned char [C:6.5.5].
- Div-uchar-sshort
- Division of a value of type unsigned char and a value of type signed short [C:6.5.5].
- Div-uchar-slong-okp
- Check if the division of a value of type unsigned char and a value of type signed long is well-defined.
- Div-uchar-sllong
- Division of a value of type unsigned char and a value of type signed long long [C:6.5.5].
- Div-uchar-sint-okp
- Check if the division of a value of type unsigned char and a value of type signed int is well-defined.
- Div-uchar-schar-okp
- Check if the division of a value of type unsigned char and a value of type signed char is well-defined.
- Div-uchar-schar
- Division of a value of type unsigned char and a value of type signed char [C:6.5.5].
- Div-sshort-ushort
- Division of a value of type signed short and a value of type unsigned short [C:6.5.5].
- Div-sshort-ulong
- Division of a value of type signed short and a value of type unsigned long [C:6.5.5].
- Div-sshort-ullong
- Division of a value of type signed short and a value of type unsigned long long [C:6.5.5].
- Div-sshort-uint-okp
- Check if the division of a value of type signed short and a value of type unsigned int is well-defined.
- Div-sshort-uchar
- Division of a value of type signed short and a value of type unsigned char [C:6.5.5].
- Div-sshort-sshort
- Division of a value of type signed short and a value of type signed short [C:6.5.5].
- Div-sshort-slong
- Division of a value of type signed short and a value of type signed long [C:6.5.5].
- Div-sshort-sllong
- Division of a value of type signed short and a value of type signed long long [C:6.5.5].
- Div-sshort-sint-okp
- Check if the division of a value of type signed short and a value of type signed int is well-defined.
- Div-sshort-schar
- Division of a value of type signed short and a value of type signed char [C:6.5.5].
- Div-slong-ushort
- Division of a value of type signed long and a value of type unsigned short [C:6.5.5].
- Div-slong-ulong-okp
- Check if the division of a value of type signed long and a value of type unsigned long is well-defined.
- Div-slong-ullong
- Division of a value of type signed long and a value of type unsigned long long [C:6.5.5].
- Div-slong-uint-okp
- Check if the division of a value of type signed long and a value of type unsigned int is well-defined.
- Div-slong-uchar-okp
- Check if the division of a value of type signed long and a value of type unsigned char is well-defined.
- Div-slong-sshort
- Division of a value of type signed long and a value of type signed short [C:6.5.5].
- Div-slong-slong
- Division of a value of type signed long and a value of type signed long [C:6.5.5].
- Div-slong-sllong
- Division of a value of type signed long and a value of type signed long long [C:6.5.5].
- Div-slong-sint-okp
- Check if the division of a value of type signed long and a value of type signed int is well-defined.
- Div-slong-schar-okp
- Check if the division of a value of type signed long and a value of type signed char is well-defined.
- Div-sllong-ushort
- Division of a value of type signed long long and a value of type unsigned short [C:6.5.5].
- Div-sllong-ulong
- Division of a value of type signed long long and a value of type unsigned long [C:6.5.5].
- Div-sllong-ullong
- Division of a value of type signed long long and a value of type unsigned long long [C:6.5.5].
- Div-sllong-uint-okp
- Check if the division of a value of type signed long long and a value of type unsigned int is well-defined.
- Div-sllong-uchar
- Division of a value of type signed long long and a value of type unsigned char [C:6.5.5].
- Div-sllong-sshort
- Division of a value of type signed long long and a value of type signed short [C:6.5.5].
- Div-sllong-slong
- Division of a value of type signed long long and a value of type signed long [C:6.5.5].
- Div-sllong-sllong
- Division of a value of type signed long long and a value of type signed long long [C:6.5.5].
- Div-sllong-sint-okp
- Check if the division of a value of type signed long long and a value of type signed int is well-defined.
- Div-sllong-schar
- Division of a value of type signed long long and a value of type signed char [C:6.5.5].
- Div-sint-ushort-okp
- Check if the division of a value of type signed int and a value of type unsigned short is well-defined.
- Div-sint-ulong-okp
- Check if the division of a value of type signed int and a value of type unsigned long is well-defined.
- Div-sint-ullong-okp
- Check if the division of a value of type signed int and a value of type unsigned long long is well-defined.
- Div-sint-ullong
- Division of a value of type signed int and a value of type unsigned long long [C:6.5.5].
- Div-sint-uint-okp
- Check if the division of a value of type signed int and a value of type unsigned int is well-defined.
- Div-sint-uchar-okp
- Check if the division of a value of type signed int and a value of type unsigned char is well-defined.
- Div-sint-sshort-okp
- Check if the division of a value of type signed int and a value of type signed short is well-defined.
- Div-sint-slong-okp
- Check if the division of a value of type signed int and a value of type signed long is well-defined.
- Div-sint-sllong-okp
- Check if the division of a value of type signed int and a value of type signed long long is well-defined.
- Div-sint-sllong
- Division of a value of type signed int and a value of type signed long long [C:6.5.5].
- Div-sint-sint
- Division of a value of type signed int and a value of type signed int [C:6.5.5].
- Div-sint-schar-okp
- Check if the division of a value of type signed int and a value of type signed char is well-defined.
- Div-schar-ushort
- Division of a value of type signed char and a value of type unsigned short [C:6.5.5].
- Div-schar-ulong-okp
- Check if the division of a value of type signed char and a value of type unsigned long is well-defined.
- Div-schar-ullong
- Division of a value of type signed char and a value of type unsigned long long [C:6.5.5].
- Div-schar-uint-okp
- Check if the division of a value of type signed char and a value of type unsigned int is well-defined.
- Div-schar-uchar-okp
- Check if the division of a value of type signed char and a value of type unsigned char is well-defined.
- Div-schar-uchar
- Division of a value of type signed char and a value of type unsigned char [C:6.5.5].
- Div-schar-sshort
- Division of a value of type signed char and a value of type signed short [C:6.5.5].
- Div-schar-slong-okp
- Check if the division of a value of type signed char and a value of type signed long is well-defined.
- Div-schar-sllong
- Division of a value of type signed char and a value of type signed long long [C:6.5.5].
- Div-schar-sint-okp
- Check if the division of a value of type signed char and a value of type signed int is well-defined.
- Div-schar-schar-okp
- Check if the division of a value of type signed char and a value of type signed char is well-defined.
- Def-integer-operations-2-loop-same
- Events to generate the ACL2 models of
the C integer operations that involve
two identical integer types from a list.
- Bitxor-ushort-ulong
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type unsigned long [C:6.5.11].
- Bitxor-ushort-uint
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type unsigned int [C:6.5.11].
- Bitxor-ushort-slong
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type signed long [C:6.5.11].
- Bitxor-ushort-sint
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type signed int [C:6.5.11].
- Bitxor-ushort-schar
- Bitwise exclusive disjunction of a value of type unsigned short and a value of type signed char [C:6.5.11].
- Bitxor-ulong-ushort
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type unsigned short [C:6.5.11].
- Bitxor-ulong-ulong
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type unsigned long [C:6.5.11].
- Bitxor-ulong-uint
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type unsigned int [C:6.5.11].
- Bitxor-ulong-uchar
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type unsigned char [C:6.5.11].
- Bitxor-ulong-sshort
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type signed short [C:6.5.11].
- Bitxor-ulong-slong
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type signed long [C:6.5.11].
- Bitxor-ulong-sint
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type signed int [C:6.5.11].
- Bitxor-ulong-schar
- Bitwise exclusive disjunction of a value of type unsigned long and a value of type signed char [C:6.5.11].
- Bitxor-ullong-ulong
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type unsigned long [C:6.5.11].
- Bitxor-ullong-uint
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type unsigned int [C:6.5.11].
- Bitxor-ullong-uchar
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type unsigned char [C:6.5.11].
- Bitxor-ullong-slong
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type signed long [C:6.5.11].
- Bitxor-ullong-sint
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type signed int [C:6.5.11].
- Bitxor-ullong-schar
- Bitwise exclusive disjunction of a value of type unsigned long long and a value of type signed char [C:6.5.11].
- Bitxor-uint-ushort
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type unsigned short [C:6.5.11].
- Bitxor-uint-ulong
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type unsigned long [C:6.5.11].
- Bitxor-uint-ullong
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type unsigned long long [C:6.5.11].
- Bitxor-uint-uint
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type unsigned int [C:6.5.11].
- Bitxor-uint-uchar
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type unsigned char [C:6.5.11].
- Bitxor-uint-sshort
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type signed short [C:6.5.11].
- Bitxor-uint-slong
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type signed long [C:6.5.11].
- Bitxor-uint-sllong
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type signed long long [C:6.5.11].
- Bitxor-uint-schar
- Bitwise exclusive disjunction of a value of type unsigned int and a value of type signed char [C:6.5.11].
- Bitxor-uchar-ulong
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type unsigned long [C:6.5.11].
- Bitxor-uchar-uint
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type unsigned int [C:6.5.11].
- Bitxor-uchar-uchar
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type unsigned char [C:6.5.11].
- Bitxor-uchar-sshort
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type signed short [C:6.5.11].
- Bitxor-uchar-slong
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type signed long [C:6.5.11].
- Bitxor-uchar-sint
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type signed int [C:6.5.11].
- Bitxor-uchar-schar
- Bitwise exclusive disjunction of a value of type unsigned char and a value of type signed char [C:6.5.11].
- Bitxor-sshort-ulong
- Bitwise exclusive disjunction of a value of type signed short and a value of type unsigned long [C:6.5.11].
- Bitxor-sshort-uint
- Bitwise exclusive disjunction of a value of type signed short and a value of type unsigned int [C:6.5.11].
- Bitxor-sshort-uchar
- Bitwise exclusive disjunction of a value of type signed short and a value of type unsigned char [C:6.5.11].
- Bitxor-sshort-slong
- Bitwise exclusive disjunction of a value of type signed short and a value of type signed long [C:6.5.11].
- Bitxor-sshort-sint
- Bitwise exclusive disjunction of a value of type signed short and a value of type signed int [C:6.5.11].
- Bitxor-sshort-schar
- Bitwise exclusive disjunction of a value of type signed short and a value of type signed char [C:6.5.11].
- Bitxor-slong-ushort
- Bitwise exclusive disjunction of a value of type signed long and a value of type unsigned short [C:6.5.11].
- Bitxor-slong-ulong
- Bitwise exclusive disjunction of a value of type signed long and a value of type unsigned long [C:6.5.11].
- Bitxor-slong-uint
- Bitwise exclusive disjunction of a value of type signed long and a value of type unsigned int [C:6.5.11].
- Bitxor-slong-uchar
- Bitwise exclusive disjunction of a value of type signed long and a value of type unsigned char [C:6.5.11].
- Bitxor-slong-sshort
- Bitwise exclusive disjunction of a value of type signed long and a value of type signed short [C:6.5.11].
- Bitxor-slong-slong
- Bitwise exclusive disjunction of a value of type signed long and a value of type signed long [C:6.5.11].
- Bitxor-slong-sint
- Bitwise exclusive disjunction of a value of type signed long and a value of type signed int [C:6.5.11].
- Bitxor-slong-schar
- Bitwise exclusive disjunction of a value of type signed long and a value of type signed char [C:6.5.11].
- Bitxor-sllong-uint
- Bitwise exclusive disjunction of a value of type signed long long and a value of type unsigned int [C:6.5.11].
- Bitxor-sllong-uchar
- Bitwise exclusive disjunction of a value of type signed long long and a value of type unsigned char [C:6.5.11].
- Bitxor-sllong-slong
- Bitwise exclusive disjunction of a value of type signed long long and a value of type signed long [C:6.5.11].
- Bitxor-sllong-sint
- Bitwise exclusive disjunction of a value of type signed long long and a value of type signed int [C:6.5.11].
- Bitxor-sllong-schar
- Bitwise exclusive disjunction of a value of type signed long long and a value of type signed char [C:6.5.11].
- Bitxor-sint-ushort
- Bitwise exclusive disjunction of a value of type signed int and a value of type unsigned short [C:6.5.11].
- Bitxor-sint-ulong
- Bitwise exclusive disjunction of a value of type signed int and a value of type unsigned long [C:6.5.11].
- Bitxor-sint-ullong
- Bitwise exclusive disjunction of a value of type signed int and a value of type unsigned long long [C:6.5.11].
- Bitxor-sint-uchar
- Bitwise exclusive disjunction of a value of type signed int and a value of type unsigned char [C:6.5.11].
- Bitxor-sint-sshort
- Bitwise exclusive disjunction of a value of type signed int and a value of type signed short [C:6.5.11].
- Bitxor-sint-slong
- Bitwise exclusive disjunction of a value of type signed int and a value of type signed long [C:6.5.11].
- Bitxor-sint-sllong
- Bitwise exclusive disjunction of a value of type signed int and a value of type signed long long [C:6.5.11].
- Bitxor-sint-schar
- Bitwise exclusive disjunction of a value of type signed int and a value of type signed char [C:6.5.11].
- Bitxor-schar-ushort
- Bitwise exclusive disjunction of a value of type signed char and a value of type unsigned short [C:6.5.11].
- Bitxor-schar-ulong
- Bitwise exclusive disjunction of a value of type signed char and a value of type unsigned long [C:6.5.11].
- Bitxor-schar-uint
- Bitwise exclusive disjunction of a value of type signed char and a value of type unsigned int [C:6.5.11].
- Bitxor-schar-uchar
- Bitwise exclusive disjunction of a value of type signed char and a value of type unsigned char [C:6.5.11].
- Bitxor-schar-sshort
- Bitwise exclusive disjunction of a value of type signed char and a value of type signed short [C:6.5.11].
- Bitxor-schar-slong
- Bitwise exclusive disjunction of a value of type signed char and a value of type signed long [C:6.5.11].
- Bitxor-schar-sint
- Bitwise exclusive disjunction of a value of type signed char and a value of type signed int [C:6.5.11].
- Bitxor-schar-schar
- Bitwise exclusive disjunction of a value of type signed char and a value of type signed char [C:6.5.11].
- Bitior-ushort-ulong
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type unsigned long [C:6.5.12].
- Bitior-ushort-uint
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type unsigned int [C:6.5.12].
- Bitior-ushort-slong
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type signed long [C:6.5.12].
- Bitior-ushort-sint
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type signed int [C:6.5.12].
- Bitior-ushort-schar
- Bitwise inclusive disjunction of a value of type unsigned short and a value of type signed char [C:6.5.12].
- Bitior-ulong-ushort
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type unsigned short [C:6.5.12].
- Bitior-ulong-ulong
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type unsigned long [C:6.5.12].
- Bitior-ulong-uint
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type unsigned int [C:6.5.12].
- Bitior-ulong-uchar
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type unsigned char [C:6.5.12].
- Bitior-ulong-sshort
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type signed short [C:6.5.12].
- Bitior-ulong-slong
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type signed long [C:6.5.12].
- Bitior-ulong-sint
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type signed int [C:6.5.12].
- Bitior-ulong-schar
- Bitwise inclusive disjunction of a value of type unsigned long and a value of type signed char [C:6.5.12].
- Bitior-ullong-ulong
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type unsigned long [C:6.5.12].
- Bitior-ullong-uint
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type unsigned int [C:6.5.12].
- Bitior-ullong-uchar
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type unsigned char [C:6.5.12].
- Bitior-ullong-slong
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type signed long [C:6.5.12].
- Bitior-ullong-sint
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type signed int [C:6.5.12].
- Bitior-ullong-schar
- Bitwise inclusive disjunction of a value of type unsigned long long and a value of type signed char [C:6.5.12].
- Bitior-uint-ushort
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type unsigned short [C:6.5.12].
- Bitior-uint-ulong
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type unsigned long [C:6.5.12].
- Bitior-uint-ullong
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type unsigned long long [C:6.5.12].
- Bitior-uint-uint
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type unsigned int [C:6.5.12].
- Bitior-uint-uchar
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type unsigned char [C:6.5.12].
- Bitior-uint-sshort
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type signed short [C:6.5.12].
- Bitior-uint-slong
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type signed long [C:6.5.12].
- Bitior-uint-sllong
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type signed long long [C:6.5.12].
- Bitior-uint-schar
- Bitwise inclusive disjunction of a value of type unsigned int and a value of type signed char [C:6.5.12].
- Bitior-uchar-ulong
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type unsigned long [C:6.5.12].
- Bitior-uchar-uint
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type unsigned int [C:6.5.12].
- Bitior-uchar-uchar
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type unsigned char [C:6.5.12].
- Bitior-uchar-sshort
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type signed short [C:6.5.12].
- Bitior-uchar-slong
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type signed long [C:6.5.12].
- Bitior-uchar-sint
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type signed int [C:6.5.12].
- Bitior-uchar-schar
- Bitwise inclusive disjunction of a value of type unsigned char and a value of type signed char [C:6.5.12].
- Bitior-sshort-ulong
- Bitwise inclusive disjunction of a value of type signed short and a value of type unsigned long [C:6.5.12].
- Bitior-sshort-uint
- Bitwise inclusive disjunction of a value of type signed short and a value of type unsigned int [C:6.5.12].
- Bitior-sshort-uchar
- Bitwise inclusive disjunction of a value of type signed short and a value of type unsigned char [C:6.5.12].
- Bitior-sshort-slong
- Bitwise inclusive disjunction of a value of type signed short and a value of type signed long [C:6.5.12].
- Bitior-sshort-sint
- Bitwise inclusive disjunction of a value of type signed short and a value of type signed int [C:6.5.12].
- Bitior-sshort-schar
- Bitwise inclusive disjunction of a value of type signed short and a value of type signed char [C:6.5.12].
- Bitior-slong-ushort
- Bitwise inclusive disjunction of a value of type signed long and a value of type unsigned short [C:6.5.12].
- Bitior-slong-ulong
- Bitwise inclusive disjunction of a value of type signed long and a value of type unsigned long [C:6.5.12].
- Bitior-slong-uint
- Bitwise inclusive disjunction of a value of type signed long and a value of type unsigned int [C:6.5.12].
- Bitior-slong-uchar
- Bitwise inclusive disjunction of a value of type signed long and a value of type unsigned char [C:6.5.12].
- Bitior-slong-sshort
- Bitwise inclusive disjunction of a value of type signed long and a value of type signed short [C:6.5.12].
- Bitior-slong-slong
- Bitwise inclusive disjunction of a value of type signed long and a value of type signed long [C:6.5.12].
- Bitior-slong-sint
- Bitwise inclusive disjunction of a value of type signed long and a value of type signed int [C:6.5.12].
- Bitior-slong-schar
- Bitwise inclusive disjunction of a value of type signed long and a value of type signed char [C:6.5.12].
- Bitior-sllong-uint
- Bitwise inclusive disjunction of a value of type signed long long and a value of type unsigned int [C:6.5.12].
- Bitior-sllong-uchar
- Bitwise inclusive disjunction of a value of type signed long long and a value of type unsigned char [C:6.5.12].
- Bitior-sllong-slong
- Bitwise inclusive disjunction of a value of type signed long long and a value of type signed long [C:6.5.12].
- Bitior-sllong-sint
- Bitwise inclusive disjunction of a value of type signed long long and a value of type signed int [C:6.5.12].
- Bitior-sllong-schar
- Bitwise inclusive disjunction of a value of type signed long long and a value of type signed char [C:6.5.12].
- Bitior-sint-ushort
- Bitwise inclusive disjunction of a value of type signed int and a value of type unsigned short [C:6.5.12].
- Bitior-sint-ulong
- Bitwise inclusive disjunction of a value of type signed int and a value of type unsigned long [C:6.5.12].
- Bitior-sint-ullong
- Bitwise inclusive disjunction of a value of type signed int and a value of type unsigned long long [C:6.5.12].
- Bitior-sint-uchar
- Bitwise inclusive disjunction of a value of type signed int and a value of type unsigned char [C:6.5.12].
- Bitior-sint-sshort
- Bitwise inclusive disjunction of a value of type signed int and a value of type signed short [C:6.5.12].
- Bitior-sint-slong
- Bitwise inclusive disjunction of a value of type signed int and a value of type signed long [C:6.5.12].
- Bitior-sint-sllong
- Bitwise inclusive disjunction of a value of type signed int and a value of type signed long long [C:6.5.12].
- Bitior-sint-schar
- Bitwise inclusive disjunction of a value of type signed int and a value of type signed char [C:6.5.12].
- Bitior-schar-ushort
- Bitwise inclusive disjunction of a value of type signed char and a value of type unsigned short [C:6.5.12].
- Bitior-schar-ulong
- Bitwise inclusive disjunction of a value of type signed char and a value of type unsigned long [C:6.5.12].
- Bitior-schar-uint
- Bitwise inclusive disjunction of a value of type signed char and a value of type unsigned int [C:6.5.12].
- Bitior-schar-uchar
- Bitwise inclusive disjunction of a value of type signed char and a value of type unsigned char [C:6.5.12].
- Bitior-schar-sshort
- Bitwise inclusive disjunction of a value of type signed char and a value of type signed short [C:6.5.12].
- Bitior-schar-slong
- Bitwise inclusive disjunction of a value of type signed char and a value of type signed long [C:6.5.12].
- Bitior-schar-sint
- Bitwise inclusive disjunction of a value of type signed char and a value of type signed int [C:6.5.12].
- Bitior-schar-schar
- Bitwise inclusive disjunction of a value of type signed char and a value of type signed char [C:6.5.12].
- Bitand-ushort-ulong
- Bitwise conjunction of a value of type unsigned short and a value of type unsigned long [C:6.5.10].
- Bitand-ushort-uint
- Bitwise conjunction of a value of type unsigned short and a value of type unsigned int [C:6.5.10].
- Bitand-ushort-uchar
- Bitwise conjunction of a value of type unsigned short and a value of type unsigned char [C:6.5.10].
- Bitand-ushort-slong
- Bitwise conjunction of a value of type unsigned short and a value of type signed long [C:6.5.10].
- Bitand-ushort-sint
- Bitwise conjunction of a value of type unsigned short and a value of type signed int [C:6.5.10].
- Bitand-ushort-schar
- Bitwise conjunction of a value of type unsigned short and a value of type signed char [C:6.5.10].
- Bitand-ulong-ushort
- Bitwise conjunction of a value of type unsigned long and a value of type unsigned short [C:6.5.10].
- Bitand-ulong-ulong
- Bitwise conjunction of a value of type unsigned long and a value of type unsigned long [C:6.5.10].
- Bitand-ulong-ullong
- Bitwise conjunction of a value of type unsigned long and a value of type unsigned long long [C:6.5.10].
- Bitand-ulong-uint
- Bitwise conjunction of a value of type unsigned long and a value of type unsigned int [C:6.5.10].
- Bitand-ulong-uchar
- Bitwise conjunction of a value of type unsigned long and a value of type unsigned char [C:6.5.10].
- Bitand-ulong-sshort
- Bitwise conjunction of a value of type unsigned long and a value of type signed short [C:6.5.10].
- Bitand-ulong-slong
- Bitwise conjunction of a value of type unsigned long and a value of type signed long [C:6.5.10].
- Bitand-ulong-sllong
- Bitwise conjunction of a value of type unsigned long and a value of type signed long long [C:6.5.10].
- Bitand-ulong-schar
- Bitwise conjunction of a value of type unsigned long and a value of type signed char [C:6.5.10].
- Bitand-ullong-ulong
- Bitwise conjunction of a value of type unsigned long long and a value of type unsigned long [C:6.5.10].
- Bitand-ullong-uint
- Bitwise conjunction of a value of type unsigned long long and a value of type unsigned int [C:6.5.10].
- Bitand-ullong-uchar
- Bitwise conjunction of a value of type unsigned long long and a value of type unsigned char [C:6.5.10].
- Bitand-ullong-slong
- Bitwise conjunction of a value of type unsigned long long and a value of type signed long [C:6.5.10].
- Bitand-ullong-sint
- Bitwise conjunction of a value of type unsigned long long and a value of type signed int [C:6.5.10].
- Bitand-ullong-schar
- Bitwise conjunction of a value of type unsigned long long and a value of type signed char [C:6.5.10].
- Bitand-uint-ushort
- Bitwise conjunction of a value of type unsigned int and a value of type unsigned short [C:6.5.10].
- Bitand-uint-ulong
- Bitwise conjunction of a value of type unsigned int
