Eric Botcazou <ebotca...@adacore.com> writes: >> 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.
Well, I still reckon unspec_volatile and volatile asm should be volatile in the same way. There should be no implicit magic clobbers. Thanks, Richard
