This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Safety annotations for unsafe-by-fiat functions
- From: Florian Weimer <fweimer at redhat dot com>
- To: GNU C Library <libc-alpha at sourceware dot org>
- Date: Fri, 15 May 2015 15:09:26 +0200
- Subject: Safety annotations for unsafe-by-fiat functions
- Authentication-results: sourceware.org; auth=none
In some cases, we have functions which have safety properties as an
accident of implementation, but we might want to reserve the right to
turn them into into unsafe functions later. Is there a way to express
this in the annotations?
--
Florian Weimer / Red Hat Product Security