* Null pointer (0000:0000) compared against itself and against non-null. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected