Re: problem report #102

[Andreas Schwab]

Dan Nicolaescu <address@hidden> writes:

> Andreas Schwab <address@hidden> writes:
>
>   > Dan Nicolaescu <address@hidden> writes:
>   > 
>   > > Event negative_returns: Negative constant "-1" was passed to a negative 
> sink. [model]
>   > 
>   > What's a "negative sink"??
>
> Thanks for looking at these.
>
> negative_sink: The checker reports this event when it determines that a value 
> is used in an operation that would have a bad effect if that value were 
> negative. The checker then tracks the value used to see if it is subsequently 
> compared against a negative value.

So what _is_ the "bad effect"?

> [model] are links to other pages with further explanations for the
> checker's action. Following those links:

I could not find any indication of an alleged "bad effect".

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."