1+checks 2+partial 3+matchanyintegral 4+strictlib 5-nullassign 6-predboolint 7-predboolptr 8+ptrnegate 9-switchloopbreak 10+ignoresigns 11-infloopsuncon 12-type 13 14# splint's memory checks don't quite work without annotations 15-mustfreeonly 16-compmempass 17-nullret 18-observertrans 19-statictrans 20-compdestroy 21-nullpass 22-nullstate 23-compdef 24-usereleased 25-temptrans 26-dependenttrans 27-kepttrans 28-branchstate 29-immediatetrans 30-mustfreefresh 31 32# These tests give false positives, compiler typically has 33# better warnings for these. 34-noret 35-noeffect 36-usedef 37 38