18.104.22.168 C and C++ Type and Range Checks
- 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
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.