RE: char a = 0

[Deepak Mohan]

Hi David,
 So, even if I assign a constant to 'a', splint does not do any overflow
checking, just type checking?

Deepak

>-----Original Message-----
>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
>
>
>
>Hi Deepak,
>
>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';
>instead.
>
>--- Dave
>
>On Mon, 22 Jul 2002, Deepak Mohan wrote:
>
>> Hi,
>>  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.
>>
>>
>> Deepak
>>
>