On 27 Jul 2012, at 09:35, annulen at yandex.ru wrote: > if someone has checked the code and found it UB-free he could allow aggressive UB exploiting. Surely code that contains no undefined behaviour will gain no benefits from optimisations that exploit undefined behaviour? David