- Ticket [8ab8a138c9156e5a|8ab8a138c9] <i>Functions passed to Tcl_EventuallyFree() must be declared/defined as Tcl_FreeProc</i> status still Pending with 3 other changes
by
chrstphrchvz
2023-10-22 23:18:44.
D 2023-10-22T23:18:44.421
J icomment <blockquote>There's\sa\slot\sof\scode\sout\sthere\s(e.g.\sTk,\sItcl)\swhich\suses\sthis\r\nfeature,\sUBSan\sjust\sreports\sfalse-positives\sfor\sthem.</blockquote>\r\n\r\nOne\scan\suse\s<tt>-fsanitize=undefined\s-fno-sanitize=function</tt>,\sbut\sI\sdoubt\sUBSan’s\sreports\sof\sundefined\sbehavior\sare\sfalse\spositives*,\sdespite\sthings\sbehaving\sas\sexpected\sunder\stypical\scalling\sconventions.\sOr\shave\sI\smisunderstood\swhat\syou\smeant\sby\s“false\spositives”?\r\n\r\n*(The\sonly\spotential\sfalse\spositives\sI\sam\saware\sof\sare\sthose\sdue\sto\sthis\sfeature’s\sreliance\son\sname\smangling,\swhich\sis\smore\sstrict\sthan\sstandard\sC\stype\scompatibility;\ssee\s[https://reviews.llvm.org/D148827].)\r\n\r\nThat\sbeing\ssaid,\sI\sdo\snot\sknow\show\simmediate\sany\sdanger\sposed\sby\soptimizing\scompilers\sis\sfor\sexploiting\sthis\stype\sof\sundefined\sbehavior.\sInstances\swithin\sa\ssingle\stranslation\sunit,\sor\swith\sLTO\senabled,\sspeculatively\sseem\smore\sconcerning.
J login chrstphrchvz
J mimetype text/x-fossil-wiki
K 8ab8a138c9156e5a5a4a386310c6fd11608b8805
U chrstphrchvz
Z 2483d77e655e9ed6c10e1aa08fd1ea4b