Re: clang's static checker report. - Mailing list pgsql-hackers

From Greg Stark
Subject Re: clang's static checker report.
Date
Msg-id 407d949e0908230941x65fc7553t591528c08fca77f2@mail.gmail.com
Whole thread Raw
In response to clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
Responses Re: clang's static checker report.  (Martijn van Oosterhout <kleptog@svana.org>)
Re: clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
Re: clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
Re: clang's static checker report.  (Grzegorz Jaskiewicz <gj@pointblue.com.pl>)
List pgsql-hackers
On Sun, Aug 23, 2009 at 4:57 PM, Grzegorz Jaskiewicz<gj@pointblue.com.pl> wrote:
> I am sure there's plenty of false positives, but I am also quite sure
> there's many real errors on that list.

Do you know how to teach clang about functions which never return?
That seems to be causing most of the false positives because it
doesn't recognize that our error checks stop execution and avoid the
use of the unitialized variables afterwards.

-- 
greg
http://mit.edu/~gsstark/resume.pdf


pgsql-hackers by date:

Previous
From: Grzegorz Jaskiewicz
Date:
Subject: clang's static checker report.
Next
From: Roger Leigh
Date:
Subject: Re: [PATCH 5/6] psql: print_aligned_text uses table formatting