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