Oh. I'm being brain-dead. *NoDetect* is kind of an odd case, but many of the others are subsumed by
reads(%r) - Procedure reads no region larger than %r writes(%r) - Procedure writes no region larger than %r *reduces(%r)* is a special case of *writes(%r)*. It indicates (approximately) that a non-borrowed pointer cell was overwritten.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
