On Tue Sep 04 11:40:30 2007, rblasch wrote:
>
> The key here is the "model." While Coverity's model captures the
> C<free> quite correctly, I don't think it recognizes the pointer update
> in the double linked list, which is done in C<subst_ins>, as important.
>
> Coverity probably sees something like the following in the inspected code:
>
> Instruction *ins, *ins2;
> for (ins = unit->instructions; ins; ins = ins->next) {
> ins2 = ins->next;
> free(ins2);
> }
>
> So, it's a false positive.
>
> Ron
>
Since this is a false positive, is there any reason to keep this ticket
open?
Christoph
