3 #these are stupid flags ... i.e to inhibit warnings that are just stupid
34 #flags that have no place anywhere else
37 -shiftimplementation \
45 #these are flags that MAYBE shouldn't be required
46 # -nullassign should be surpressed in code with /*@null*/
47 # (although that might be odd?)
62 #these are flags that shouldn't be required. I.e tofix in code so that
63 #these don't need to be here to onhibit the warning
64 # remove one flag from here at a time while fixing the code so that
69 splint $FLAGS_STUPID $FLAGS_MAYBE $FLAGS_TOFIX $FLAGS_OTHERS *.c *.h