tz
Threads by month
- ----- 2025 -----
- February
- January
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2006 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2005 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2004 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2003 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2002 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2001 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2000 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1999 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1998 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1997 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1996 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1995 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1994 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1993 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1992 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1991 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1990 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1989 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1988 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1987 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 1986 -----
- December
- November
August 2021
- 5 participants
- 11 discussions

11 Aug '21
When building tzcode commit 7f74206b39673b1a110285c6992f70507e211060
with -DALL_STATE, clang reports a loop with a undefined
termination condition because sp->charcnt is not set before its
use. There should probably be a sp->charcnt=0 in zoneinit.
>> clang --analyze -Xanalyzer -analyzer-output=text localtime.c -DALL_STATE
localtime.c:321:16: warning: The right operand of '<' is a garbage value [core.UndefinedBinaryOperatorResult]
for (i = 0; i < sp->charcnt; ++i)
^
localtime.c:2210:7: note: 'err' is 0
if (err) {
^~~
localtime.c:2210:3: note: Taking false branch
if (err) {
^
localtime.c:2214:3: note: Calling 'tzset_unlocked'
tzset_unlocked();
^~~~~~~~~~~~~~~~
localtime.c:1383:13: note: Assuming 'name' is null
int lcl = name ? strlen(name) < sizeof lcl_TZname : -1;
^~~~
localtime.c:1383:13: note: '?' condition is false
localtime.c:1384:7: note: 'lcl' is < 0
if (lcl < 0
^~~
localtime.c:1384:7: note: '?' condition is true
localtime.c:1385:9: note: Assuming 'lcl_is_set' is >= 0
? lcl_is_set < 0
^~~~~~~~~~~~~~
localtime.c:1384:3: note: Taking false branch
if (lcl < 0
^
localtime.c:1389:7: note: Assuming 'sp' is null
if (! sp)
^~~~
localtime.c:1389:3: note: Taking true branch
if (! sp)
^
localtime.c:1390:19: note: Uninitialized value stored to field 'charcnt'
lclptr = sp = malloc(sizeof *lclptr);
^~~~~~~~~~~~~~~~~~~~~~
localtime.c:1392:7: note: Assuming 'sp' is non-null
if (sp) {
^~
localtime.c:1392:3: note: Taking true branch
if (sp) {
^
localtime.c:1393:9: note: Calling 'zoneinit'
if (zoneinit(sp, name) != 0)
^~~~~~~~~~~~~~~~~~
localtime.c:1355:7: note: 'name' is null
if (name && ! name[0]) {
^~~~
localtime.c:1355:12: note: Left side of '&&' is false
if (name && ! name[0]) {
^
localtime.c:1369:15: note: Calling 'tzload'
int err = tzload(name, sp, true);
^~~~~~~~~~~~~~~~~~~~~~
localtime.c:739:7: note: Assuming 'lsp' is null
if (!lsp)
^~~~
localtime.c:739:3: note: Taking true branch
if (!lsp)
^
localtime.c:740:5: note: Returning without writing to 'sp->charcnt'
return errno;
^
localtime.c:1369:15: note: Returning from 'tzload'
int err = tzload(name, sp, true);
^~~~~~~~~~~~~~~~~~~~~~
localtime.c:1370:9: note: Assuming 'err' is equal to 0
if (err != 0 && name && name[0] != ':' && tzparse(name, sp, NULL))
^~~~~~~~
localtime.c:1370:18: note: Left side of '&&' is false
if (err != 0 && name && name[0] != ':' && tzparse(name, sp, NULL))
^
localtime.c:1372:9: note: 'err' is equal to 0
if (err == 0)
^~~
localtime.c:1372:5: note: Taking true branch
if (err == 0)
^
localtime.c:1373:7: note: Calling 'scrub_abbrs'
scrub_abbrs(sp);
^~~~~~~~~~~~~~~
localtime.c:321:16: note: The right operand of '<' is a garbage value
for (i = 0; i < sp->charcnt; ++i)
^ ~~~~~~~~~~~
localtime.c:1277:4: warning: Value stored to 'theiroffset' is never read [deadcode.DeadStores]
theiroffset = theirstdoffset;
^ ~~~~~~~~~~~~~~
localtime.c:1277:4: note: Value stored to 'theiroffset' is never read
theiroffset = theirstdoffset;
^ ~~~~~~~~~~~~~~
2 warnings generated.
5
11