Are there any techniques to detect undefined behaviour? [on hold]

I mean are there any techniques to make the compiler to report some errors if the program does not behave in a predictable way according to the C++11 standard?

I prefer to use gcc compiler.