mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Merge pull request #4916 from YosysHQ/krys/fix_fst_warning

Browse source 
libs/fst: Fix stringop_overread warning under GCC
This commit is contained in:
Martin Povišer 2025-02-25 21:21:31 +01:00 committed by GitHub
parent b4a169527d 68e9317f1f
commit 0354bd7a90
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 16 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
libs/fst/00_PATCH_wx_len_overread.patch Normal file
View file

@ -0,0 +1,10 @@
--- fstapi.cc
+++ fstapi.cc
@@ -6072,6 +6072,7 @@ for(;;)
}
wx_len = snprintf(wx_buf, 32, "r%.16g", d);
+ if (wx_len > 32 || wx_len < 0) wx_len = 32;
fstWritex(xc, wx_buf, wx_len);
}
}

1
libs/fst/00_UPDATE.sh
View file

@ -18,3 +18,4 @@ sed -i -e 's,"fastlz.c","fastlz.cc",' *.cc *.h
patch -p0 < 00_PATCH_win_zlib.patch patch -p0 < 00_PATCH_win_zlib.patch
patch -p0 < 00_PATCH_win_io.patch patch -p0 < 00_PATCH_win_io.patch
patch -p1 < 00_PATCH_strict_alignment.patch patch -p1 < 00_PATCH_strict_alignment.patch
patch -p0 < 00_PATCH_wx_len_overread.patch

7
libs/fst/fstapi.cc
View file

@ -3907,16 +3907,18 @@ while (value)
static int fstVcdIDForFwrite(char *buf, unsigned int value) static int fstVcdIDForFwrite(char *buf, unsigned int value)
{ {
char *pnt = buf; char *pnt = buf;
int len = 0;
/* zero is illegal for a value...it is assumed they start at one */ /* zero is illegal for a value...it is assumed they start at one */
while (value) while (value && len < 14)
{ {
value--; value--;
++len;
*(pnt++) = (char)('!' + value % 94); *(pnt++) = (char)('!' + value % 94);
value = value / 94; value = value / 94;
} }
return(pnt - buf); return len;
} }
@ -6070,6 +6072,7 @@ for(;;)
} }
wx_len = snprintf(wx_buf, 32, "r%.16g", d); wx_len = snprintf(wx_buf, 32, "r%.16g", d);
if (wx_len > 32 || wx_len < 0) wx_len = 32;
fstWritex(xc, wx_buf, wx_len); fstWritex(xc, wx_buf, wx_len);
} }
} }