A memory safety issue exists in OCaml versions before 4.14.5 involving ephemerons whose keys are closures with the Infix_tag. During garbage collection, the ephemeron's data can be freed while still referenced, leading to a use-after-free condition. This flaw was fixed in OCaml 4.14.5.