It's not a problem for DRCs, as RB mentioned. DRCs can handle all of these problems because when a RAM region corresponding to an existing translated block of code is modified, the translation is flushed (the block is marked 'untranslated', so to speak, and the next time the processor hits that point, it will be translated anew).