I have the following header:
/** app_str.h ***/
#include string.h
#include stdio.h
#include stdarg.h
#include stdlib.h
#ifndef __APP_STR_H
#define __APP_STR_H
#ifdef __cplusplus
extern C {
#endif
struct freecell_solver_append_string_struct
{
/*@kept@*/ /*@out@*/ char *
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
I think you want:
struct freecell_solver_append_string_struct
{
/*@null@*/ /*@reldef@*/ /*@owned@*/ char *buffer;
/*@null@*/ /*@reldef@*/ /*@dependent@*/ char *end_of_buffer;
size_t max_size;
int size_of_margin;
};
This indicates that the buffer field is responsible for the storage it