Avoid certain undefined behavior
Avoid certain undefined behavior

Avoid adding offsets to NULL pointers, as this is technically undefined
behavior according to the C standard, and makes Clang's
undefined-behavior sanitizer unhappy.

dreal-deps/picosat,dreal-deps/picosat,dreal-deps/picosat