There are a lot of assignments of 1 and 0 to variables in my program. The variables are usually unsigned or char, and splint complains because the literals are int.
I don't want to disable type compatibility checks alltogether. Is it possible to disable these checks just for literals, or to declare 0 and 1 as unsigned char? Thanks -- hreba _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss