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