A Potential memory leak bug.

[y1lan]

I have identified a potential memory leak bug in the following code snippet from the repository:

pub fn new() -> Result<Self> {
        unsafe {
            let ctx_config = bindings::futhark_context_config_new();
            let ctx = bindings::futhark_context_new(ctx_config);

            let err = bindings::futhark_context_get_error(ctx);

            if err.is_null() {
                Ok(FutharkContext {
                    context: ctx,
                    config: ctx_config,
                })
            } else {
                Err(FutharkError::_new(err).into())
            }
        }
    }

My question is whether, when the variable err is null, the variables ctx_config and ctx might leak. I would greatly appreciate it if developers could help me verify this issue.

Thank you for your assistance, and I apologize for any inconvenience caused by my limited understanding of the entire C program.