On Wed, Mar 30, 2005 at 10:58:39AM -0700, Jeffrey A Law wrote: > Whatever scheme we use to explicitly expose context sensitive > equivalences in the IL needs to be a pure expression. > Well, that's the fundamental mechanism behind ASSERT_EXPRs and VRP. Remember more details about the problem? You're being pretty vague.
> And, yes, it is imperative that we const/copy propagate into > ASSERT_EXPRs to the fullest extent possible. Otherwise we lose a lot > of threading opportunities. > ASSERT_EXPRs are regular expressions, so this is not a problem. Thanks. Diego.