> That doesn't really answer the question though. What's the correct > behaviour for an unspec volatile in a loop? I don't think it's what > we did in the example above, since it doesn't seem self-consistent. > And "not spending too much time" is again a bit vague in terms of > saying what's right and what's wrong.
"not spending too much time" is a polite way to say I don't really care. :-) If you do, feel free to post a formal definition, a implementation plan and maybe a patch at some point. -- Eric Botcazou
