*** empty log message ***

[splint.git] / lib / ansi.lcd

diff --git a/lib/ansi.lcd b/lib/ansi.lcd
index a4425d7a6a69aaec28fe014dbda00c7199f88fab..86deba0b1783397980ba68318b737512b5127aad 100644 (file)
--- a/lib/ansi.lcd
+++ b/lib/ansi.lcd
@@ -604,9 +604,9 @@
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|$#,265|$#,)!
-3 f19 (23|$#,265|$#,)!
-3 f23 (23|$#,265|$#,)!
+3 f0 (23|@5|$#,265|$#,)!
+3 f19 (23|@5|$#,265|$#,)!
+3 f23 (23|@5|$#,265|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
@@ -838,7 +838,7 @@
 ^171 251@6@0@1@2@0^$@0#sscanf
 ^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
 ^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead.##vsprintf
+^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
 ^175 259$@0@@1@p0$@0#vsnprintf
 ^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
 ^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
@@ -846,7 +846,7 @@
 ^179 269$@0@s3@1@s3,tp1$@0#fputs
 ^180 271$@0@s3@1@s3,tp0$@0#getc
 ^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead.##gets
+^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
 ^183 278$@0@s3@1@s3,tp1$@0#putc
 ^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
 ^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts