From owner-svn-src-head@FreeBSD.ORG Tue Oct 9 22:10:19 2012 Return-Path: Delivered-To: svn-src-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 2BE1FAB7 for ; Tue, 9 Oct 2012 22:10:19 +0000 (UTC) (envelope-from lists@eitanadler.com) Received: from mail-pa0-f54.google.com (mail-pa0-f54.google.com [209.85.220.54]) by mx1.freebsd.org (Postfix) with ESMTP id 9E48C8FC1A for ; Tue, 9 Oct 2012 22:10:18 +0000 (UTC) Received: by mail-pa0-f54.google.com with SMTP id bi1so6321818pad.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=XapMU5CUQPVWyEF8l9c4kOmGPUglG372W5Hw3H96QSNa5q/NRpmj8uzZXFhL1y+Y81 O73vCUqGGOcL9+uItm3z/FQMZ3rJRJIyKFNsvboKhEqr7hlBMhJFPAeGHscF9zEA1/h3 Fp7ZGDtjjcTAKp8RZ9MNpnzMH1vSxn4RLEGdOrFS6gM3vmnEfF72mzAS8bT6HyS9qGYJ ouzwwBF4SisDb42ap0pUto2daO5KlgzA4iTFNRCeYbB7SAkCJdTuSu9mwAcXMt+QUmKl 5wRPn34Gj/himgPh4HsHb+asn740V9uon6JMjaWdWYTxx27iPUE+YsCJKtxgvFBLG630 NQrA== 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: ALoCoQmKbnZI4Z21UyhE+KgTW/teR7QsGO2noonv9GG0OV8TUHCVZvPJNBeD3WLfcndYrLQf8nRX Cc: svn-src-head@freebsd.org, theraven@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org, Andrey Chernov X-BeenThere: svn-src-head@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the src tree for head/-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 09 Oct 2012 22:10:19 -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