Dereference after null check

Either the check against null is unnecessary, or there may be a null pointer dereference. Pointer is checked against null but then dereferenced anyway
/src/os_common/os_alloc.c:32: FORWARD_NULL 168171 Comparing "session" to null implies that "session" might be null.