1184    krb5_ctx = get_krb5_ctx(be_req);
At conditional (1): "krb5_ctx == NULL" taking the true branch.
Comparing "krb5_ctx" to null implies that "krb5_ctx" might be null.
 1185    if (krb5_ctx == NULL) {
At conditional (2): "1 <= debug_level" taking the true branch.
At conditional (3): "debug_timestamps" taking the true branch.
 1186        DEBUG(1, ("Kerberos context not available.\n"));
 1187    }
 1188
Passing null variable "krb5_ctx" to function "check_wait_queue", which dereferences it. [show details]
 1189    check_wait_queue(krb5_ctx, pd->user);