[cfe-dev] Static analyzer
Nico Weber
nicolasweber at gmx.de
Mon Jul 7 13:38:13 PDT 2008
Hi,
>> 1. It would be very useful to me if the file name of the reports
>> could
>> include the (beginning of) the original file name. When I'm looking
>> at
>> the reports in Safari, I could then simply look at the URL bar to see
>> which file the current report is for.
>
> Today I committed a patch that puts the name of the file with the
> bug in the title of the report page:
>
> http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080707/006407.html
>
> This patch should now be available in checker-58 (for those using
> the prebuilt binaries for Mac OS X).
>
> We can also potentially include a fragment of the original source
> file name in the name of the report-XXX.html file as well. I'm not
> certain if that is necessary given the patch I mentioned. What do
> you think? I'm fine with making the change if you feel it would
> make the tool easier to use.
that change is sufficient in my eyes. Thanks :-)
>> 2. The project I'm checking contains several sections that look like
>> this:
>>
>> const void *bytes = [data bytes];
>> int rows = *((int*)bytes); bytes += sizeof(int);
>>
>> scan_build complains in these cases that "Value stored to 'bytes' is
>> never read".
>
> I mocked up a test case, but I couldn't really reproduce this
> error. If it is no trouble, can you file a Bugzilla report with a
> reduced test case that exhibits the problem? Filing a Bugzilla
> report also ensures that a fix eventually goes in, as requests for
> changes have started queuing up and I don't want to forget this one.
Done: http://llvm.org/bugs/show_bug.cgi?id=2528
Nico
More information about the cfe-dev
mailing list