unrecog
unrecogcomments
unrecogflagcomments
+ unrecognizeddirective
unsignedcompare
unusedspecial
usedef
predboolptr --- type of condition test (if, while or for) is a pointer
D<initializer> --- passed to pre-processor
U<initializer> --- passed to pre-processor
+unrecognizeddirective --- unrecognized pre-processor directive
globstate --- returns with global in inconsistent state (null or undefined)
supcounts --- The number of errors detected does not match number in
/*@i<n>@*/.