Florian Weimer wrote:
-fcheck-pointer-bounds in GCC doesn't really work.
I agree that -fcheck-pointer-bounds is not suitable for production code. However, I am not as skeptical about its utility. I found a real bug in GNU Emacs with it, a bug that was not found with other checkers. So I view it as a sometimes-useful (if often-flawed) tool.