Hello,
I used
Splint 3.1.1 --- 20 May 2003
to check
void test ()
{
unsigned short int a;
a = sizeof(a) / sizeof(int); //line 199
}
result in
typenschild.c:199:3: Assignment of arbitrary unsigned integral type to unsigned
short int: a = sizeof((a)) / sizeof(int)
To ignore type qualifiers in type comparisons use +ignorequals.
and
/[EMAIL PROTECTED]@*/
a = sizeof(a) / sizeof(int); //line 199
/[EMAIL PROTECTED]@*/
result in
typenschild.c:199:3: Assignment of arbitrary unsigned integral type to unsigned
short int: a = sizeof((a)) / sizeof(int)
typenschild.c:199:31: *** Internal Bug at llerror.c:918:
No hint available, flag ignorequals is already set. [errno: 25]
*** Please report bug to [EMAIL PROTECTED] ***
(attempting to continue, results may be incorrect)
_______________________________________________
splint-discuss mailing list
[EMAIL PROTECTED]
http://www.splint.org/mailman/listinfo/splint-discuss
