You don't know that at all. For all you know there are programs which depend on the undefined behaviour (very unlikely, but then what do we know?).