<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<p style="color: #777777;">
<a href="https://gitlab.com/dueno">Daiki Ueno</a>
<a href="https://gitlab.com/gnutls/gnutls/-/merge_requests/1554#note_877936860">commented</a>:
</p>
<div class="md" style="">
<p dir="auto">One more thing I have to mention is that Guile is <a href="https://git.savannah.gnu.org/cgit/guile.git/commit/?id=00fbdfa7345765168e14438eed0b0b8c64c27ab9" rel="nofollow noreferrer noopener" target="_blank">overriding</a> the GMP allocators with a GC-capable ones and I remember there were some issues when the Guile binding of GnuTLS is used. I don't have a concrete idea on how to overcome such uses, but perhaps it might make sense to:</p>
<ul dir="auto">
<li>un-deprecate <code>gnutls_global_set_mem_functions</code>
</li>
<li>if the function is called and any of our allocators (<code>gnutls_malloc</code> etc) is overridden, treat it as an indication that the application wants to handle allocations by themselves, i.e., we do not install GMP allocators</li>
</ul>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/-/merge_requests/1554#note_877936860">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/-/sent_notifications/12f173da9bfb0c0e3e1708dda76a99d1/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Merge request","url":"https://gitlab.com/gnutls/gnutls/-/merge_requests/1554#note_877936860"}}</script>
</p>
</div>
</body>
</html>