Yes they do, if they detect UB they consider the result poisoned and delete any code that depends on it.
Yes they do, if they detect UB they consider the result poisoned and delete any code that depends on it.