> Full testing still underway, but I expect it to pass. Can you also update the comment before the function, please? It now reads:
/* Read dependence: X is read after read in MEM takes place. There can only be a dependence here if both reads are volatile. */ But that's no longer true after your patch. Ciao! Steven