Added PinInRange() utility and used it to fix bug caught in Debugger.cpp by clang++