[Eva] Base: fixes the possible offsets for the Null base without memory access.

When -absolute-valid-range is enabled, the Null base has a Known validity,
but a pointer can always points to Null+{0}.