C and C++ type and range checks

By default, when parses C or C++ expressions, type checking is not used. However, if you turn type checking on, considers two variables type equivalent if:

• The two variables are structured and have the same structure, union, or enumerated tag.
• The two variables have the same type name, or types that have been declared equivalent through typedef.

Range checking, if turned on, is done on mathematical operations. Array indices are not checked, since they are often used to index a pointer that is not itself an array.

Go to the first, previous, next, last section, table of contents.