The key to the msp430 change is that I reviewed every pattern that used the predicates, and only changed the ones where the pattern was known to be volatile-safe. For the RL78, the devirtualizer may make a pattern non-volatile-safe, and many patterns are macros which are not always volatile-safe.
So, just changing the predicates is probably not enough. Did you review every pattern that used the changed predicates, to ensure that they're each volatile safe?
