X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3814599dbdafeaf8cb335d07f1d1bf1729a98417..ba45e1e46d0f012cf3abdb631baa428f00a63378:/test/tests2.5/newlint.lcd diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd index 21b3c4b..6cdc919 100644 --- a/test/tests2.5/newlint.lcd +++ b/test/tests2.5/newlint.lcd @@ -583,12 +583,12 @@ 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)! 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)! 3 f574 (23|@5|4@0@9&#,23|$#,63|$#,)! -3 f0 (23|4@0@9&#,23|$#,)! -3 f1 (23|4@0@9&#,23|$#,)! -3 f574 (23|4@0@9&#,23|$#,)! -3 f0 (23|4@0@9&#,23|$#,5|$#,)! -3 f1 (23|4@0@9&#,23|$#,5|$#,)! -3 f574 (23|4@0@9&#,23|$#,5|$#,)! +3 f0 (23|@5|4@0@9&#,23|$#,)! +3 f1 (23|@5|4@0@9&#,23|$#,)! +3 f574 (23|@5|4@0@9&#,23|$#,)! +3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)! +3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)! +3 f574 (23|@5|4@0@9&#,23|$#,5|$#,)! 3 f0 (20|$#,20|$#,63|$#,)! 3 f5 (20|$#,20|$#,63|$#,)! 3 f0 (23|$#,23|$#,)! @@ -989,8 +989,8 @@ ^309 573$@0@@1@tp0$@0#memmove ^310 577$@0@@1@tp0$@0#strcpy ^311 580$@0@@1@tp0$@0#strncpy -^312 583$@0@@1@tp0@3@0@0#strcat -^313 586$@0@@1@tp0@3@0@0#strncat +^312 583$@0@@1@tp0$@0#strcat +^313 586$@0@@1@tp0$@0#strncat ^314 588$^$@0#memcmp ^315 590$^$@0#strcmp ^316 592$^$@0#strcoll