This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [PATCH v2] Improve debugging for manual safety annotations
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Juan Manuel Torres Palma <j dot m dot torrespalma at gmail dot com>
- Cc: libc-alpha <libc-alpha at sourceware dot org>
- Date: Mon, 5 Oct 2015 11:23:38 +0000
- Subject: Re: [PATCH v2] Improve debugging for manual safety annotations
- Authentication-results: sourceware.org; auth=none
- References: <1441022209-5383-1-git-send-email-j dot m dot torrespalma at gmail dot com> <CAD82F-oMkvr_YpkR6KyJc-9-b0TW-TWY+_D7pGt7wvy7naMx+g at mail dot gmail dot com> <CAD82F-pHLBGXTkegF0VqhsOKRxaBZCwR-9Mgy0xSxo4wg4TMFg at mail dot gmail dot com>
I'd suggest that when pinging you might want to CC experts on the relevant
code (Alexandre Oliva in the case of anything related to safety
annotations).
--
Joseph S. Myers
joseph@codesourcery.com