I remember very old versions of lint had hints you could add, like:

   /*NOTREACHED*/

that would suppress warnings. I kind of liked that method.