Make Value::isDereferenceablePointer() handle unreachable code blocks. (This