diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-22 15:19:24 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-22 15:19:24 +0200 |
| commit | c067b7932b051750b033732708b16a33b1e3cb4a (patch) | |
| tree | f858596c83304850b5a1e2a225e51af9403fcdd2 /byterun/caml/int64_native.h | |
| parent | 43ed00706bdc80fe311d6b8102696dacaa4b54d1 (diff) | |
| download | ocaml-MPR7609.tar.gz | |
MPR#7609: use-after-free with ocamldebug and Pervasives.flush_all (alternative solution)MPR7609
Rather than play with refcounts as in commits 796c796 and 43ed007, this commit adds a flag CHANNEL_FLAG_MANAGED_BY_GC that governs whether the struct channel can be destroyed by GC finalization.
Internal channels opened by the runtime system for its own purposes do not have this flag and will never be finalized, even if they end up in the Caml heap as a consequence of Pervasives.flush_all.
Diffstat (limited to 'byterun/caml/int64_native.h')
0 files changed, 0 insertions, 0 deletions