From owner-svn-src-all@FreeBSD.ORG Tue Oct 9 22:10:18 2012 Return-Path: Delivered-To: svn-src-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id B6AFFAB0 for ; Tue, 9 Oct 2012 22:10:18 +0000 (UTC) (envelope-from lists@eitanadler.com) Received: from mail-pb0-f54.google.com (mail-pb0-f54.google.com [209.85.160.54]) by mx1.freebsd.org (Postfix) with ESMTP id 73EB08FC12 for ; Tue, 9 Oct 2012 22:10:18 +0000 (UTC) Received: by mail-pb0-f54.google.com with SMTP id rp8so6378442pbb.13 for ; Tue, 09 Oct 2012 15:10:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=eitanadler.com; s=0xdeadbeef; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=GitZfSfwvH+PayGcX1RCIshLQOVZs0IgF57NhrT1rPU=; b=i0a/Oi4BS1sS93Yizqb28wl/SwItFGs3K53OFXPRoJdbLt3jmPNCYCodLNYjcH6VZr YR/FH7939jf46s6lbDBaSmE9MfHNyD24KZ9Vzp/HFX0P6VeNFkqLmZTWK2QG1KInO8aK IvGK4q1jZ4hMgJIQ3sj3/3X6bcQUKyxj1ChmE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :x-gm-message-state; bh=GitZfSfwvH+PayGcX1RCIshLQOVZs0IgF57NhrT1rPU=; b=TAfo+cm1F+yLJWe8Y64maHMmIqir9IeivMq6YUgmT0SyQpx1CNc2QIOsKCHozkq4aN pNcI63+rhF8fSiQm4VD6WQsZeAtS40tSX2tEq49et6dlDxXQvPVWS3eUYfdXUkudAcuV fG8r+eIlDHyKqvcfMrhEEHNeR7+Yr4fGMB33htgeRNnCAWFwwyON6NrKvfzMNIrHGfaR 8oSeQy73/ZFfKy3UCZ80kFaxwnElx+qWwsMLvUrGuxoDircTHy6lNEpfa6DhVaKAbUO2 YcLO3dLtqPZjRllK87hCrYM2CZj++nKvkODFwA8pGTpKtYV7dIl5GKobAyEwSNal11mO MVkg== Received: by 10.66.81.202 with SMTP id c10mr56218578pay.31.1349820618205; Tue, 09 Oct 2012 15:10:18 -0700 (PDT) MIME-Version: 1.0 Sender: lists@eitanadler.com Received: by 10.66.161.163 with HTTP; Tue, 9 Oct 2012 15:09:47 -0700 (PDT) In-Reply-To: References: <201210091425.q99EPFS6020787@svn.freebsd.org> <507451DE.9060909@freebsd.org> <50746BF8.5010307@freebsd.org> <20121009212538.GA67848@troutmask.apl.washington.edu> From: Eitan Adler Date: Tue, 9 Oct 2012 18:09:47 -0400 X-Google-Sender-Auth: t-lgaH4aocFxIamnoFy32MfM6ek Message-ID: Subject: Re: svn commit: r241373 - head/lib/libc/stdlib To: Steve Kargl Content-Type: text/plain; charset=UTF-8 X-Gm-Message-State: ALoCoQmU7+wDjEtDWjv8sfZkOrPmReoHLfzjdE6ckyyfs8O9xHuhC7IUvlh+sWWofmcEGBltcCep Cc: svn-src-head@freebsd.org, theraven@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org, Andrey Chernov X-BeenThere: svn-src-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "SVN commit messages for the entire src tree \(except for " user" and " projects" \)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 09 Oct 2012 22:10:18 -0000 On 9 October 2012 18:06, Eitan Adler wrote: > On 9 October 2012 17:25, Steve Kargl wrote: > > ... yes, I was misreading the text. > >> Clang has no way of determining if 'a' is initialized or not. >> If David is correct that 'junk' is optimized out by clang/llvm, >> then it seems that clang violates footnote 116. Yes, I know >> it is non-normative text. > > Sorry if I was not clear: clang does *not* optimize away the volatile > version. I removed it for other reasons. For those interested in "volatile" you may also want to read: www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf -- Eitan Adler Source & Ports committer X11, Bugbusting teams