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
I have the following structure definition:
struct freecell_solver_append_string_struct
{
/*@null@*/ /*@reldef@*/ /*@owned@*/ char * buffer;
/*@reldef@*/ /*@dependent@*/ char * end_of_buffer;
size_t max_size;
int size_of_margin;
};
typedef struct
Hello all,
First let me say thank you for splint. When I use it, I
feel like I
have an experienced and meticulous C coder looking over
my shoulder.
Lately, I've tried something a little more ambitious, and
either
I don't understand what is wrong with my code or I'm
failing to
annotate it
Hi,
The first warning is:
widget.h:18:103: Released storage x-name reachable from parameter at
return point
for,
/*@null@*/ extern inline char *widgetName(/*@null@*/ widget *x) { return
(x != NULL) ? x-name : NULL; }
What you need here is an /*@observer@*/ annotation to indicate that the
