Re: Review: improve adjust_varying (issue204046)

Larry Gritz <l...@...>

On Feb 5, 2010, at 8:04 PM, <solomo...@...> <solomo...@...> wrote:
src/liboslexec/exec.cpp:704: varying_assignment |= !
running_top_level() suggests that you can't be inside any conditional
(as does the comment above). Of course the real logic is that you can't
have "diverged". Why not express it in terms of has_not_diverged()?
Yeah, I suppose that's more clear. Chris? Anybody else? Opinions?
File src/liboslexec/opcontrol.cpp (right):
src/liboslexec/opcontrol.cpp:172: // From here on, varying condition or
Like the if clause above, it seems that we should be checking to see
whether or not the condition is actually identical for all values. That
would mean that it isn't really "varying", we just didn't notice... The
same thing holds for dowhile below.
I'll put in a FIXME for now.

Larry Gritz

Join to automatically receive all group messages.