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
