Re: bitpos expansion patches summary

Siddhesh Poyarekar
2012-08-09T02:04:51Z

On Thu, 9 Aug 2012 00:43:12 +0200, Jan wrote:

> Hi Siddhesh,
>
> I have found one problem. We miss the cases (there won't be too
> many) like:
>
> ada-lang.c:2315
> offset is LONGEST:
> long new_offset = offset;

I think that is my fault - splint gave that warning, but I missed it
when copying over my annotations from the old report to the new one:

RSAFE: (ada-lang.c:2315): VARINIT(new_offset): (LONGEST to
LONG) [offset]

Split gave these warnings when I ran it for the new report, which is
why I also had to modify the processing script to account for a LONG and
ULONG as opposed to LONGEST and ULONGEST. I'll review the changes and
send a fix for this on top of the current patches.

Regards,
Siddhesh