GitLab

       REQUIRE(handlep != NULL && *handlep == NULL);
 858
 859        handle = isc_mem_get(mctx, sizeof(*handle));
    	4. Condition handle == NULL, taking true branch.
    	5. var_compare_op: Comparing handle to null implies that handle might be null.
 860        if (handle == NULL)
    	6. Condition result != 0, taking true branch.
    	7. Jumping to label cleanup.
 861                CHECK(ISC_R_NOMEMORY);
...
897 cleanup:
    	8. Condition result != 0, taking true branch.
    	
CID 286432 (#1 of 1): Dereference after null check (FORWARD_NULL)
9. var_deref_op: Dereferencing null pointer handle.
 898        if (result != ISC_R_SUCCESS && handle->reader != NULL) {
 899                fstrm_reader_destroy(&handle->reader);
 900                handle->reader = NULL;
 901        }