Re: problem report #102

[Dan Nicolaescu]

Andreas Schwab <address@hidden> writes:

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

Sorry, no idea, I don't have any more information that you do.  I didn't even
look at the code, just copy+paste...