Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: A Level 2 query

In my opinion, as long as the syntax and semantics are made clear, so there is no confusion about when multiple occurrences of the same interval variable are dependent, I think any cset invariant simplification should be permitted by the standard. 

Cheers,

Bill


On 6/20/13 9:48 AM, fateman@xxxxxxxxxxxxxxxxx wrote:

Anyway, my question is still -- if the compiler works hard to come
up with a tighter enclosure (by doing SUE simplification, polynomial
root finding, etc) is that going to violate the standard, or is it
irrelevant to the standard being supra-library,  and nothing to
worry about:)