| From: | Stephen Frost <sfrost(at)snowman(dot)net> |
|---|---|
| To: | Peter Geoghegan <pg(at)heroku(dot)com> |
| Cc: | Kevin Grittner <kgrittn(at)ymail(dot)com>, "noloader(at)gmail(dot)com" <noloader(at)gmail(dot)com>, Tomas Vondra <tv(at)fuzzy(dot)cz>, "pgsql-hackers(at)postgresql(dot)org" <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: Clang 3.3 Analyzer Results |
| Date: | 2013-11-12 14:33:51 |
| Message-ID: | 20131112143351.GE17272@tamriel.snowman.net |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-general pgsql-hackers |
* Peter Geoghegan (pg(at)heroku(dot)com) wrote:
> I seem to also recall
> Coverity correctly handling that, although perhaps I'm unfairly
> crediting them with taking advantage of the abort() trick because of
> the state of Postgres when I tried each of those two tools - it might
> be that scan-build *would* have taken advantage of that at the time,
> if only the trick was there.
With Coverity, we completely 'punt' on it because we make elog(FATAL)
into a 'program-exit' case when it clearly isn't. I've discussed this
w/ the Coverity folks but, aiui, there's no solution to this any time
soon..
Thanks,
Stephen
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Tom Lane | 2013-11-12 14:38:22 | Re: Clang 3.3 Analyzer Results |
| Previous Message | Kevin Grittner | 2013-11-12 13:44:52 | Re: Clang 3.3 Analyzer Results |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Robert Haas | 2013-11-12 14:34:46 | Re: Postgresql c function returning one row with 2 fileds |
| Previous Message | Robert Haas | 2013-11-12 14:33:18 | Re: Add CREATE support to event triggers |