| Name | Checked | Synopsis |
|---|
|
6.3.a
|
 |
Unsafe implicit conversions in expressions, return statements, assignment statements or argument lists shall not be used. Unsafe means: conversions where values are truncated and/or sign can be lost. |
|
6.3.b
|
|
Unsafe implicit conversions of literals shall be avoided. |
|
6.3.1.a
|
|
Mixed signed/unsigned type arithmetic shall not be used. |
|
6.3.2.1.a
|
|
void expressions shall not be used in expressions. |
|
6.3.2.2.a
|
|
Pointer to and from integer conversions shall not be used. For instance on 64-bit x86 processors the size of an integer is 32-bits while the pointer is 64-bits. Therefore converting a pointer to an integer will discard part of the address. |
|
6.3.2.2.b
|
|
For generic pointers void * shall be used rather than char *. |
|
6.3.2.2.c
|
|
Pointers shall not be converted to other pointer types. |
|
6.3.2.2.d
|
|
Pointers shall not be added, multiplied nor divided. |
|
6.3.2.2.e
|
|
Pointers shall not be subtracted from each other, unless their unqualified type is the same. |
|
6.3.2.3.a
|
|
bool shall be used as boolean type. |
|
6.3.2.3.d
|
|
Avoid conversions between booleans and non-boolean types |
