RE: char a = 0

2002-07-23 Thread 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 1.  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 =
>> 1' is used though.
>>
>>
>> Deepak
>>
>

Re: char a = 0

2002-07-22 Thread David Evans 


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 1.  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 =
> 1' is used though.
>
>
> Deepak
>

char a = 0

2002-07-22 Thread Deepak Mohan 

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 =
1' is used though.


Deepak