So, even if I assign a constant to 'a', splint does not do any overflow
checking, just type checking?
>From: David Evans [mailto:[EMAIL PROTECTED]]
>Sent: Monday, July 22, 2002 8:09 PM
>To: Deepak Mohan
>Cc: [EMAIL PROTECTED]
>Subject: Re: char a = 0
>You can use +charint to allow any int to be used as a char, but there is
>no way to allow 0 but not 10000. I recommend using char a = '\0';
>On Mon, 22 Jul 2002, Deepak Mohan wrote:
>> I've just started using splint.
>> How do I prevent splint for saying that '0' is of type 'int'
>and that the
>> assignment type is wrong? I want splint to display the error
>when 'char a =
>> 10000' is used though.