* gcc 4.7 still finds problems of both classes.

* With this an optimizing compiler can prove some comparison outcomes
  without undefined behaviour from signed overflow.

* This is only a temporary solution.
* Protect diagnostic pragmas for GCC versions not implementing them.