On Feb 13, 2009, at 9:01 AM, Ben Laurie wrote: >> >> Methods like 'AddEQ' could then call >> 'CouldBeEq' first to determine if the condition is feasible and if >> it isn't >> return the special RangeSet for "no feasible value". > > Oh, I see. Hmmm. Not sure this would make for greater clarity, though.
Yeah, I don't think so either anymore, as I don't think CouldBeEQ is even needed. _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
