newbie questions

[eschner]

As it is said, I am new to splint and managed to stumble upon three
questions.

Could please anybody give me a hint?

Thanks, Thomas.


/* Q 1: How can I really get rid of warnings concerning stdio.h? ignore-end
don't do it */

/*@ignore@*/
#include <stdio.h>
/*@end@*/

int     main
(
        /*@unused@*/    int     argc,
        /*@unused@*/    char    *argv[]
)
{
        char s6[6];
        char s7[7];
        char s8[8];
        struct
        {
                int     i;
                long    j;
        } s;

        (void)strcpy(s6,"8 bytes");     /* Reported correctly */
        (void)strcpy(s7,"8 bytes");     /* Q 2: Why is there _no_ report? */
        (void)strcpy(s8,"8 bytes");     /* No report, correct */
        (void)strcpy(s7,s8);                    /* Reported correctly */
        (void)memset(s7,'\0',sizeof(s7));       /* No report, correct */
        (void)memset(&s,0,sizeof(s));   /* Q 3: Why _is_ there a report? */

        return 0;

}