-Type conversion may truncate value

-Unsigned value cannot be less than zero

-Missing return statement at end of non-void function

-Nested comment is not allowed

-Signed bitfield of length 1

-Potential memory leak detection

-Potential null pointer dereference detection

-Out of bound access

-Out of scope access

-Use of pointer after free

-Allocator/deallocator mismatch

The following are some detailed examples of warnings generated by +wlint checks:

46 Categories of diagnostics with examples