Depending on the function and address space nunnull is not implied by
dereferenceable. With this patch Value::getPointerDereferenceableBytes
will take into account that NULL might be a dereferenceable pointer.
This shows the problem and a solution but the TODO mentions how we
should actually go about it. See also D66618
This will also affect the following not yet patched tests: