Hi,

the following code:

  #include <limits.h>

  int main (void) {
    return 1 << CHAR_BIT;
  }

incorrectly makes splint emit the following warning:

  Right operand of << may be negative (int): 1 << CHAR_BIT

the obvious fix would be to change the declaration of CHAR_BIT in
standard.h from signed int to unsigned int. I don't know the
implications, though. So far, that seems to work.