From mboxrd@z Thu Jan 1 00:00:00 1970 From: Torvald Riegel Subject: Re: Differences between man-pages and libc manual safety markings Date: Fri, 24 Oct 2014 14:14:37 +0200 Message-ID: <1414152877.18538.28.camel@triegel.csb> References: <544118FA.3070003@gmail.com> <54461F16.2080705@cn.fujitsu.com> <1414056576.8483.79.camel@triegel.csb> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: Sender: linux-man-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: Alexandre Oliva Cc: Peng Haitao , Carlos O'Donell , "Michael Kerrisk (man-pages)" , "linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org" List-Id: linux-man@vger.kernel.org On Fri, 2014-10-24 at 09:48 -0200, Alexandre Oliva wrote: > Given this more detailed explanation of the conditions that apply and > that IMHO make it perfectly safe, do you still see any concrete error > situation here? Oh, and I forgot to highlight the race detection issue again. Unnecessarily introducing false positives with race detectors doesn't sound useful to me... -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html