Until someone who understands cstring.c fixes it, a temporary workaround is to change \\\" to \\\x22
(cstring.c:950 seems to me to be working at the wrong semantic level. Pasting string literals should NOT be done by looking for unescaped double quotes.) _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss