signed_overflow | unsigned_overflow

Checks for signed or unsigned overflow in integer operations.

integer_conversion | implicit_integer_conversion

Checks for implicit or explicit integer conversions resulting in a change of value.

div_by_zero

Checks for division by zero.

signed_shift | unsigned_shift

Checks for bit loss or implementation-dependent results when shifting.

switch

Checks for unhandled cases in switch statements.

bounds

Checks for accesses outside the bounds of arrays and other objects.

bounds_no_checks

Tracks pointer bounds, but performs no checks. See also #pragma disable_check = bounds.