Re: clang's static checker report.

Поиск
Список
Период
Сортировка
От Tom Lane
Тема Re: clang's static checker report.
Дата
Msg-id 17988.1251656040@sss.pgh.pa.us
обсуждение исходный текст
Ответ на Re: clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
Ответы Re: clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
Список pgsql-hackers
Grzegorz Jaskiewicz <gj@pointblue.com.pl> writes:
> please don't tell me that this is bogus:
http://zlew.org/postgresql_static_check/scan-build-2009-08-30-4/report-7JaICX.html#EndPath
 

Yes, it's bogus.  ctid is never passed as NULL.  It might point at
an "invalid" itempointer (one with ip_posid == 0).  Look at the only
call site.

This seems to indicate that clang is stupider than I would have hoped.
Isn't it capable of doing the same types of analysis that gcc does
when inlining?
        regards, tom lane


В списке pgsql-hackers по дате отправления:

Предыдущее
От: Stefan Kaltenbrunner
Дата:
Сообщение: Re: LWLock Queue Jumping
Следующее
От: Grzegorz Jaskiewicz
Дата:
Сообщение: Re: clang's static checker report.