Re: problem report #95

[Andreas Schwab]

Dan Nicolaescu <address@hidden> writes:

> 3952            img_id = lookup_image (f, image);
>
> At conditional (19): "img_id >= 0" taking true path
> At conditional (20): "img_id < (((f)->terminal)->image_cache)->used" taking 
> false path
>
> 3953            img = IMAGE_FROM_ID (f, img_id);
>
> Event var_deref_model: Variable "img" tracked as NULL was passed to a 
> function that dereferences it. [model]

lookup_image always returns the id of a cached image, so this is bogus.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."