]> andersk Git - splint.git/blobdiff - test/null6.lcd
*** empty log message ***
[splint.git] / test / null6.lcd
index fa32e1f94a16ea463fa71fd46562fca3a9e34808..ca87afbace55aabda6d15de4a354a72cd0916997 100644 (file)
 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|$#,)!
 ^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
This page took 0.035322 seconds and 4 git commands to generate.