Re: clang's static checker report.

From: Greg Stark <gsstark(at)mit(dot)edu>
To: Grzegorz Jaskiewicz <gj(at)pointblue(dot)com(dot)pl>
Cc: pgsql-hackers Hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: clang's static checker report.
Date: 2009-08-23 16:41:24
Message-ID: 407d949e0908230941x65fc7553t591528c08fca77f2@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On Sun, Aug 23, 2009 at 4:57 PM, Grzegorz Jaskiewicz<gj(at)pointblue(dot)com(dot)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

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Roger Leigh 2009-08-23 16:43:16 Re: [PATCH 5/6] psql: print_aligned_text uses table formatting
Previous Message Grzegorz Jaskiewicz 2009-08-23 15:57:58 clang's static checker report.