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
