So the pointer isn't null, it's uninitialized, and the conditional
protecting its use is true iff it's initialized. Same problem.
No, because of the common idiom (especially for lists) of testing a
pointer for being null and then dereferencing it if not. You can do the
load unconditionally in that case.