X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/155af98de2d41917730964947d990b7fb70ddc01..52e90c0f77bb0e3edb043873b71a73459d4ae8ab:/src/usymtab_interface.c diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c index 3cfdff9..d300f85 100644 --- a/src/usymtab_interface.c +++ b/src/usymtab_interface.c @@ -586,11 +586,11 @@ static /*@only@*/ multiVal if /*@-usedef@*/ (first == '\"') /*@=usedef@*/ { - int len = cstring_length (text) - 2; + size_t len = cstring_length (text) - 2; char *val = mstring_create (len); llassert (cstring_lastChar (text) == '\"'); - strncpy (val, cstring_toCharsSafe (text) + 1, size_fromInt (len)); + strncpy (val, cstring_toCharsSafe (text) + 1, len); return (multiVal_makeString (cstring_fromCharsO (val))); }