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

We introduce functions

We introduce functions

We introduce a single function `sint-from-boolean`
to turn ACL2 booleans into the

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

For all the binary integer operators
except

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

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].

- 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned short is well-defined. - Sub-ushort-uchar-okp
- Check if the subtraction of a value of type
unsigned short and a value of typeunsigned char is well-defined. - Sub-ushort-sshort-okp
- Check if the subtraction of a value of type
unsigned short and a value of typesigned short is well-defined. - Sub-ushort-slong-okp
- Check if the subtraction of a value of type
unsigned short and a value of typesigned long is well-defined. - Sub-ushort-sllong-okp
- Check if the subtraction of a value of type
unsigned short and a value of typesigned long long is well-defined. - Sub-ushort-schar-okp
- Check if the subtraction of a value of type
unsigned short and a value of typesigned char is well-defined. - Sub-uint-sllong-okp
- Check if the subtraction of a value of type
unsigned int and a value of typesigned long long is well-defined. - Sub-uchar-ushort-okp
- Check if the subtraction of a value of type
unsigned char and a value of typeunsigned short is well-defined. - Sub-uchar-uchar-okp
- Check if the subtraction of a value of type
unsigned char and a value of typeunsigned char is well-defined. - Sub-uchar-sshort-okp
- Check if the subtraction of a value of type
unsigned char and a value of typesigned short is well-defined. - Sub-uchar-sllong-okp
- Check if the subtraction of a value of type
unsigned char and a value of typesigned long long is well-defined. - Sub-sshort-ushort-okp
- Check if the subtraction of a value of type
signed short and a value of typeunsigned short is well-defined. - Sub-sshort-uchar-okp
- Check if the subtraction of a value of type
signed short and a value of typeunsigned char is well-defined. - Sub-sshort-sshort-okp
- Check if the subtraction of a value of type
signed short and a value of typesigned short is well-defined. - Sub-sshort-slong-okp
- Check if the subtraction of a value of type
signed short and a value of typesigned long is well-defined. - Sub-sshort-sllong-okp
- Check if the subtraction of a value of type
signed short and a value of typesigned long long is well-defined. - Sub-sshort-schar-okp
- Check if the subtraction of a value of type
signed short and a value of typesigned char is well-defined. - Sub-slong-ushort-okp
- Check if the subtraction of a value of type
signed long and a value of typeunsigned short is well-defined. - Sub-slong-sshort-okp
- Check if the subtraction of a value of type
signed long and a value of typesigned short is well-defined. - Sub-slong-sllong-okp
- Check if the subtraction of a value of type
signed long and a value of typesigned 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 typeunsigned short is well-defined. - Sub-sllong-uchar-okp
- Check if the subtraction of a value of type
signed long long and a value of typeunsigned char is well-defined. - Sub-sllong-sshort-okp
- Check if the subtraction of a value of type
signed long long and a value of typesigned short is well-defined. - Sub-sllong-slong-okp
- Check if the subtraction of a value of type
signed long long and a value of typesigned long is well-defined. - Sub-sllong-sllong-okp
- Check if the subtraction of a value of type
signed long long and a value of typesigned long long is well-defined. - Sub-sllong-sllong
- Subtraction of a value of type
signed long long and a value of typesigned 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 typesigned char is well-defined. - Sub-sint-sint-okp
- Check if the subtraction of a value of type
signed int and a value of typesigned int is well-defined. - Sub-sint-sint
- Subtraction of a value of type
signed int and a value of typesigned int [C:6.5.6]. - Sub-schar-ushort-okp
- Check if the subtraction of a value of type
signed char and a value of typeunsigned short is well-defined. - Sub-schar-sshort-okp
- Check if the subtraction of a value of type
signed char and a value of typesigned short is well-defined. - Sub-schar-sllong-okp
- Check if the subtraction of a value of type
signed char and a value of typesigned 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 typeunsigned short is well-defined. - Shr-ushort-ulong-okp
- Check if the right shift of a value of type
unsigned short by a value of typeunsigned long is well-defined. - Shr-ushort-ullong-okp
- Check if the right shift of a value of type
unsigned short by a value of typeunsigned 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 typeunsigned char is well-defined. - Shr-ushort-sshort-okp
- Check if the right shift of a value of type
unsigned short by a value of typesigned short is well-defined. - Shr-ushort-slong-okp
- Check if the right shift of a value of type
unsigned short by a value of typesigned long is well-defined. - Shr-ushort-sllong-okp
- Check if the right shift of a value of type
unsigned short by a value of typesigned 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 typesigned char is well-defined. - Shr-ulong-ushort-okp
- Check if the right shift of a value of type
unsigned long by a value of typeunsigned short is well-defined. - Shr-ulong-ullong-okp
- Check if the right shift of a value of type
unsigned long by a value of typeunsigned 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 typesigned short is well-defined. - Shr-ulong-sllong-okp
- Check if the right shift of a value of type
unsigned long by a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned char is well-defined. - Shr-uchar-ushort-okp
- Check if the right shift of a value of type
unsigned char by a value of typeunsigned short is well-defined. - Shr-uchar-ullong-okp
- Check if the right shift of a value of type
unsigned char by a value of typeunsigned 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 typesigned short is well-defined. - Shr-uchar-sllong-okp
- Check if the right shift of a value of type
unsigned char by a value of typesigned 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 typeunsigned short is well-defined. - Shr-sshort-ulong-okp
- Check if the right shift of a value of type
signed short by a value of typeunsigned long is well-defined. - Shr-sshort-ullong-okp
- Check if the right shift of a value of type
signed short by a value of typeunsigned 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 typeunsigned char is well-defined. - Shr-sshort-sshort-okp
- Check if the right shift of a value of type
signed short by a value of typesigned short is well-defined. - Shr-sshort-slong-okp
- Check if the right shift of a value of type
signed short by a value of typesigned long is well-defined. - Shr-sshort-sllong-okp
- Check if the right shift of a value of type
signed short by a value of typesigned 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 typesigned char is well-defined. - Shr-slong-ushort-okp
- Check if the right shift of a value of type
signed long by a value of typeunsigned short is well-defined. - Shr-slong-ullong-okp
- Check if the right shift of a value of type
signed long by a value of typeunsigned 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 typesigned short is well-defined. - Shr-slong-sllong-okp
- Check if the right shift of a value of type
signed long by a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned char is well-defined. - Shr-sint-sint-okp
- Check if the right shift of a value of type
signed int by a value of typesigned int is well-defined. - Shr-schar-ushort-okp
- Check if the right shift of a value of type
signed char by a value of typeunsigned short is well-defined. - Shr-schar-ullong-okp
- Check if the right shift of a value of type
signed char by a value of typeunsigned 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 typesigned short is well-defined. - Shr-schar-sllong-okp
- Check if the right shift of a value of type
signed char by a value of typesigned 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 typeunsigned short is well-defined. - Shl-ushort-ulong-okp
- Check if the left shift of a value of type
unsigned short by a value of typeunsigned long is well-defined. - Shl-ushort-ullong-okp
- Check if the left shift of a value of type
unsigned short by a value of typeunsigned 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 typeunsigned char is well-defined. - Shl-ushort-sshort-okp
- Check if the left shift of a value of type
unsigned short by a value of typesigned short is well-defined. - Shl-ushort-slong-okp
- Check if the left shift of a value of type
unsigned short by a value of typesigned long is well-defined. - Shl-ushort-sllong-okp
- Check if the left shift of a value of type
unsigned short by a value of typesigned 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 typesigned char is well-defined. - Shl-ulong-ushort-okp
- Check if the left shift of a value of type
unsigned long by a value of typeunsigned short is well-defined. - Shl-ulong-ullong-okp
- Check if the left shift of a value of type
unsigned long by a value of typeunsigned 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 typesigned short is well-defined. - Shl-ulong-sllong-okp
- Check if the left shift of a value of type
unsigned long by a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned char is well-defined. - Shl-uchar-ushort-okp
- Check if the left shift of a value of type
unsigned char by a value of typeunsigned short is well-defined. - Shl-uchar-ullong-okp
- Check if the left shift of a value of type
unsigned char by a value of typeunsigned 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 typesigned short is well-defined. - Shl-uchar-sllong-okp
- Check if the left shift of a value of type
unsigned char by a value of typesigned 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 typeunsigned short is well-defined. - Shl-sshort-ulong-okp
- Check if the left shift of a value of type
signed short by a value of typeunsigned long is well-defined. - Shl-sshort-ullong-okp
- Check if the left shift of a value of type
signed short by a value of typeunsigned 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 typeunsigned char is well-defined. - Shl-sshort-sshort-okp
- Check if the left shift of a value of type
signed short by a value of typesigned short is well-defined. - Shl-sshort-slong-okp
- Check if the left shift of a value of type
signed short by a value of typesigned long is well-defined. - Shl-sshort-sllong-okp
- Check if the left shift of a value of type
signed short by a value of typesigned 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 typesigned char is well-defined. - Shl-slong-ushort-okp
- Check if the left shift of a value of type
signed long by a value of typeunsigned short is well-defined. - Shl-slong-ullong-okp
- Check if the left shift of a value of type
signed long by a value of typeunsigned 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 typesigned short is well-defined. - Shl-slong-sllong-okp
- Check if the left shift of a value of type
signed long by a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned char is well-defined. - Shl-sint-sint-okp
- Check if the left shift of a value of type
signed int by a value of typesigned int is well-defined. - Shl-schar-ushort-okp
- Check if the left shift of a value of type
signed char by a value of typeunsigned short is well-defined. - Shl-schar-ullong-okp
- Check if the left shift of a value of type
signed char by a value of typeunsigned 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 typesigned short is well-defined. - Shl-schar-sllong-okp
- Check if the left shift of a value of type
signed char by a value of typesigned long long is well-defined. - Rem-ushort-ushort-okp
- Check if the remainder of a value of type
unsigned short and a value of typeunsigned short is well-defined. - Rem-ushort-ulong-okp
- Check if the remainder of a value of type
unsigned short and a value of typeunsigned long is well-defined. - Rem-ushort-ullong-okp
- Check if the remainder of a value of type
unsigned short and a value of typeunsigned long long is well-defined. - Rem-ushort-uchar-okp
- Check if the remainder of a value of type
unsigned short and a value of typeunsigned char is well-defined. - Rem-ushort-sshort-okp
- Check if the remainder of a value of type
unsigned short and a value of typesigned short is well-defined. - Rem-ushort-slong-okp
- Check if the remainder of a value of type
unsigned short and a value of typesigned long is well-defined. - Rem-ushort-sllong-okp
- Check if the remainder of a value of type
unsigned short and a value of typesigned long long is well-defined. - Rem-ushort-schar-okp
- Check if the remainder of a value of type
unsigned short and a value of typesigned char is well-defined. - Rem-ulong-ushort-okp
- Check if the remainder of a value of type
unsigned long and a value of typeunsigned short is well-defined. - Rem-ulong-ullong-okp
- Check if the remainder of a value of type
unsigned long and a value of typeunsigned long long is well-defined. - Rem-ulong-sshort-okp
- Check if the remainder of a value of type
unsigned long and a value of typesigned short is well-defined. - Rem-ulong-sllong-okp
- Check if the remainder of a value of type
unsigned long and a value of typesigned 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 typeunsigned short is well-defined. - Rem-ullong-ulong-okp
- Check if the remainder of a value of type
unsigned long long and a value of typeunsigned long is well-defined. - Rem-ullong-ullong-okp
- Check if the remainder of a value of type
unsigned long long and a value of typeunsigned long long is well-defined. - Rem-ullong-ullong
- Remainder of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned char is well-defined. - Rem-ullong-sshort-okp
- Check if the remainder of a value of type
unsigned long long and a value of typesigned short is well-defined. - Rem-ullong-slong-okp
- Check if the remainder of a value of type
unsigned long long and a value of typesigned long is well-defined. - Rem-ullong-sllong-okp
- Check if the remainder of a value of type
unsigned long long and a value of typesigned 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 typesigned char is well-defined. - Rem-uint-ullong-okp
- Check if the remainder of a value of type
unsigned int and a value of typeunsigned long long is well-defined. - Rem-uchar-ushort-okp
- Check if the remainder of a value of type
unsigned char and a value of typeunsigned short is well-defined. - Rem-uchar-ullong-okp
- Check if the remainder of a value of type
unsigned char and a value of typeunsigned long long is well-defined. - Rem-uchar-sshort-okp
- Check if the remainder of a value of type
unsigned char and a value of typesigned short is well-defined. - Rem-uchar-sllong-okp
- Check if the remainder of a value of type
unsigned char and a value of typesigned long long is well-defined. - Rem-sshort-ushort-okp
- Check if the remainder of a value of type
signed short and a value of typeunsigned short is well-defined. - Rem-sshort-ulong-okp
- Check if the remainder of a value of type
signed short and a value of typeunsigned long is well-defined. - Rem-sshort-ullong-okp
- Check if the remainder of a value of type
signed short and a value of typeunsigned long long is well-defined. - Rem-sshort-uchar-okp
- Check if the remainder of a value of type
signed short and a value of typeunsigned char is well-defined. - Rem-sshort-sshort-okp
- Check if the remainder of a value of type
signed short and a value of typesigned short is well-defined. - Rem-sshort-slong-okp
- Check if the remainder of a value of type
signed short and a value of typesigned long is well-defined. - Rem-sshort-sllong-okp
- Check if the remainder of a value of type
signed short and a value of typesigned long long is well-defined. - Rem-sshort-schar-okp
- Check if the remainder of a value of type
signed short and a value of typesigned char is well-defined. - Rem-slong-ushort-okp
- Check if the remainder of a value of type
signed long and a value of typeunsigned short is well-defined. - Rem-slong-ullong-okp
- Check if the remainder of a value of type
signed long and a value of typeunsigned long long is well-defined. - Rem-slong-sshort-okp
- Check if the remainder of a value of type
signed long and a value of typesigned short is well-defined. - Rem-slong-slong-okp
- Check if the remainder of a value of type
signed long and a value of typesigned long is well-defined. - Rem-slong-sllong-okp
- Check if the remainder of a value of type
signed long and a value of typesigned 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 typeunsigned short is well-defined. - Rem-sllong-ulong-okp
- Check if the remainder of a value of type
signed long long and a value of typeunsigned long is well-defined. - Rem-sllong-ullong-okp
- Check if the remainder of a value of type
signed long long and a value of typeunsigned 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 typeunsigned char is well-defined. - Rem-sllong-sshort-okp
- Check if the remainder of a value of type
signed long long and a value of typesigned short is well-defined. - Rem-sllong-slong-okp
- Check if the remainder of a value of type
signed long long and a value of typesigned long is well-defined. - Rem-sllong-schar-okp
- Check if the remainder of a value of type
signed long long and a value of typesigned char is well-defined. - Rem-sint-sint-okp
- Check if the remainder of a value of type
signed int and a value of typesigned int is well-defined. - Rem-schar-ushort-okp
- Check if the remainder of a value of type
signed char and a value of typeunsigned short is well-defined. - Rem-schar-ullong-okp
- Check if the remainder of a value of type
signed char and a value of typeunsigned long long is well-defined. - Rem-schar-sshort-okp
- Check if the remainder of a value of type
signed char and a value of typesigned short is well-defined. - Rem-schar-sllong-okp
- Check if the remainder of a value of type
signed char and a value of typesigned long long is well-defined. - Mul-ushort-ushort-okp
- Check if the multiplication of a value of type
unsigned short and a value of typeunsigned short is well-defined. - Mul-ushort-uchar-okp
- Check if the multiplication of a value of type
unsigned short and a value of typeunsigned char is well-defined. - Mul-ushort-sshort-okp
- Check if the multiplication of a value of type
unsigned short and a value of typesigned short is well-defined. - Mul-ushort-slong-okp
- Check if the multiplication of a value of type
unsigned short and a value of typesigned long is well-defined. - Mul-ushort-sllong-okp
- Check if the multiplication of a value of type
unsigned short and a value of typesigned long long is well-defined. - Mul-ushort-schar-okp
- Check if the multiplication of a value of type
unsigned short and a value of typesigned char is well-defined. - Mul-uint-sllong-okp
- Check if the multiplication of a value of type
unsigned int and a value of typesigned long long is well-defined. - Mul-uchar-ushort-okp
- Check if the multiplication of a value of type
unsigned char and a value of typeunsigned short is well-defined. - Mul-uchar-uchar-okp
- Check if the multiplication of a value of type
unsigned char and a value of typeunsigned char is well-defined. - Mul-uchar-sshort-okp
- Check if the multiplication of a value of type
unsigned char and a value of typesigned short is well-defined. - Mul-uchar-sllong-okp
- Check if the multiplication of a value of type
unsigned char and a value of typesigned long long is well-defined. - Mul-uchar-schar-okp
- Check if the multiplication of a value of type
unsigned char and a value of typesigned char is well-defined. - Mul-sshort-ushort-okp
- Check if the multiplication of a value of type
signed short and a value of typeunsigned short is well-defined. - Mul-sshort-uchar-okp
- Check if the multiplication of a value of type
signed short and a value of typeunsigned char is well-defined. - Mul-sshort-sshort-okp
- Check if the multiplication of a value of type
signed short and a value of typesigned short is well-defined. - Mul-sshort-slong-okp
- Check if the multiplication of a value of type
signed short and a value of typesigned long is well-defined. - Mul-sshort-sllong-okp
- Check if the multiplication of a value of type
signed short and a value of typesigned long long is well-defined. - Mul-sshort-schar-okp
- Check if the multiplication of a value of type
signed short and a value of typesigned char is well-defined. - Mul-slong-ushort-okp
- Check if the multiplication of a value of type
signed long and a value of typeunsigned short is well-defined. - Mul-slong-sshort-okp
- Check if the multiplication of a value of type
signed long and a value of typesigned short is well-defined. - Mul-slong-slong-okp
- Check if the multiplication of a value of type
signed long and a value of typesigned long is well-defined. - Mul-slong-sllong-okp
- Check if the multiplication of a value of type
signed long and a value of typesigned 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 typeunsigned short is well-defined. - Mul-sllong-uchar-okp
- Check if the multiplication of a value of type
signed long long and a value of typeunsigned char is well-defined. - Mul-sllong-sshort-okp
- Check if the multiplication of a value of type
signed long long and a value of typesigned short is well-defined. - Mul-sllong-slong-okp
- Check if the multiplication of a value of type
signed long long and a value of typesigned long is well-defined. - Mul-sllong-sllong
- Multiplication of a value of type
signed long long and a value of typesigned 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 typesigned char is well-defined. - Mul-sint-sllong-okp
- Check if the multiplication of a value of type
signed int and a value of typesigned long long is well-defined. - Mul-sint-sint-okp
- Check if the multiplication of a value of type
signed int and a value of typesigned int is well-defined. - Mul-sint-sint
- Multiplication of a value of type
signed int and a value of typesigned int [C:6.5.5]. - Mul-schar-ushort-okp
- Check if the multiplication of a value of type
signed char and a value of typeunsigned short is well-defined. - Mul-schar-uchar-okp
- Check if the multiplication of a value of type
signed char and a value of typeunsigned char is well-defined. - Mul-schar-sshort-okp
- Check if the multiplication of a value of type
signed char and a value of typesigned short is well-defined. - Mul-schar-sllong-okp
- Check if the multiplication of a value of type
signed char and a value of typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typeunsigned short is well-defined. - Div-ushort-ulong-okp
- Check if the division of a value of type
unsigned short and a value of typeunsigned long is well-defined. - Div-ushort-ullong-okp
- Check if the division of a value of type
unsigned short and a value of typeunsigned long long is well-defined. - Div-ushort-uchar-okp
- Check if the division of a value of type
unsigned short and a value of typeunsigned char is well-defined. - Div-ushort-sshort-okp
- Check if the division of a value of type
unsigned short and a value of typesigned short is well-defined. - Div-ushort-slong-okp
- Check if the division of a value of type
unsigned short and a value of typesigned long is well-defined. - Div-ushort-sllong-okp
- Check if the division of a value of type
unsigned short and a value of typesigned long long is well-defined. - Div-ushort-schar-okp
- Check if the division of a value of type
unsigned short and a value of typesigned char is well-defined. - Div-ulong-ushort-okp
- Check if the division of a value of type
unsigned long and a value of typeunsigned short is well-defined. - Div-ulong-ullong-okp
- Check if the division of a value of type
unsigned long and a value of typeunsigned long long is well-defined. - Div-ulong-sshort-okp
- Check if the division of a value of type
unsigned long and a value of typesigned short is well-defined. - Div-ulong-sllong-okp
- Check if the division of a value of type
unsigned long and a value of typesigned 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 typeunsigned short is well-defined. - Div-ullong-ulong-okp
- Check if the division of a value of type
unsigned long long and a value of typeunsigned long is well-defined. - Div-ullong-ullong-okp
- Check if the division of a value of type
unsigned long long and a value of typeunsigned long long is well-defined. - Div-ullong-ullong
- Division of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned char is well-defined. - Div-ullong-sshort-okp
- Check if the division of a value of type
unsigned long long and a value of typesigned short is well-defined. - Div-ullong-slong-okp
- Check if the division of a value of type
unsigned long long and a value of typesigned long is well-defined. - Div-ullong-sllong-okp
- Check if the division of a value of type
unsigned long long and a value of typesigned 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 typesigned char is well-defined. - Div-uchar-ushort-okp
- Check if the division of a value of type
unsigned char and a value of typeunsigned short is well-defined. - Div-uchar-ullong-okp
- Check if the division of a value of type
unsigned char and a value of typeunsigned long long is well-defined. - Div-uchar-sshort-okp
- Check if the division of a value of type
unsigned char and a value of typesigned short is well-defined. - Div-uchar-sllong-okp
- Check if the division of a value of type
unsigned char and a value of typesigned long long is well-defined. - Div-sshort-ushort-okp
- Check if the division of a value of type
signed short and a value of typeunsigned short is well-defined. - Div-sshort-ulong-okp
- Check if the division of a value of type
signed short and a value of typeunsigned long is well-defined. - Div-sshort-ullong-okp
- Check if the division of a value of type
signed short and a value of typeunsigned long long is well-defined. - Div-sshort-uchar-okp
- Check if the division of a value of type
signed short and a value of typeunsigned char is well-defined. - Div-sshort-sshort-okp
- Check if the division of a value of type
signed short and a value of typesigned short is well-defined. - Div-sshort-slong-okp
- Check if the division of a value of type
signed short and a value of typesigned long is well-defined. - Div-sshort-sllong-okp
- Check if the division of a value of type
signed short and a value of typesigned long long is well-defined. - Div-sshort-schar-okp
- Check if the division of a value of type
signed short and a value of typesigned char is well-defined. - Div-slong-ushort-okp
- Check if the division of a value of type
signed long and a value of typeunsigned short is well-defined. - Div-slong-ullong-okp
- Check if the division of a value of type
signed long and a value of typeunsigned long long is well-defined. - Div-slong-sshort-okp
- Check if the division of a value of type
signed long and a value of typesigned short is well-defined. - Div-slong-slong-okp
- Check if the division of a value of type
signed long and a value of typesigned long is well-defined. - Div-slong-sllong-okp
- Check if the division of a value of type
signed long and a value of typesigned 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 typeunsigned short is well-defined. - Div-sllong-ulong-okp
- Check if the division of a value of type
signed long long and a value of typeunsigned long is well-defined. - Div-sllong-ullong-okp
- Check if the division of a value of type
signed long long and a value of typeunsigned 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 typeunsigned char is well-defined. - Div-sllong-sshort-okp
- Check if the division of a value of type
signed long long and a value of typesigned short is well-defined. - Div-sllong-slong-okp
- Check if the division of a value of type
signed long long and a value of typesigned long is well-defined. - Div-sllong-schar-okp
- Check if the division of a value of type
signed long long and a value of typesigned char is well-defined. - Div-sint-sint-okp
- Check if the division of a value of type
signed int and a value of typesigned int is well-defined. - Div-schar-ushort-okp
- Check if the division of a value of type
signed char and a value of typeunsigned short is well-defined. - Div-schar-ullong-okp
- Check if the division of a value of type
signed char and a value of typeunsigned long long is well-defined. - Div-schar-sshort-okp
- Check if the division of a value of type
signed char and a value of typesigned short is well-defined. - Div-schar-sllong-okp
- Check if the division of a value of type
signed char and a value of typesigned long long is well-defined. - Bitxor-ushort-ushort
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typeunsigned short [C:6.5.11]. - Bitxor-ushort-ullong
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.11]. - Bitxor-ushort-uchar
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typeunsigned char [C:6.5.11]. - Bitxor-ushort-sshort
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typesigned short [C:6.5.11]. - Bitxor-ushort-sllong
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typesigned long long [C:6.5.11]. - Bitxor-ulong-ullong
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.11]. - Bitxor-ulong-sllong
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typesigned long long [C:6.5.11]. - Bitxor-ullong-ushort
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.11]. - Bitxor-ullong-ullong
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.11]. - Bitxor-ullong-sshort
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typesigned short [C:6.5.11]. - Bitxor-ullong-sllong
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typesigned long long [C:6.5.11]. - Bitxor-uchar-ushort
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typeunsigned short [C:6.5.11]. - Bitxor-uchar-ullong
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typeunsigned long long [C:6.5.11]. - Bitxor-uchar-sllong
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typesigned long long [C:6.5.11]. - Bitxor-sshort-ushort
- Bitwise exclusive disjunction of a value of type
signed short and a value of typeunsigned short [C:6.5.11]. - Bitxor-sshort-ullong
- Bitwise exclusive disjunction of a value of type
signed short and a value of typeunsigned long long [C:6.5.11]. - Bitxor-sshort-sshort
- Bitwise exclusive disjunction of a value of type
signed short and a value of typesigned short [C:6.5.11]. - Bitxor-sshort-sllong
- Bitwise exclusive disjunction of a value of type
signed short and a value of typesigned long long [C:6.5.11]. - Bitxor-slong-ullong
- Bitwise exclusive disjunction of a value of type
signed long and a value of typeunsigned long long [C:6.5.11]. - Bitxor-slong-sllong
- Bitwise exclusive disjunction of a value of type
signed long and a value of typesigned long long [C:6.5.11]. - Bitxor-sllong-ushort
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typeunsigned short [C:6.5.11]. - Bitxor-sllong-ulong
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typeunsigned long [C:6.5.11]. - Bitxor-sllong-ullong
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typeunsigned long long [C:6.5.11]. - Bitxor-sllong-sshort
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typesigned short [C:6.5.11]. - Bitxor-sllong-sllong
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typesigned long long [C:6.5.11]. - Bitxor-sint-sint
- Bitwise exclusive disjunction of a value of type
signed int and a value of typesigned int [C:6.5.11]. - Bitxor-schar-ullong
- Bitwise exclusive disjunction of a value of type
signed char and a value of typeunsigned long long [C:6.5.11]. - Bitxor-schar-sllong
- Bitwise exclusive disjunction of a value of type
signed char and a value of typesigned long long [C:6.5.11]. - Bitior-ushort-ushort
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typeunsigned short [C:6.5.12]. - Bitior-ushort-ullong
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.12]. - Bitior-ushort-uchar
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typeunsigned char [C:6.5.12]. - Bitior-ushort-sshort
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typesigned short [C:6.5.12]. - Bitior-ushort-sllong
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typesigned long long [C:6.5.12]. - Bitior-ulong-ullong
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.12]. - Bitior-ulong-sllong
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typesigned long long [C:6.5.12]. - Bitior-ullong-ushort
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.12]. - Bitior-ullong-ullong
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.12]. - Bitior-ullong-sshort
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typesigned short [C:6.5.12]. - Bitior-ullong-sllong
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typesigned long long [C:6.5.12]. - Bitior-uchar-ushort
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typeunsigned short [C:6.5.12]. - Bitior-uchar-ullong
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typeunsigned long long [C:6.5.12]. - Bitior-uchar-sllong
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typesigned long long [C:6.5.12]. - Bitior-sshort-ushort
- Bitwise inclusive disjunction of a value of type
signed short and a value of typeunsigned short [C:6.5.12]. - Bitior-sshort-ullong
- Bitwise inclusive disjunction of a value of type
signed short and a value of typeunsigned long long [C:6.5.12]. - Bitior-sshort-sshort
- Bitwise inclusive disjunction of a value of type
signed short and a value of typesigned short [C:6.5.12]. - Bitior-sshort-sllong
- Bitwise inclusive disjunction of a value of type
signed short and a value of typesigned long long [C:6.5.12]. - Bitior-slong-ullong
- Bitwise inclusive disjunction of a value of type
signed long and a value of typeunsigned long long [C:6.5.12]. - Bitior-slong-sllong
- Bitwise inclusive disjunction of a value of type
signed long and a value of typesigned long long [C:6.5.12]. - Bitior-sllong-ushort
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typeunsigned short [C:6.5.12]. - Bitior-sllong-ulong
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typeunsigned long [C:6.5.12]. - Bitior-sllong-ullong
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typeunsigned long long [C:6.5.12]. - Bitior-sllong-sshort
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typesigned short [C:6.5.12]. - Bitior-sllong-sllong
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typesigned long long [C:6.5.12]. - Bitior-sint-sint
- Bitwise inclusive disjunction of a value of type
signed int and a value of typesigned int [C:6.5.12]. - Bitior-schar-ullong
- Bitwise inclusive disjunction of a value of type
signed char and a value of typeunsigned long long [C:6.5.12]. - Bitior-schar-sllong
- Bitwise inclusive disjunction of a value of type
signed char and a value of typesigned long long [C:6.5.12]. - Bitand-ushort-ushort
- Bitwise conjunction of a value of type
unsigned short and a value of typeunsigned short [C:6.5.10]. - Bitand-ushort-ullong
- Bitwise conjunction of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.10]. - Bitand-ushort-sshort
- Bitwise conjunction of a value of type
unsigned short and a value of typesigned short [C:6.5.10]. - Bitand-ushort-sllong
- Bitwise conjunction of a value of type
unsigned short and a value of typesigned long long [C:6.5.10]. - Bitand-ullong-ushort
- Bitwise conjunction of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.10]. - Bitand-ullong-ullong
- Bitwise conjunction of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.10]. - Bitand-ullong-sshort
- Bitwise conjunction of a value of type
unsigned long long and a value of typesigned short [C:6.5.10]. - Bitand-ullong-sllong
- Bitwise conjunction of a value of type
unsigned long long and a value of typesigned long long [C:6.5.10]. - Bitand-sshort-ushort
- Bitwise conjunction of a value of type
signed short and a value of typeunsigned short [C:6.5.10]. - Bitand-sshort-ullong
- Bitwise conjunction of a value of type
signed short and a value of typeunsigned long long [C:6.5.10]. - Bitand-sshort-sshort
- Bitwise conjunction of a value of type
signed short and a value of typesigned short [C:6.5.10]. - Bitand-sshort-sllong
- Bitwise conjunction of a value of type
signed short and a value of typesigned long long [C:6.5.10]. - Bitand-sllong-ushort
- Bitwise conjunction of a value of type
signed long long and a value of typeunsigned short [C:6.5.10]. - Bitand-sllong-ullong
- Bitwise conjunction of a value of type
signed long long and a value of typeunsigned long long [C:6.5.10]. - Bitand-sllong-sshort
- Bitwise conjunction of a value of type
signed long long and a value of typesigned short [C:6.5.10]. - Bitand-sllong-sllong
- Bitwise conjunction of a value of type
signed long long and a value of typesigned long long [C:6.5.10]. - Bitand-sint-sint
- Bitwise conjunction of a value of type
signed int and a value of typesigned int [C:6.5.10]. - Add-ushort-ushort-okp
- Check if the addition of a value of type
unsigned short and a value of typeunsigned short is well-defined. - Add-ushort-uchar-okp
- Check if the addition of a value of type
unsigned short and a value of typeunsigned char is well-defined. - Add-ushort-sshort-okp
- Check if the addition of a value of type
unsigned short and a value of typesigned short is well-defined. - Add-ushort-slong-okp
- Check if the addition of a value of type
unsigned short and a value of typesigned long is well-defined. - Add-ushort-sllong-okp
- Check if the addition of a value of type
unsigned short and a value of typesigned long long is well-defined. - Add-ushort-schar-okp
- Check if the addition of a value of type
unsigned short and a value of typesigned char is well-defined. - Add-uchar-ushort-okp
- Check if the addition of a value of type
unsigned char and a value of typeunsigned short is well-defined. - Add-uchar-sshort-okp
- Check if the addition of a value of type
unsigned char and a value of typesigned short is well-defined. - Add-uchar-sllong-okp
- Check if the addition of a value of type
unsigned char and a value of typesigned long long is well-defined. - Add-sshort-ushort-okp
- Check if the addition of a value of type
signed short and a value of typeunsigned short is well-defined. - Add-sshort-uchar-okp
- Check if the addition of a value of type
signed short and a value of typeunsigned char is well-defined. - Add-sshort-sshort-okp
- Check if the addition of a value of type
signed short and a value of typesigned short is well-defined. - Add-sshort-slong-okp
- Check if the addition of a value of type
signed short and a value of typesigned long is well-defined. - Add-sshort-sllong-okp
- Check if the addition of a value of type
signed short and a value of typesigned long long is well-defined. - Add-sshort-schar-okp
- Check if the addition of a value of type
signed short and a value of typesigned char is well-defined. - Add-slong-ushort-okp
- Check if the addition of a value of type
signed long and a value of typeunsigned short is well-defined. - Add-slong-sshort-okp
- Check if the addition of a value of type
signed long and a value of typesigned short is well-defined. - Add-slong-sllong-okp
- Check if the addition of a value of type
signed long and a value of typesigned 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 typeunsigned short is well-defined. - Add-sllong-uchar-okp
- Check if the addition of a value of type
signed long long and a value of typeunsigned char is well-defined. - Add-sllong-sshort-okp
- Check if the addition of a value of type
signed long long and a value of typesigned short is well-defined. - Add-sllong-slong-okp
- Check if the addition of a value of type
signed long long and a value of typesigned long is well-defined. - Add-sllong-sllong-okp
- Check if the addition of a value of type
signed long long and a value of typesigned 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 typesigned char is well-defined. - Add-sint-sint-okp
- Check if the addition of a value of type
signed int and a value of typesigned int is well-defined. - Add-schar-ushort-okp
- Check if the addition of a value of type
signed char and a value of typeunsigned short is well-defined. - Add-schar-sshort-okp
- Check if the addition of a value of type
signed char and a value of typesigned short is well-defined. - Add-schar-sllong-okp
- Check if the addition of a value of type
signed char and a value of typesigned long long is well-defined. - Sub-ushort-ushort
- Subtraction of a value of type
unsigned short and a value of typeunsigned short [C:6.5.6]. - Sub-ushort-ullong
- Subtraction of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.6]. - Sub-ushort-uchar
- Subtraction of a value of type
unsigned short and a value of typeunsigned char [C:6.5.6]. - Sub-ushort-sshort
- Subtraction of a value of type
unsigned short and a value of typesigned short [C:6.5.6]. - Sub-ushort-slong
- Subtraction of a value of type
unsigned short and a value of typesigned long [C:6.5.6]. - Sub-ushort-sllong
- Subtraction of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Sub-ushort-schar
- Subtraction of a value of type
unsigned short and a value of typesigned char [C:6.5.6]. - Sub-ulong-ullong
- Subtraction of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.6]. - Sub-ulong-sllong
- Subtraction of a value of type
unsigned long and a value of typesigned long long [C:6.5.6]. - Sub-ullong-ushort
- Subtraction of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.6]. - Sub-ullong-ullong
- Subtraction of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.6]. - Sub-ullong-sshort
- Subtraction of a value of type
unsigned long long and a value of typesigned short [C:6.5.6]. - Sub-ullong-sllong
- Subtraction of a value of type
unsigned long long and a value of typesigned 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 typesigned long is well-defined. - Sub-uint-sllong
- Subtraction of a value of type
unsigned int and a value of typesigned long long [C:6.5.6]. - Sub-uchar-ushort
- Subtraction of a value of type
unsigned char and a value of typeunsigned short [C:6.5.6]. - Sub-uchar-ullong
- Subtraction of a value of type
unsigned char and a value of typeunsigned long long [C:6.5.6]. - Sub-uchar-uchar
- Subtraction of a value of type
unsigned char and a value of typeunsigned char [C:6.5.6]. - Sub-uchar-sshort
- Subtraction of a value of type
unsigned char and a value of typesigned short [C:6.5.6]. - Sub-uchar-slong-okp
- Check if the subtraction of a value of type
unsigned char and a value of typesigned long is well-defined. - Sub-uchar-slong
- Subtraction of a value of type
unsigned char and a value of typesigned long [C:6.5.6]. - Sub-uchar-sllong
- Subtraction of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Sub-uchar-schar-okp
- Check if the subtraction of a value of type
unsigned char and a value of typesigned char is well-defined. - Sub-uchar-schar
- Subtraction of a value of type
unsigned char and a value of typesigned char [C:6.5.6]. - Sub-sshort-ushort
- Subtraction of a value of type
signed short and a value of typeunsigned short [C:6.5.6]. - Sub-sshort-ullong
- Subtraction of a value of type
signed short and a value of typeunsigned long long [C:6.5.6]. - Sub-sshort-uchar
- Subtraction of a value of type
signed short and a value of typeunsigned char [C:6.5.6]. - Sub-sshort-sshort
- Subtraction of a value of type
signed short and a value of typesigned short [C:6.5.6]. - Sub-sshort-slong
- Subtraction of a value of type
signed short and a value of typesigned long [C:6.5.6]. - Sub-sshort-sllong
- Subtraction of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Sub-sshort-schar
- Subtraction of a value of type
signed short and a value of typesigned char [C:6.5.6]. - Sub-slong-ushort
- Subtraction of a value of type
signed long and a value of typeunsigned short [C:6.5.6]. - Sub-slong-uint-okp
- Check if the subtraction of a value of type
signed long and a value of typeunsigned int is well-defined. - Sub-slong-uchar-okp
- Check if the subtraction of a value of type
signed long and a value of typeunsigned char is well-defined. - Sub-slong-sshort
- Subtraction of a value of type
signed long and a value of typesigned short [C:6.5.6]. - Sub-slong-slong-okp
- Check if the subtraction of a value of type
signed long and a value of typesigned long is well-defined. - Sub-slong-slong
- Subtraction of a value of type
signed long and a value of typesigned long [C:6.5.6]. - Sub-slong-sllong
- Subtraction of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Sub-slong-schar-okp
- Check if the subtraction of a value of type
signed long and a value of typesigned char is well-defined. - Sub-sllong-ushort
- Subtraction of a value of type
signed long long and a value of typeunsigned short [C:6.5.6]. - Sub-sllong-ulong
- Subtraction of a value of type
signed long long and a value of typeunsigned long [C:6.5.6]. - Sub-sllong-ullong
- Subtraction of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Sub-sllong-uint
- Subtraction of a value of type
signed long long and a value of typeunsigned int [C:6.5.6]. - Sub-sllong-uchar
- Subtraction of a value of type
signed long long and a value of typeunsigned char [C:6.5.6]. - Sub-sllong-sshort
- Subtraction of a value of type
signed long long and a value of typesigned short [C:6.5.6]. - Sub-sllong-slong
- Subtraction of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Sub-sllong-sint
- Subtraction of a value of type
signed long long and a value of typesigned int [C:6.5.6]. - Sub-sllong-schar
- Subtraction of a value of type
signed long long and a value of typesigned char [C:6.5.6]. - Sub-sint-ushort-okp
- Check if the subtraction of a value of type
signed int and a value of typeunsigned short is well-defined. - Sub-sint-uchar-okp
- Check if the subtraction of a value of type
signed int and a value of typeunsigned char is well-defined. - Sub-sint-sshort-okp
- Check if the subtraction of a value of type
signed int and a value of typesigned short is well-defined. - Sub-sint-slong-okp
- Check if the subtraction of a value of type
signed int and a value of typesigned long is well-defined. - Sub-sint-sllong-okp
- Check if the subtraction of a value of type
signed int and a value of typesigned long long is well-defined. - Sub-sint-sllong
- Subtraction of a value of type
signed int and a value of typesigned 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 typesigned char is well-defined. - Sub-schar-ushort
- Subtraction of a value of type
signed char and a value of typeunsigned short [C:6.5.6]. - Sub-schar-uchar-okp
- Check if the subtraction of a value of type
signed char and a value of typeunsigned char is well-defined. - Sub-schar-uchar
- Subtraction of a value of type
signed char and a value of typeunsigned char [C:6.5.6]. - Sub-schar-sshort
- Subtraction of a value of type
signed char and a value of typesigned short [C:6.5.6]. - Sub-schar-slong-okp
- Check if the subtraction of a value of type
signed char and a value of typesigned long is well-defined. - Sub-schar-sllong
- Subtraction of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Sub-schar-schar-okp
- Check if the subtraction of a value of type
signed char and a value of typesigned char is well-defined. - Sub-schar-schar
- Subtraction of a value of type
signed char and a value of typesigned char [C:6.5.6]. - Shr-ushort-ushort
- Right shift of a value of type
unsigned short and a value of typeunsigned short [C:6.5.7]. - Shr-ushort-ulong
- Right shift of a value of type
unsigned short and a value of typeunsigned long [C:6.5.7]. - Shr-ushort-ullong
- Right shift of a value of type
unsigned short and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-ushort-uchar
- Right shift of a value of type
unsigned short and a value of typeunsigned char [C:6.5.7]. - Shr-ushort-sshort
- Right shift of a value of type
unsigned short and a value of typesigned short [C:6.5.7]. - Shr-ushort-slong
- Right shift of a value of type
unsigned short and a value of typesigned long [C:6.5.7]. - Shr-ushort-sllong
- Right shift of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Shr-ushort-schar
- Right shift of a value of type
unsigned short and a value of typesigned char [C:6.5.7]. - Shr-ulong-ushort
- Right shift of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned long is well-defined. - Shr-ulong-ullong
- Right shift of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-ulong-uchar-okp
- Check if the right shift of a value of type
unsigned long by a value of typeunsigned char is well-defined. - Shr-ulong-sshort
- Right shift of a value of type
unsigned long and a value of typesigned 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 typesigned long is well-defined. - Shr-ulong-sllong
- Right shift of a value of type
unsigned long and a value of typesigned 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 typesigned int is well-defined. - Shr-ulong-schar-okp
- Check if the right shift of a value of type
unsigned long by a value of typesigned char is well-defined. - Shr-ullong-ushort
- Right shift of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.7]. - Shr-ullong-ulong
- Right shift of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.7]. - Shr-ullong-ullong
- Right shift of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-ullong-uint
- Right shift of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.7]. - Shr-ullong-uchar
- Right shift of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.7]. - Shr-ullong-sshort
- Right shift of a value of type
unsigned long long and a value of typesigned short [C:6.5.7]. - Shr-ullong-slong
- Right shift of a value of type
unsigned long long and a value of typesigned long [C:6.5.7]. - Shr-ullong-sllong
- Right shift of a value of type
unsigned long long and a value of typesigned 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 typesigned int is well-defined. - Shr-ullong-sint
- Right shift of a value of type
unsigned long long and a value of typesigned int [C:6.5.7]. - Shr-ullong-schar
- Right shift of a value of type
unsigned long long and a value of typesigned 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 typeunsigned short is well-defined. - Shr-uint-ulong-okp
- Check if the right shift of a value of type
unsigned int by a value of typeunsigned long is well-defined. - Shr-uint-ullong-okp
- Check if the right shift of a value of type
unsigned int by a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-uint-uchar-okp
- Check if the right shift of a value of type
unsigned int by a value of typeunsigned char is well-defined. - Shr-uint-sshort-okp
- Check if the right shift of a value of type
unsigned int by a value of typesigned short is well-defined. - Shr-uint-slong-okp
- Check if the right shift of a value of type
unsigned int by a value of typesigned long is well-defined. - Shr-uint-sllong-okp
- Check if the right shift of a value of type
unsigned int by a value of typesigned 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 typesigned int is well-defined. - Shr-uint-schar-okp
- Check if the right shift of a value of type
unsigned int by a value of typesigned char is well-defined. - Shr-uchar-ushort
- Right shift of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned long is well-defined. - Shr-uchar-ullong
- Right shift of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-uchar-uchar-okp
- Check if the right shift of a value of type
unsigned char by a value of typeunsigned char is well-defined. - Shr-uchar-sshort
- Right shift of a value of type
unsigned char and a value of typesigned 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 typesigned long is well-defined. - Shr-uchar-sllong
- Right shift of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Shr-uchar-schar-okp
- Check if the right shift of a value of type
unsigned char by a value of typesigned char is well-defined. - Shr-sshort-ushort
- Right shift of a value of type
signed short and a value of typeunsigned short [C:6.5.7]. - Shr-sshort-ulong
- Right shift of a value of type
signed short and a value of typeunsigned long [C:6.5.7]. - Shr-sshort-ullong
- Right shift of a value of type
signed short and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-sshort-uchar
- Right shift of a value of type
signed short and a value of typeunsigned char [C:6.5.7]. - Shr-sshort-sshort
- Right shift of a value of type
signed short and a value of typesigned short [C:6.5.7]. - Shr-sshort-slong
- Right shift of a value of type
signed short and a value of typesigned long [C:6.5.7]. - Shr-sshort-sllong
- Right shift of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Shr-sshort-schar
- Right shift of a value of type
signed short and a value of typesigned char [C:6.5.7]. - Shr-slong-ushort
- Right shift of a value of type
signed long and a value of typeunsigned 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 typeunsigned long is well-defined. - Shr-slong-ullong
- Right shift of a value of type
signed long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-slong-uchar-okp
- Check if the right shift of a value of type
signed long by a value of typeunsigned char is well-defined. - Shr-slong-sshort
- Right shift of a value of type
signed long and a value of typesigned 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 typesigned long is well-defined. - Shr-slong-sllong
- Right shift of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Shr-slong-schar-okp
- Check if the right shift of a value of type
signed long by a value of typesigned char is well-defined. - Shr-sllong-ushort
- Right shift of a value of type
signed long long and a value of typeunsigned short [C:6.5.7]. - Shr-sllong-ulong
- Right shift of a value of type
signed long long and a value of typeunsigned long [C:6.5.7]. - Shr-sllong-ullong
- Right shift of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-sllong-uint
- Right shift of a value of type
signed long long and a value of typeunsigned int [C:6.5.7]. - Shr-sllong-uchar
- Right shift of a value of type
signed long long and a value of typeunsigned char [C:6.5.7]. - Shr-sllong-sshort
- Right shift of a value of type
signed long long and a value of typesigned short [C:6.5.7]. - Shr-sllong-slong
- Right shift of a value of type
signed long long and a value of typesigned long [C:6.5.7]. - Shr-sllong-sllong
- Right shift of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Shr-sllong-schar
- Right shift of a value of type
signed long long and a value of typesigned 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 typeunsigned short is well-defined. - Shr-sint-ulong-okp
- Check if the right shift of a value of type
signed int by a value of typeunsigned long is well-defined. - Shr-sint-ullong-okp
- Check if the right shift of a value of type
signed int by a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-sint-uchar-okp
- Check if the right shift of a value of type
signed int by a value of typeunsigned char is well-defined. - Shr-sint-sshort-okp
- Check if the right shift of a value of type
signed int by a value of typesigned short is well-defined. - Shr-sint-slong-okp
- Check if the right shift of a value of type
signed int by a value of typesigned long is well-defined. - Shr-sint-sllong-okp
- Check if the right shift of a value of type
signed int by a value of typesigned long long is well-defined. - Shr-sint-sint
- Right shift of a value of type
signed int and a value of typesigned 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 typesigned char is well-defined. - Shr-schar-ushort
- Right shift of a value of type
signed char and a value of typeunsigned 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 typeunsigned long is well-defined. - Shr-schar-ullong
- Right shift of a value of type
signed char and a value of typeunsigned 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 typeunsigned int is well-defined. - Shr-schar-uchar-okp
- Check if the right shift of a value of type
signed char by a value of typeunsigned char is well-defined. - Shr-schar-sshort
- Right shift of a value of type
signed char and a value of typesigned 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 typesigned long is well-defined. - Shr-schar-sllong
- Right shift of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Shr-schar-schar-okp
- Check if the right shift of a value of type
signed char by a value of typesigned char is well-defined. - Shl-ushort-ushort
- Left shift of a value of type
unsigned short and a value of typeunsigned short [C:6.5.7]. - Shl-ushort-ulong
- Left shift of a value of type
unsigned short and a value of typeunsigned long [C:6.5.7]. - Shl-ushort-ullong
- Left shift of a value of type
unsigned short and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-ushort-uchar
- Left shift of a value of type
unsigned short and a value of typeunsigned char [C:6.5.7]. - Shl-ushort-sshort
- Left shift of a value of type
unsigned short and a value of typesigned short [C:6.5.7]. - Shl-ushort-slong
- Left shift of a value of type
unsigned short and a value of typesigned long [C:6.5.7]. - Shl-ushort-sllong
- Left shift of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Shl-ushort-schar
- Left shift of a value of type
unsigned short and a value of typesigned char [C:6.5.7]. - Shl-ulong-ushort
- Left shift of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned long is well-defined. - Shl-ulong-ullong
- Left shift of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-ulong-uchar-okp
- Check if the left shift of a value of type
unsigned long by a value of typeunsigned char is well-defined. - Shl-ulong-sshort
- Left shift of a value of type
unsigned long and a value of typesigned 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 typesigned long is well-defined. - Shl-ulong-sllong
- Left shift of a value of type
unsigned long and a value of typesigned 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 typesigned int is well-defined. - Shl-ulong-schar-okp
- Check if the left shift of a value of type
unsigned long by a value of typesigned char is well-defined. - Shl-ullong-ushort
- Left shift of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.7]. - Shl-ullong-ulong
- Left shift of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.7]. - Shl-ullong-ullong
- Left shift of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-ullong-uint
- Left shift of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.7]. - Shl-ullong-uchar
- Left shift of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.7]. - Shl-ullong-sshort
- Left shift of a value of type
unsigned long long and a value of typesigned short [C:6.5.7]. - Shl-ullong-slong
- Left shift of a value of type
unsigned long long and a value of typesigned long [C:6.5.7]. - Shl-ullong-sllong
- Left shift of a value of type
unsigned long long and a value of typesigned 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 typesigned int is well-defined. - Shl-ullong-sint
- Left shift of a value of type
unsigned long long and a value of typesigned int [C:6.5.7]. - Shl-ullong-schar
- Left shift of a value of type
unsigned long long and a value of typesigned 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 typeunsigned short is well-defined. - Shl-uint-ulong-okp
- Check if the left shift of a value of type
unsigned int by a value of typeunsigned long is well-defined. - Shl-uint-ullong-okp
- Check if the left shift of a value of type
unsigned int by a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-uint-uchar-okp
- Check if the left shift of a value of type
unsigned int by a value of typeunsigned char is well-defined. - Shl-uint-sshort-okp
- Check if the left shift of a value of type
unsigned int by a value of typesigned short is well-defined. - Shl-uint-slong-okp
- Check if the left shift of a value of type
unsigned int by a value of typesigned long is well-defined. - Shl-uint-sllong-okp
- Check if the left shift of a value of type
unsigned int by a value of typesigned 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 typesigned int is well-defined. - Shl-uint-schar-okp
- Check if the left shift of a value of type
unsigned int by a value of typesigned char is well-defined. - Shl-uchar-ushort
- Left shift of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned long is well-defined. - Shl-uchar-ullong
- Left shift of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-uchar-uchar-okp
- Check if the left shift of a value of type
unsigned char by a value of typeunsigned char is well-defined. - Shl-uchar-sshort
- Left shift of a value of type
unsigned char and a value of typesigned 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 typesigned long is well-defined. - Shl-uchar-sllong
- Left shift of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Shl-uchar-schar-okp
- Check if the left shift of a value of type
unsigned char by a value of typesigned char is well-defined. - Shl-sshort-ushort
- Left shift of a value of type
signed short and a value of typeunsigned short [C:6.5.7]. - Shl-sshort-ulong
- Left shift of a value of type
signed short and a value of typeunsigned long [C:6.5.7]. - Shl-sshort-ullong
- Left shift of a value of type
signed short and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-sshort-uchar
- Left shift of a value of type
signed short and a value of typeunsigned char [C:6.5.7]. - Shl-sshort-sshort
- Left shift of a value of type
signed short and a value of typesigned short [C:6.5.7]. - Shl-sshort-slong
- Left shift of a value of type
signed short and a value of typesigned long [C:6.5.7]. - Shl-sshort-sllong
- Left shift of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Shl-sshort-schar
- Left shift of a value of type
signed short and a value of typesigned char [C:6.5.7]. - Shl-slong-ushort
- Left shift of a value of type
signed long and a value of typeunsigned 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 typeunsigned long is well-defined. - Shl-slong-ullong
- Left shift of a value of type
signed long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-slong-uchar-okp
- Check if the left shift of a value of type
signed long by a value of typeunsigned char is well-defined. - Shl-slong-sshort
- Left shift of a value of type
signed long and a value of typesigned 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 typesigned long is well-defined. - Shl-slong-sllong
- Left shift of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Shl-slong-schar-okp
- Check if the left shift of a value of type
signed long by a value of typesigned char is well-defined. - Shl-sllong-ushort
- Left shift of a value of type
signed long long and a value of typeunsigned short [C:6.5.7]. - Shl-sllong-ulong
- Left shift of a value of type
signed long long and a value of typeunsigned long [C:6.5.7]. - Shl-sllong-ullong
- Left shift of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-sllong-uint
- Left shift of a value of type
signed long long and a value of typeunsigned int [C:6.5.7]. - Shl-sllong-uchar
- Left shift of a value of type
signed long long and a value of typeunsigned char [C:6.5.7]. - Shl-sllong-sshort
- Left shift of a value of type
signed long long and a value of typesigned short [C:6.5.7]. - Shl-sllong-slong
- Left shift of a value of type
signed long long and a value of typesigned long [C:6.5.7]. - Shl-sllong-sllong
- Left shift of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Shl-sllong-schar
- Left shift of a value of type
signed long long and a value of typesigned 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 typeunsigned short is well-defined. - Shl-sint-ulong-okp
- Check if the left shift of a value of type
signed int by a value of typeunsigned long is well-defined. - Shl-sint-ullong-okp
- Check if the left shift of a value of type
signed int by a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-sint-uchar-okp
- Check if the left shift of a value of type
signed int by a value of typeunsigned char is well-defined. - Shl-sint-sshort-okp
- Check if the left shift of a value of type
signed int by a value of typesigned short is well-defined. - Shl-sint-slong-okp
- Check if the left shift of a value of type
signed int by a value of typesigned long is well-defined. - Shl-sint-sllong-okp
- Check if the left shift of a value of type
signed int by a value of typesigned long long is well-defined. - Shl-sint-sint
- Left shift of a value of type
signed int and a value of typesigned 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 typesigned char is well-defined. - Shl-schar-ushort
- Left shift of a value of type
signed char and a value of typeunsigned 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 typeunsigned long is well-defined. - Shl-schar-ullong
- Left shift of a value of type
signed char and a value of typeunsigned 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 typeunsigned int is well-defined. - Shl-schar-uchar-okp
- Check if the left shift of a value of type
signed char by a value of typeunsigned char is well-defined. - Shl-schar-sshort
- Left shift of a value of type
signed char and a value of typesigned 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 typesigned long is well-defined. - Shl-schar-sllong
- Left shift of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Shl-schar-schar-okp
- Check if the left shift of a value of type
signed char by a value of typesigned char is well-defined. - Rem-ushort-ushort
- Remainder of a value of type
unsigned short and a value of typeunsigned short [C:6.5.5]. - Rem-ushort-ulong
- Remainder of a value of type
unsigned short and a value of typeunsigned long [C:6.5.5]. - Rem-ushort-ullong
- Remainder of a value of type
unsigned short and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-ushort-uchar
- Remainder of a value of type
unsigned short and a value of typeunsigned char [C:6.5.5]. - Rem-ushort-sshort
- Remainder of a value of type
unsigned short and a value of typesigned short [C:6.5.5]. - Rem-ushort-slong
- Remainder of a value of type
unsigned short and a value of typesigned long [C:6.5.5]. - Rem-ushort-sllong
- Remainder of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Rem-ushort-schar
- Remainder of a value of type
unsigned short and a value of typesigned char [C:6.5.5]. - Rem-ulong-ushort
- Remainder of a value of type
unsigned long and a value of typeunsigned short [C:6.5.5]. - Rem-ulong-ulong-okp
- Check if the remainder of a value of type
unsigned long and a value of typeunsigned long is well-defined. - Rem-ulong-ulong
- Remainder of a value of type
unsigned long and a value of typeunsigned long [C:6.5.5]. - Rem-ulong-ullong
- Remainder of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-ulong-uchar-okp
- Check if the remainder of a value of type
unsigned long and a value of typeunsigned char is well-defined. - Rem-ulong-sshort
- Remainder of a value of type
unsigned long and a value of typesigned short [C:6.5.5]. - Rem-ulong-slong-okp
- Check if the remainder of a value of type
unsigned long and a value of typesigned long is well-defined. - Rem-ulong-sllong
- Remainder of a value of type
unsigned long and a value of typesigned 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 typesigned int is well-defined. - Rem-ulong-schar-okp
- Check if the remainder of a value of type
unsigned long and a value of typesigned char is well-defined. - Rem-ullong-ushort
- Remainder of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.5]. - Rem-ullong-ulong
- Remainder of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-ullong-uint
- Remainder of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.5]. - Rem-ullong-uchar
- Remainder of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.5]. - Rem-ullong-sshort
- Remainder of a value of type
unsigned long long and a value of typesigned short [C:6.5.5]. - Rem-ullong-slong
- Remainder of a value of type
unsigned long long and a value of typesigned long [C:6.5.5]. - Rem-ullong-sllong
- Remainder of a value of type
unsigned long long and a value of typesigned 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 typesigned int is well-defined. - Rem-ullong-sint
- Remainder of a value of type
unsigned long long and a value of typesigned int [C:6.5.5]. - Rem-ullong-schar
- Remainder of a value of type
unsigned long long and a value of typesigned char [C:6.5.5]. - Rem-uint-ushort-okp
- Check if the remainder of a value of type
unsigned int and a value of typeunsigned short is well-defined. - Rem-uint-ulong-okp
- Check if the remainder of a value of type
unsigned int and a value of typeunsigned long is well-defined. - Rem-uint-ullong
- Remainder of a value of type
unsigned int and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-uint-uchar-okp
- Check if the remainder of a value of type
unsigned int and a value of typeunsigned char is well-defined. - Rem-uint-sshort-okp
- Check if the remainder of a value of type
unsigned int and a value of typesigned short is well-defined. - Rem-uint-slong-okp
- Check if the remainder of a value of type
unsigned int and a value of typesigned long is well-defined. - Rem-uint-sllong-okp
- Check if the remainder of a value of type
unsigned int and a value of typesigned long long is well-defined. - Rem-uint-sllong
- Remainder of a value of type
unsigned int and a value of typesigned 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 typesigned int is well-defined. - Rem-uint-schar-okp
- Check if the remainder of a value of type
unsigned int and a value of typesigned char is well-defined. - Rem-uchar-ushort
- Remainder of a value of type
unsigned char and a value of typeunsigned short [C:6.5.5]. - Rem-uchar-ulong-okp
- Check if the remainder of a value of type
unsigned char and a value of typeunsigned long is well-defined. - Rem-uchar-ulong
- Remainder of a value of type
unsigned char and a value of typeunsigned long [C:6.5.5]. - Rem-uchar-ullong
- Remainder of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-uchar-uchar-okp
- Check if the remainder of a value of type
unsigned char and a value of typeunsigned char is well-defined. - Rem-uchar-uchar
- Remainder of a value of type
unsigned char and a value of typeunsigned char [C:6.5.5]. - Rem-uchar-sshort
- Remainder of a value of type
unsigned char and a value of typesigned short [C:6.5.5]. - Rem-uchar-slong-okp
- Check if the remainder of a value of type
unsigned char and a value of typesigned long is well-defined. - Rem-uchar-sllong
- Remainder of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Rem-uchar-schar-okp
- Check if the remainder of a value of type
unsigned char and a value of typesigned char is well-defined. - Rem-uchar-schar
- Remainder of a value of type
unsigned char and a value of typesigned char [C:6.5.5]. - Rem-sshort-ushort
- Remainder of a value of type
signed short and a value of typeunsigned short [C:6.5.5]. - Rem-sshort-ulong
- Remainder of a value of type
signed short and a value of typeunsigned long [C:6.5.5]. - Rem-sshort-ullong
- Remainder of a value of type
signed short and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-sshort-uchar
- Remainder of a value of type
signed short and a value of typeunsigned char [C:6.5.5]. - Rem-sshort-sshort
- Remainder of a value of type
signed short and a value of typesigned short [C:6.5.5]. - Rem-sshort-slong
- Remainder of a value of type
signed short and a value of typesigned long [C:6.5.5]. - Rem-sshort-sllong
- Remainder of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Rem-sshort-schar
- Remainder of a value of type
signed short and a value of typesigned char [C:6.5.5]. - Rem-slong-ushort
- Remainder of a value of type
signed long and a value of typeunsigned short [C:6.5.5]. - Rem-slong-ulong-okp
- Check if the remainder of a value of type
signed long and a value of typeunsigned long is well-defined. - Rem-slong-ullong
- Remainder of a value of type
signed long and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-slong-uchar-okp
- Check if the remainder of a value of type
signed long and a value of typeunsigned char is well-defined. - Rem-slong-sshort
- Remainder of a value of type
signed long and a value of typesigned short [C:6.5.5]. - Rem-slong-slong
- Remainder of a value of type
signed long and a value of typesigned long [C:6.5.5]. - Rem-slong-sllong
- Remainder of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Rem-slong-schar-okp
- Check if the remainder of a value of type
signed long and a value of typesigned char is well-defined. - Rem-sllong-ushort
- Remainder of a value of type
signed long long and a value of typeunsigned short [C:6.5.5]. - Rem-sllong-ulong
- Remainder of a value of type
signed long long and a value of typeunsigned long [C:6.5.5]. - Rem-sllong-ullong
- Remainder of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-sllong-uint
- Remainder of a value of type
signed long long and a value of typeunsigned int [C:6.5.5]. - Rem-sllong-uchar
- Remainder of a value of type
signed long long and a value of typeunsigned char [C:6.5.5]. - Rem-sllong-sshort
- Remainder of a value of type
signed long long and a value of typesigned short [C:6.5.5]. - Rem-sllong-slong
- Remainder of a value of type
signed long long and a value of typesigned long [C:6.5.5]. - Rem-sllong-sllong
- Remainder of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Rem-sllong-schar
- Remainder of a value of type
signed long long and a value of typesigned char [C:6.5.5]. - Rem-sint-ushort-okp
- Check if the remainder of a value of type
signed int and a value of typeunsigned short is well-defined. - Rem-sint-ulong-okp
- Check if the remainder of a value of type
signed int and a value of typeunsigned long is well-defined. - Rem-sint-ullong-okp
- Check if the remainder of a value of type
signed int and a value of typeunsigned long long is well-defined. - Rem-sint-ullong
- Remainder of a value of type
signed int and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-sint-uchar-okp
- Check if the remainder of a value of type
signed int and a value of typeunsigned char is well-defined. - Rem-sint-sshort-okp
- Check if the remainder of a value of type
signed int and a value of typesigned short is well-defined. - Rem-sint-slong-okp
- Check if the remainder of a value of type
signed int and a value of typesigned long is well-defined. - Rem-sint-sllong-okp
- Check if the remainder of a value of type
signed int and a value of typesigned long long is well-defined. - Rem-sint-sllong
- Remainder of a value of type
signed int and a value of typesigned long long [C:6.5.5]. - Rem-sint-sint
- Remainder of a value of type
signed int and a value of typesigned int [C:6.5.5]. - Rem-sint-schar-okp
- Check if the remainder of a value of type
signed int and a value of typesigned char is well-defined. - Rem-schar-ushort
- Remainder of a value of type
signed char and a value of typeunsigned short [C:6.5.5]. - Rem-schar-ulong-okp
- Check if the remainder of a value of type
signed char and a value of typeunsigned long is well-defined. - Rem-schar-ullong
- Remainder of a value of type
signed char and a value of typeunsigned 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 typeunsigned int is well-defined. - Rem-schar-uchar-okp
- Check if the remainder of a value of type
signed char and a value of typeunsigned char is well-defined. - Rem-schar-uchar
- Remainder of a value of type
signed char and a value of typeunsigned char [C:6.5.5]. - Rem-schar-sshort
- Remainder of a value of type
signed char and a value of typesigned short [C:6.5.5]. - Rem-schar-slong-okp
- Check if the remainder of a value of type
signed char and a value of typesigned long is well-defined. - Rem-schar-sllong
- Remainder of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Rem-schar-schar-okp
- Check if the remainder of a value of type
signed char and a value of typesigned char is well-defined. - Ne-ushort-ushort
- Non-equality of a value of type
unsigned short and a value of typeunsigned short [C:6.5.9]. - Ne-ushort-ullong
- Non-equality of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.9]. - Ne-ushort-sshort
- Non-equality of a value of type
unsigned short and a value of typesigned short [C:6.5.9]. - Ne-ushort-sllong
- Non-equality of a value of type
unsigned short and a value of typesigned long long [C:6.5.9]. - Ne-ullong-ushort
- Non-equality of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.9]. - Ne-ullong-ullong
- Non-equality of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.9]. - Ne-ullong-sllong
- Non-equality of a value of type
unsigned long long and a value of typesigned long long [C:6.5.9]. - Ne-sshort-ushort
- Non-equality of a value of type
signed short and a value of typeunsigned short [C:6.5.9]. - Ne-sshort-ullong
- Non-equality of a value of type
signed short and a value of typeunsigned long long [C:6.5.9]. - Ne-sshort-sshort
- Non-equality of a value of type
signed short and a value of typesigned short [C:6.5.9]. - Ne-sshort-sllong
- Non-equality of a value of type
signed short and a value of typesigned long long [C:6.5.9]. - Ne-sllong-ullong
- Non-equality of a value of type
signed long long and a value of typeunsigned long long [C:6.5.9]. - Ne-sllong-sllong
- Non-equality of a value of type
signed long long and a value of typesigned long long [C:6.5.9]. - Mul-ushort-ushort
- Multiplication of a value of type
unsigned short and a value of typeunsigned short [C:6.5.5]. - Mul-ushort-ullong
- Multiplication of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.5]. - Mul-ushort-uchar
- Multiplication of a value of type
unsigned short and a value of typeunsigned char [C:6.5.5]. - Mul-ushort-sshort
- Multiplication of a value of type
unsigned short and a value of typesigned short [C:6.5.5]. - Mul-ushort-slong
- Multiplication of a value of type
unsigned short and a value of typesigned long [C:6.5.5]. - Mul-ushort-sllong
- Multiplication of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Mul-ushort-schar
- Multiplication of a value of type
unsigned short and a value of typesigned char [C:6.5.5]. - Mul-ulong-ullong
- Multiplication of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.5]. - Mul-ulong-sllong
- Multiplication of a value of type
unsigned long and a value of typesigned long long [C:6.5.5]. - Mul-ullong-ushort
- Multiplication of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.5]. - Mul-ullong-ulong
- Multiplication of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.5]. - Mul-ullong-ullong
- Multiplication of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.5]. - Mul-ullong-uchar
- Multiplication of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.5]. - Mul-ullong-sshort
- Multiplication of a value of type
unsigned long long and a value of typesigned short [C:6.5.5]. - Mul-ullong-sllong
- Multiplication of a value of type
unsigned long long and a value of typesigned 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 typesigned long is well-defined. - Mul-uint-sllong
- Multiplication of a value of type
unsigned int and a value of typesigned long long [C:6.5.5]. - Mul-uchar-ushort
- Multiplication of a value of type
unsigned char and a value of typeunsigned short [C:6.5.5]. - Mul-uchar-ullong
- Multiplication of a value of type
unsigned char and a value of typeunsigned long long [C:6.5.5]. - Mul-uchar-uchar
- Multiplication of a value of type
unsigned char and a value of typeunsigned char [C:6.5.5]. - Mul-uchar-sshort
- Multiplication of a value of type
unsigned char and a value of typesigned short [C:6.5.5]. - Mul-uchar-slong-okp
- Check if the multiplication of a value of type
unsigned char and a value of typesigned long is well-defined. - Mul-uchar-slong
- Multiplication of a value of type
unsigned char and a value of typesigned long [C:6.5.5]. - Mul-uchar-sllong
- Multiplication of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Mul-uchar-schar
- Multiplication of a value of type
unsigned char and a value of typesigned char [C:6.5.5]. - Mul-sshort-ushort
- Multiplication of a value of type
signed short and a value of typeunsigned short [C:6.5.5]. - Mul-sshort-ullong
- Multiplication of a value of type
signed short and a value of typeunsigned long long [C:6.5.5]. - Mul-sshort-uchar
- Multiplication of a value of type
signed short and a value of typeunsigned char [C:6.5.5]. - Mul-sshort-sshort
- Multiplication of a value of type
signed short and a value of typesigned short [C:6.5.5]. - Mul-sshort-slong
- Multiplication of a value of type
signed short and a value of typesigned long [C:6.5.5]. - Mul-sshort-sllong
- Multiplication of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Mul-sshort-schar
- Multiplication of a value of type
signed short and a value of typesigned char [C:6.5.5]. - Mul-slong-ushort
- Multiplication of a value of type
signed long and a value of typeunsigned short [C:6.5.5]. - Mul-slong-ullong
- Multiplication of a value of type
signed long and a value of typeunsigned 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 typeunsigned int is well-defined. - Mul-slong-uchar-okp
- Check if the multiplication of a value of type
signed long and a value of typeunsigned char is well-defined. - Mul-slong-uchar
- Multiplication of a value of type
signed long and a value of typeunsigned char [C:6.5.5]. - Mul-slong-sshort
- Multiplication of a value of type
signed long and a value of typesigned short [C:6.5.5]. - Mul-slong-slong
- Multiplication of a value of type
signed long and a value of typesigned long [C:6.5.5]. - Mul-slong-sllong
- Multiplication of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Mul-slong-schar-okp
- Check if the multiplication of a value of type
signed long and a value of typesigned char is well-defined. - Mul-sllong-ushort
- Multiplication of a value of type
signed long long and a value of typeunsigned short [C:6.5.5]. - Mul-sllong-ulong
- Multiplication of a value of type
signed long long and a value of typeunsigned long [C:6.5.5]. - Mul-sllong-ullong
- Multiplication of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Mul-sllong-uint
- Multiplication of a value of type
signed long long and a value of typeunsigned int [C:6.5.5]. - Mul-sllong-uchar
- Multiplication of a value of type
signed long long and a value of typeunsigned char [C:6.5.5]. - Mul-sllong-sshort
- Multiplication of a value of type
signed long long and a value of typesigned short [C:6.5.5]. - Mul-sllong-slong
- Multiplication of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Mul-sllong-sint
- Multiplication of a value of type
signed long long and a value of typesigned int [C:6.5.5]. - Mul-sllong-schar
- Multiplication of a value of type
signed long long and a value of typesigned char [C:6.5.5]. - Mul-sint-ushort-okp
- Check if the multiplication of a value of type
signed int and a value of typeunsigned short is well-defined. - Mul-sint-uchar-okp
- Check if the multiplication of a value of type
signed int and a value of typeunsigned char is well-defined. - Mul-sint-sshort-okp
- Check if the multiplication of a value of type
signed int and a value of typesigned short is well-defined. - Mul-sint-slong-okp
- Check if the multiplication of a value of type
signed int and a value of typesigned long is well-defined. - Mul-sint-sllong
- Multiplication of a value of type
signed int and a value of typesigned 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 typesigned char is well-defined. - Mul-schar-ushort
- Multiplication of a value of type
signed char and a value of typeunsigned short [C:6.5.5]. - Mul-schar-ullong
- Multiplication of a value of type
signed char and a value of typeunsigned long long [C:6.5.5]. - Mul-schar-uchar
- Multiplication of a value of type
signed char and a value of typeunsigned char [C:6.5.5]. - Mul-schar-sshort
- Multiplication of a value of type
signed char and a value of typesigned short [C:6.5.5]. - Mul-schar-slong-okp
- Check if the multiplication of a value of type
signed char and a value of typesigned long is well-defined. - Mul-schar-slong
- Multiplication of a value of type
signed char and a value of typesigned long [C:6.5.5]. - Mul-schar-sllong
- Multiplication of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Mul-schar-schar-okp
- Check if the multiplication of a value of type
signed char and a value of typesigned char is well-defined. - Mul-schar-schar
- Multiplication of a value of type
signed char and a value of typesigned char [C:6.5.5]. - Lt-ushort-ushort
- Less-than relation of a value of type
unsigned short and a value of typeunsigned short [C:6.5.8]. - Lt-ushort-ullong
- Less-than relation of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.8]. - Lt-ushort-sshort
- Less-than relation of a value of type
unsigned short and a value of typesigned short [C:6.5.8]. - Lt-ushort-sllong
- Less-than relation of a value of type
unsigned short and a value of typesigned long long [C:6.5.8]. - Lt-ulong-sllong
- Less-than relation of a value of type
unsigned long and a value of typesigned long long [C:6.5.8]. - Lt-ullong-ushort
- Less-than relation of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.8]. - Lt-ullong-ullong
- Less-than relation of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.8]. - Lt-ullong-sshort
- Less-than relation of a value of type
unsigned long long and a value of typesigned short [C:6.5.8]. - Lt-ullong-sllong
- Less-than relation of a value of type
unsigned long long and a value of typesigned long long [C:6.5.8]. - Lt-sshort-ushort
- Less-than relation of a value of type
signed short and a value of typeunsigned short [C:6.5.8]. - Lt-sshort-ullong
- Less-than relation of a value of type
signed short and a value of typeunsigned long long [C:6.5.8]. - Lt-sshort-sshort
- Less-than relation of a value of type
signed short and a value of typesigned short [C:6.5.8]. - Lt-sshort-sllong
- Less-than relation of a value of type
signed short and a value of typesigned long long [C:6.5.8]. - Lt-sllong-ushort
- Less-than relation of a value of type
signed long long and a value of typeunsigned short [C:6.5.8]. - Lt-sllong-ulong
- Less-than relation of a value of type
signed long long and a value of typeunsigned long [C:6.5.8]. - Lt-sllong-ullong
- Less-than relation of a value of type
signed long long and a value of typeunsigned long long [C:6.5.8]. - Lt-sllong-sshort
- Less-than relation of a value of type
signed long long and a value of typesigned short [C:6.5.8]. - Lt-sllong-sllong
- Less-than relation of a value of type
signed long long and a value of typesigned long long [C:6.5.8]. - Lt-sint-sint
- Less-than relation of a value of type
signed int and a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned long long [C:6.5.8]. - Gt-ushort-ushort
- Greater-than relation of a value of type
unsigned short and a value of typeunsigned short [C:6.5.8]. - Gt-ushort-ullong
- Greater-than relation of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.8]. - Gt-ushort-uchar
- Greater-than relation of a value of type
unsigned short and a value of typeunsigned char [C:6.5.8]. - Gt-ushort-sshort
- Greater-than relation of a value of type
unsigned short and a value of typesigned short [C:6.5.8]. - Gt-ushort-sllong
- Greater-than relation of a value of type
unsigned short and a value of typesigned long long [C:6.5.8]. - Gt-ulong-ullong
- Greater-than relation of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.8]. - Gt-ulong-sllong
- Greater-than relation of a value of type
unsigned long and a value of typesigned long long [C:6.5.8]. - Gt-ullong-ushort
- Greater-than relation of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.8]. - Gt-ullong-ullong
- Greater-than relation of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.8]. - Gt-ullong-sshort
- Greater-than relation of a value of type
unsigned long long and a value of typesigned short [C:6.5.8]. - Gt-ullong-sllong
- Greater-than relation of a value of type
unsigned long long and a value of typesigned long long [C:6.5.8]. - Gt-uchar-ushort
- Greater-than relation of a value of type
unsigned char and a value of typeunsigned short [C:6.5.8]. - Gt-uchar-ullong
- Greater-than relation of a value of type
unsigned char and a value of typeunsigned long long [C:6.5.8]. - Gt-sshort-ushort
- Greater-than relation of a value of type
signed short and a value of typeunsigned short [C:6.5.8]. - Gt-sshort-ullong
- Greater-than relation of a value of type
signed short and a value of typeunsigned long long [C:6.5.8]. - Gt-sshort-sshort
- Greater-than relation of a value of type
signed short and a value of typesigned short [C:6.5.8]. - Gt-sshort-sllong
- Greater-than relation of a value of type
signed short and a value of typesigned long long [C:6.5.8]. - Gt-sllong-ushort
- Greater-than relation of a value of type
signed long long and a value of typeunsigned short [C:6.5.8]. - Gt-sllong-ulong
- Greater-than relation of a value of type
signed long long and a value of typeunsigned long [C:6.5.8]. - Gt-sllong-ullong
- Greater-than relation of a value of type
signed long long and a value of typeunsigned long long [C:6.5.8]. - Gt-sllong-sshort
- Greater-than relation of a value of type
signed long long and a value of typesigned short [C:6.5.8]. - Gt-sllong-sllong
- Greater-than relation of a value of type
signed long long and a value of typesigned long long [C:6.5.8]. - Gt-sint-sint
- Greater-than relation of a value of type
signed int and a value of typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned 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 typesigned 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 typesigned 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 typeunsigned 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 typeunsigned 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 typesigned 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 typesigned long long [C:6.5.8]. - Eq-ushort-ushort
- Equality of a value of type
unsigned short and a value of typeunsigned short [C:6.5.9]. - Eq-ushort-ullong
- Equality of a value of type
unsigned short and a value of typeunsigned long long [C:6.5.9]. - Eq-ullong-ullong
- Equality of a value of type
unsigned long long and a value of typeunsigned long long [C:6.5.9]. - Eq-sllong-ullong
- Equality of a value of type
signed long long and a value of typeunsigned long long [C:6.5.9]. - Eq-sllong-sllong
- Equality of a value of type
signed long long and a value of typesigned long long [C:6.5.9]. - Div-ushort-ushort
- Division of a value of type
unsigned short and a value of typeunsigned short [C:6.5.5]. - Div-ushort-ulong
- Division of a value of type
unsigned short and a value of typeunsigned long [C:6.5.5]. - Div-ushort-ullong
- Division of a value of type
unsigned short and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-ushort-uchar
- Division of a value of type
unsigned short and a value of typeunsigned char [C:6.5.5]. - Div-ushort-sshort
- Division of a value of type
unsigned short and a value of typesigned short [C:6.5.5]. - Div-ushort-slong
- Division of a value of type
unsigned short and a value of typesigned long [C:6.5.5]. - Div-ushort-sllong
- Division of a value of type
unsigned short and a value of typesigned 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 typesigned int is well-defined. - Div-ushort-schar
- Division of a value of type
unsigned short and a value of typesigned char [C:6.5.5]. - Div-ulong-ushort
- Division of a value of type
unsigned long and a value of typeunsigned short [C:6.5.5]. - Div-ulong-ulong-okp
- Check if the division of a value of type
unsigned long and a value of typeunsigned long is well-defined. - Div-ulong-ulong
- Division of a value of type
unsigned long and a value of typeunsigned long [C:6.5.5]. - Div-ulong-ullong
- Division of a value of type
unsigned long and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-ulong-uchar-okp
- Check if the division of a value of type
unsigned long and a value of typeunsigned char is well-defined. - Div-ulong-sshort
- Division of a value of type
unsigned long and a value of typesigned short [C:6.5.5]. - Div-ulong-slong-okp
- Check if the division of a value of type
unsigned long and a value of typesigned long is well-defined. - Div-ulong-sllong
- Division of a value of type
unsigned long and a value of typesigned 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 typesigned int is well-defined. - Div-ulong-schar-okp
- Check if the division of a value of type
unsigned long and a value of typesigned char is well-defined. - Div-ullong-ushort
- Division of a value of type
unsigned long long and a value of typeunsigned short [C:6.5.5]. - Div-ullong-ulong
- Division of a value of type
unsigned long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-ullong-uint
- Division of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.5]. - Div-ullong-uchar
- Division of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.5]. - Div-ullong-sshort
- Division of a value of type
unsigned long long and a value of typesigned short [C:6.5.5]. - Div-ullong-slong
- Division of a value of type
unsigned long long and a value of typesigned long [C:6.5.5]. - Div-ullong-sllong
- Division of a value of type
unsigned long long and a value of typesigned 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 typesigned int is well-defined. - Div-ullong-schar
- Division of a value of type
unsigned long long and a value of typesigned char [C:6.5.5]. - Div-uint-ushort-okp
- Check if the division of a value of type
unsigned int and a value of typeunsigned short is well-defined. - Div-uint-ulong-okp
- Check if the division of a value of type
unsigned int and a value of typeunsigned long is well-defined. - Div-uint-ullong-okp
- Check if the division of a value of type
unsigned int and a value of typeunsigned long long is well-defined. - Div-uint-ullong
- Division of a value of type
unsigned int and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-uint-uchar-okp
- Check if the division of a value of type
unsigned int and a value of typeunsigned char is well-defined. - Div-uint-sshort-okp
- Check if the division of a value of type
unsigned int and a value of typesigned short is well-defined. - Div-uint-slong-okp
- Check if the division of a value of type
unsigned int and a value of typesigned long is well-defined. - Div-uint-sllong-okp
- Check if the division of a value of type
unsigned int and a value of typesigned long long is well-defined. - Div-uint-sllong
- Division of a value of type
unsigned int and a value of typesigned 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 typesigned int is well-defined. - Div-uint-schar-okp
- Check if the division of a value of type
unsigned int and a value of typesigned char is well-defined. - Div-uchar-ushort
- Division of a value of type
unsigned char and a value of typeunsigned short [C:6.5.5]. - Div-uchar-ulong-okp
- Check if the division of a value of type
unsigned char and a value of typeunsigned long is well-defined. - Div-uchar-ulong
- Division of a value of type
unsigned char and a value of typeunsigned long [C:6.5.5]. - Div-uchar-ullong
- Division of a value of type
unsigned char and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-uchar-uchar-okp
- Check if the division of a value of type
unsigned char and a value of typeunsigned char is well-defined. - Div-uchar-uchar
- Division of a value of type
unsigned char and a value of typeunsigned char [C:6.5.5]. - Div-uchar-sshort
- Division of a value of type
unsigned char and a value of typesigned short [C:6.5.5]. - Div-uchar-slong-okp
- Check if the division of a value of type
unsigned char and a value of typesigned long is well-defined. - Div-uchar-sllong
- Division of a value of type
unsigned char and a value of typesigned 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 typesigned int is well-defined. - Div-uchar-schar-okp
- Check if the division of a value of type
unsigned char and a value of typesigned char is well-defined. - Div-uchar-schar
- Division of a value of type
unsigned char and a value of typesigned char [C:6.5.5]. - Div-sshort-ushort
- Division of a value of type
signed short and a value of typeunsigned short [C:6.5.5]. - Div-sshort-ulong
- Division of a value of type
signed short and a value of typeunsigned long [C:6.5.5]. - Div-sshort-ullong
- Division of a value of type
signed short and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-sshort-uchar
- Division of a value of type
signed short and a value of typeunsigned char [C:6.5.5]. - Div-sshort-sshort
- Division of a value of type
signed short and a value of typesigned short [C:6.5.5]. - Div-sshort-slong
- Division of a value of type
signed short and a value of typesigned long [C:6.5.5]. - Div-sshort-sllong
- Division of a value of type
signed short and a value of typesigned 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 typesigned int is well-defined. - Div-sshort-schar
- Division of a value of type
signed short and a value of typesigned char [C:6.5.5]. - Div-slong-ushort
- Division of a value of type
signed long and a value of typeunsigned short [C:6.5.5]. - Div-slong-ulong-okp
- Check if the division of a value of type
signed long and a value of typeunsigned long is well-defined. - Div-slong-ullong
- Division of a value of type
signed long and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-slong-uchar-okp
- Check if the division of a value of type
signed long and a value of typeunsigned char is well-defined. - Div-slong-sshort
- Division of a value of type
signed long and a value of typesigned short [C:6.5.5]. - Div-slong-slong
- Division of a value of type
signed long and a value of typesigned long [C:6.5.5]. - Div-slong-sllong
- Division of a value of type
signed long and a value of typesigned 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 typesigned int is well-defined. - Div-slong-schar-okp
- Check if the division of a value of type
signed long and a value of typesigned char is well-defined. - Div-sllong-ushort
- Division of a value of type
signed long long and a value of typeunsigned short [C:6.5.5]. - Div-sllong-ulong
- Division of a value of type
signed long long and a value of typeunsigned long [C:6.5.5]. - Div-sllong-ullong
- Division of a value of type
signed long long and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-sllong-uchar
- Division of a value of type
signed long long and a value of typeunsigned char [C:6.5.5]. - Div-sllong-sshort
- Division of a value of type
signed long long and a value of typesigned short [C:6.5.5]. - Div-sllong-slong
- Division of a value of type
signed long long and a value of typesigned long [C:6.5.5]. - Div-sllong-sllong
- Division of a value of type
signed long long and a value of typesigned 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 typesigned int is well-defined. - Div-sllong-schar
- Division of a value of type
signed long long and a value of typesigned char [C:6.5.5]. - Div-sint-ushort-okp
- Check if the division of a value of type
signed int and a value of typeunsigned short is well-defined. - Div-sint-ulong-okp
- Check if the division of a value of type
signed int and a value of typeunsigned long is well-defined. - Div-sint-ullong-okp
- Check if the division of a value of type
signed int and a value of typeunsigned long long is well-defined. - Div-sint-ullong
- Division of a value of type
signed int and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-sint-uchar-okp
- Check if the division of a value of type
signed int and a value of typeunsigned char is well-defined. - Div-sint-sshort-okp
- Check if the division of a value of type
signed int and a value of typesigned short is well-defined. - Div-sint-slong-okp
- Check if the division of a value of type
signed int and a value of typesigned long is well-defined. - Div-sint-sllong-okp
- Check if the division of a value of type
signed int and a value of typesigned long long is well-defined. - Div-sint-sllong
- Division of a value of type
signed int and a value of typesigned long long [C:6.5.5]. - Div-sint-sint
- Division of a value of type
signed int and a value of typesigned int [C:6.5.5]. - Div-sint-schar-okp
- Check if the division of a value of type
signed int and a value of typesigned char is well-defined. - Div-schar-ushort
- Division of a value of type
signed char and a value of typeunsigned short [C:6.5.5]. - Div-schar-ulong-okp
- Check if the division of a value of type
signed char and a value of typeunsigned long is well-defined. - Div-schar-ullong
- Division of a value of type
signed char and a value of typeunsigned 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 typeunsigned int is well-defined. - Div-schar-uchar-okp
- Check if the division of a value of type
signed char and a value of typeunsigned char is well-defined. - Div-schar-uchar
- Division of a value of type
signed char and a value of typeunsigned char [C:6.5.5]. - Div-schar-sshort
- Division of a value of type
signed char and a value of typesigned short [C:6.5.5]. - Div-schar-slong-okp
- Check if the division of a value of type
signed char and a value of typesigned long is well-defined. - Div-schar-sllong
- Division of a value of type
signed char and a value of typesigned 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 typesigned int is well-defined. - Div-schar-schar-okp
- Check if the division of a value of type
signed char and a value of typesigned 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 typeunsigned long [C:6.5.11]. - Bitxor-ushort-uint
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typeunsigned int [C:6.5.11]. - Bitxor-ushort-slong
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typesigned long [C:6.5.11]. - Bitxor-ushort-sint
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typesigned int [C:6.5.11]. - Bitxor-ushort-schar
- Bitwise exclusive disjunction of a value of type
unsigned short and a value of typesigned char [C:6.5.11]. - Bitxor-ulong-ushort
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typeunsigned short [C:6.5.11]. - Bitxor-ulong-ulong
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typeunsigned long [C:6.5.11]. - Bitxor-ulong-uint
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typeunsigned int [C:6.5.11]. - Bitxor-ulong-uchar
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typeunsigned char [C:6.5.11]. - Bitxor-ulong-sshort
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typesigned short [C:6.5.11]. - Bitxor-ulong-slong
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typesigned long [C:6.5.11]. - Bitxor-ulong-sint
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typesigned int [C:6.5.11]. - Bitxor-ulong-schar
- Bitwise exclusive disjunction of a value of type
unsigned long and a value of typesigned char [C:6.5.11]. - Bitxor-ullong-ulong
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.11]. - Bitxor-ullong-uint
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.11]. - Bitxor-ullong-uchar
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.11]. - Bitxor-ullong-slong
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typesigned long [C:6.5.11]. - Bitxor-ullong-sint
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typesigned int [C:6.5.11]. - Bitxor-ullong-schar
- Bitwise exclusive disjunction of a value of type
unsigned long long and a value of typesigned char [C:6.5.11]. - Bitxor-uint-ushort
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typeunsigned short [C:6.5.11]. - Bitxor-uint-ulong
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typeunsigned long [C:6.5.11]. - Bitxor-uint-ullong
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typeunsigned long long [C:6.5.11]. - Bitxor-uint-uint
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typeunsigned int [C:6.5.11]. - Bitxor-uint-uchar
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typeunsigned char [C:6.5.11]. - Bitxor-uint-sshort
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typesigned short [C:6.5.11]. - Bitxor-uint-slong
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typesigned long [C:6.5.11]. - Bitxor-uint-sllong
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typesigned long long [C:6.5.11]. - Bitxor-uint-schar
- Bitwise exclusive disjunction of a value of type
unsigned int and a value of typesigned char [C:6.5.11]. - Bitxor-uchar-ulong
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typeunsigned long [C:6.5.11]. - Bitxor-uchar-uint
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typeunsigned int [C:6.5.11]. - Bitxor-uchar-uchar
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typeunsigned char [C:6.5.11]. - Bitxor-uchar-sshort
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typesigned short [C:6.5.11]. - Bitxor-uchar-slong
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typesigned long [C:6.5.11]. - Bitxor-uchar-sint
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typesigned int [C:6.5.11]. - Bitxor-uchar-schar
- Bitwise exclusive disjunction of a value of type
unsigned char and a value of typesigned char [C:6.5.11]. - Bitxor-sshort-ulong
- Bitwise exclusive disjunction of a value of type
signed short and a value of typeunsigned long [C:6.5.11]. - Bitxor-sshort-uint
- Bitwise exclusive disjunction of a value of type
signed short and a value of typeunsigned int [C:6.5.11]. - Bitxor-sshort-uchar
- Bitwise exclusive disjunction of a value of type
signed short and a value of typeunsigned char [C:6.5.11]. - Bitxor-sshort-slong
- Bitwise exclusive disjunction of a value of type
signed short and a value of typesigned long [C:6.5.11]. - Bitxor-sshort-sint
- Bitwise exclusive disjunction of a value of type
signed short and a value of typesigned int [C:6.5.11]. - Bitxor-sshort-schar
- Bitwise exclusive disjunction of a value of type
signed short and a value of typesigned char [C:6.5.11]. - Bitxor-slong-ushort
- Bitwise exclusive disjunction of a value of type
signed long and a value of typeunsigned short [C:6.5.11]. - Bitxor-slong-ulong
- Bitwise exclusive disjunction of a value of type
signed long and a value of typeunsigned long [C:6.5.11]. - Bitxor-slong-uint
- Bitwise exclusive disjunction of a value of type
signed long and a value of typeunsigned int [C:6.5.11]. - Bitxor-slong-uchar
- Bitwise exclusive disjunction of a value of type
signed long and a value of typeunsigned char [C:6.5.11]. - Bitxor-slong-sshort
- Bitwise exclusive disjunction of a value of type
signed long and a value of typesigned short [C:6.5.11]. - Bitxor-slong-slong
- Bitwise exclusive disjunction of a value of type
signed long and a value of typesigned long [C:6.5.11]. - Bitxor-slong-sint
- Bitwise exclusive disjunction of a value of type
signed long and a value of typesigned int [C:6.5.11]. - Bitxor-slong-schar
- Bitwise exclusive disjunction of a value of type
signed long and a value of typesigned char [C:6.5.11]. - Bitxor-sllong-uint
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typeunsigned int [C:6.5.11]. - Bitxor-sllong-uchar
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typeunsigned char [C:6.5.11]. - Bitxor-sllong-slong
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typesigned long [C:6.5.11]. - Bitxor-sllong-sint
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typesigned int [C:6.5.11]. - Bitxor-sllong-schar
- Bitwise exclusive disjunction of a value of type
signed long long and a value of typesigned char [C:6.5.11]. - Bitxor-sint-ushort
- Bitwise exclusive disjunction of a value of type
signed int and a value of typeunsigned short [C:6.5.11]. - Bitxor-sint-ulong
- Bitwise exclusive disjunction of a value of type
signed int and a value of typeunsigned long [C:6.5.11]. - Bitxor-sint-ullong
- Bitwise exclusive disjunction of a value of type
signed int and a value of typeunsigned long long [C:6.5.11]. - Bitxor-sint-uchar
- Bitwise exclusive disjunction of a value of type
signed int and a value of typeunsigned char [C:6.5.11]. - Bitxor-sint-sshort
- Bitwise exclusive disjunction of a value of type
signed int and a value of typesigned short [C:6.5.11]. - Bitxor-sint-slong
- Bitwise exclusive disjunction of a value of type
signed int and a value of typesigned long [C:6.5.11]. - Bitxor-sint-sllong
- Bitwise exclusive disjunction of a value of type
signed int and a value of typesigned long long [C:6.5.11]. - Bitxor-sint-schar
- Bitwise exclusive disjunction of a value of type
signed int and a value of typesigned char [C:6.5.11]. - Bitxor-schar-ushort
- Bitwise exclusive disjunction of a value of type
signed char and a value of typeunsigned short [C:6.5.11]. - Bitxor-schar-ulong
- Bitwise exclusive disjunction of a value of type
signed char and a value of typeunsigned long [C:6.5.11]. - Bitxor-schar-uint
- Bitwise exclusive disjunction of a value of type
signed char and a value of typeunsigned int [C:6.5.11]. - Bitxor-schar-uchar
- Bitwise exclusive disjunction of a value of type
signed char and a value of typeunsigned char [C:6.5.11]. - Bitxor-schar-sshort
- Bitwise exclusive disjunction of a value of type
signed char and a value of typesigned short [C:6.5.11]. - Bitxor-schar-slong
- Bitwise exclusive disjunction of a value of type
signed char and a value of typesigned long [C:6.5.11]. - Bitxor-schar-sint
- Bitwise exclusive disjunction of a value of type
signed char and a value of typesigned int [C:6.5.11]. - Bitxor-schar-schar
- Bitwise exclusive disjunction of a value of type
signed char and a value of typesigned char [C:6.5.11]. - Bitior-ushort-ulong
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typeunsigned long [C:6.5.12]. - Bitior-ushort-uint
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typeunsigned int [C:6.5.12]. - Bitior-ushort-slong
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typesigned long [C:6.5.12]. - Bitior-ushort-sint
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typesigned int [C:6.5.12]. - Bitior-ushort-schar
- Bitwise inclusive disjunction of a value of type
unsigned short and a value of typesigned char [C:6.5.12]. - Bitior-ulong-ushort
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typeunsigned short [C:6.5.12]. - Bitior-ulong-ulong
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typeunsigned long [C:6.5.12]. - Bitior-ulong-uint
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typeunsigned int [C:6.5.12]. - Bitior-ulong-uchar
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typeunsigned char [C:6.5.12]. - Bitior-ulong-sshort
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typesigned short [C:6.5.12]. - Bitior-ulong-slong
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typesigned long [C:6.5.12]. - Bitior-ulong-sint
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typesigned int [C:6.5.12]. - Bitior-ulong-schar
- Bitwise inclusive disjunction of a value of type
unsigned long and a value of typesigned char [C:6.5.12]. - Bitior-ullong-ulong
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.12]. - Bitior-ullong-uint
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.12]. - Bitior-ullong-uchar
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.12]. - Bitior-ullong-slong
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typesigned long [C:6.5.12]. - Bitior-ullong-sint
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typesigned int [C:6.5.12]. - Bitior-ullong-schar
- Bitwise inclusive disjunction of a value of type
unsigned long long and a value of typesigned char [C:6.5.12]. - Bitior-uint-ushort
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typeunsigned short [C:6.5.12]. - Bitior-uint-ulong
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typeunsigned long [C:6.5.12]. - Bitior-uint-ullong
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typeunsigned long long [C:6.5.12]. - Bitior-uint-uint
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typeunsigned int [C:6.5.12]. - Bitior-uint-uchar
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typeunsigned char [C:6.5.12]. - Bitior-uint-sshort
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typesigned short [C:6.5.12]. - Bitior-uint-slong
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typesigned long [C:6.5.12]. - Bitior-uint-sllong
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typesigned long long [C:6.5.12]. - Bitior-uint-schar
- Bitwise inclusive disjunction of a value of type
unsigned int and a value of typesigned char [C:6.5.12]. - Bitior-uchar-ulong
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typeunsigned long [C:6.5.12]. - Bitior-uchar-uint
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typeunsigned int [C:6.5.12]. - Bitior-uchar-uchar
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typeunsigned char [C:6.5.12]. - Bitior-uchar-sshort
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typesigned short [C:6.5.12]. - Bitior-uchar-slong
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typesigned long [C:6.5.12]. - Bitior-uchar-sint
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typesigned int [C:6.5.12]. - Bitior-uchar-schar
- Bitwise inclusive disjunction of a value of type
unsigned char and a value of typesigned char [C:6.5.12]. - Bitior-sshort-ulong
- Bitwise inclusive disjunction of a value of type
signed short and a value of typeunsigned long [C:6.5.12]. - Bitior-sshort-uint
- Bitwise inclusive disjunction of a value of type
signed short and a value of typeunsigned int [C:6.5.12]. - Bitior-sshort-uchar
- Bitwise inclusive disjunction of a value of type
signed short and a value of typeunsigned char [C:6.5.12]. - Bitior-sshort-slong
- Bitwise inclusive disjunction of a value of type
signed short and a value of typesigned long [C:6.5.12]. - Bitior-sshort-sint
- Bitwise inclusive disjunction of a value of type
signed short and a value of typesigned int [C:6.5.12]. - Bitior-sshort-schar
- Bitwise inclusive disjunction of a value of type
signed short and a value of typesigned char [C:6.5.12]. - Bitior-slong-ushort
- Bitwise inclusive disjunction of a value of type
signed long and a value of typeunsigned short [C:6.5.12]. - Bitior-slong-ulong
- Bitwise inclusive disjunction of a value of type
signed long and a value of typeunsigned long [C:6.5.12]. - Bitior-slong-uint
- Bitwise inclusive disjunction of a value of type
signed long and a value of typeunsigned int [C:6.5.12]. - Bitior-slong-uchar
- Bitwise inclusive disjunction of a value of type
signed long and a value of typeunsigned char [C:6.5.12]. - Bitior-slong-sshort
- Bitwise inclusive disjunction of a value of type
signed long and a value of typesigned short [C:6.5.12]. - Bitior-slong-slong
- Bitwise inclusive disjunction of a value of type
signed long and a value of typesigned long [C:6.5.12]. - Bitior-slong-sint
- Bitwise inclusive disjunction of a value of type
signed long and a value of typesigned int [C:6.5.12]. - Bitior-slong-schar
- Bitwise inclusive disjunction of a value of type
signed long and a value of typesigned char [C:6.5.12]. - Bitior-sllong-uint
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typeunsigned int [C:6.5.12]. - Bitior-sllong-uchar
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typeunsigned char [C:6.5.12]. - Bitior-sllong-slong
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typesigned long [C:6.5.12]. - Bitior-sllong-sint
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typesigned int [C:6.5.12]. - Bitior-sllong-schar
- Bitwise inclusive disjunction of a value of type
signed long long and a value of typesigned char [C:6.5.12]. - Bitior-sint-ushort
- Bitwise inclusive disjunction of a value of type
signed int and a value of typeunsigned short [C:6.5.12]. - Bitior-sint-ulong
- Bitwise inclusive disjunction of a value of type
signed int and a value of typeunsigned long [C:6.5.12]. - Bitior-sint-ullong
- Bitwise inclusive disjunction of a value of type
signed int and a value of typeunsigned long long [C:6.5.12]. - Bitior-sint-uchar
- Bitwise inclusive disjunction of a value of type
signed int and a value of typeunsigned char [C:6.5.12]. - Bitior-sint-sshort
- Bitwise inclusive disjunction of a value of type
signed int and a value of typesigned short [C:6.5.12]. - Bitior-sint-slong
- Bitwise inclusive disjunction of a value of type
signed int and a value of typesigned long [C:6.5.12]. - Bitior-sint-sllong
- Bitwise inclusive disjunction of a value of type
signed int and a value of typesigned long long [C:6.5.12]. - Bitior-sint-schar
- Bitwise inclusive disjunction of a value of type
signed int and a value of typesigned char [C:6.5.12]. - Bitior-schar-ushort
- Bitwise inclusive disjunction of a value of type
signed char and a value of typeunsigned short [C:6.5.12]. - Bitior-schar-ulong
- Bitwise inclusive disjunction of a value of type
signed char and a value of typeunsigned long [C:6.5.12]. - Bitior-schar-uint
- Bitwise inclusive disjunction of a value of type
signed char and a value of typeunsigned int [C:6.5.12]. - Bitior-schar-uchar
- Bitwise inclusive disjunction of a value of type
signed char and a value of typeunsigned char [C:6.5.12]. - Bitior-schar-sshort
- Bitwise inclusive disjunction of a value of type
signed char and a value of typesigned short [C:6.5.12]. - Bitior-schar-slong
- Bitwise inclusive disjunction of a value of type
signed char and a value of typesigned long [C:6.5.12]. - Bitior-schar-sint
- Bitwise inclusive disjunction of a value of type
signed char and a value of typesigned int [C:6.5.12]. - Bitior-schar-schar
- Bitwise inclusive disjunction of a value of type
signed char and a value of typesigned char [C:6.5.12]. - Bitand-ushort-ulong
- Bitwise conjunction of a value of type
unsigned short and a value of typeunsigned long [C:6.5.10]. - Bitand-ushort-uint
- Bitwise conjunction of a value of type
unsigned short and a value of typeunsigned int [C:6.5.10]. - Bitand-ushort-uchar
- Bitwise conjunction of a value of type
unsigned short and a value of typeunsigned char [C:6.5.10]. - Bitand-ushort-slong
- Bitwise conjunction of a value of type
unsigned short and a value of typesigned long [C:6.5.10]. - Bitand-ushort-sint
- Bitwise conjunction of a value of type
unsigned short and a value of typesigned int [C:6.5.10]. - Bitand-ushort-schar
- Bitwise conjunction of a value of type
unsigned short and a value of typesigned char [C:6.5.10]. - Bitand-ulong-ushort
- Bitwise conjunction of a value of type
unsigned long and a value of typeunsigned short [C:6.5.10]. - Bitand-ulong-ulong
- Bitwise conjunction of a value of type
unsigned long and a value of typeunsigned long [C:6.5.10]. - Bitand-ulong-ullong
- Bitwise conjunction of a value of type
unsigned long and a value of typeunsigned long long [C:6.5.10]. - Bitand-ulong-uint
- Bitwise conjunction of a value of type
unsigned long and a value of typeunsigned int [C:6.5.10]. - Bitand-ulong-uchar
- Bitwise conjunction of a value of type
unsigned long and a value of typeunsigned char [C:6.5.10]. - Bitand-ulong-sshort
- Bitwise conjunction of a value of type
unsigned long and a value of typesigned short [C:6.5.10]. - Bitand-ulong-slong
- Bitwise conjunction of a value of type
unsigned long and a value of typesigned long [C:6.5.10]. - Bitand-ulong-sllong
- Bitwise conjunction of a value of type
unsigned long and a value of typesigned long long [C:6.5.10]. - Bitand-ulong-schar
- Bitwise conjunction of a value of type
unsigned long and a value of typesigned char [C:6.5.10]. - Bitand-ullong-ulong
- Bitwise conjunction of a value of type
unsigned long long and a value of typeunsigned long [C:6.5.10]. - Bitand-ullong-uint
- Bitwise conjunction of a value of type
unsigned long long and a value of typeunsigned int [C:6.5.10]. - Bitand-ullong-uchar
- Bitwise conjunction of a value of type
unsigned long long and a value of typeunsigned char [C:6.5.10]. - Bitand-ullong-slong
- Bitwise conjunction of a value of type
unsigned long long and a value of typesigned long [C:6.5.10]. - Bitand-ullong-sint
- Bitwise conjunction of a value of type
unsigned long long and a value of typesigned int [C:6.5.10]. - Bitand-ullong-schar
- Bitwise conjunction of a value of type
unsigned long long and a value of typesigned char [C:6.5.10]. - Bitand-uint-ushort
- Bitwise conjunction of a value of type
unsigned int and a value of typeunsigned short [C:6.5.10]. - Bitand-uint-ulong
- Bitwise conjunction of a value of type
unsigned int