From owner-svn-src-head@freebsd.org Fri Jan 19 04:54:57 2018 Return-Path: Delivered-To: svn-src-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 87D59EC24A4; Fri, 19 Jan 2018 04:54:57 +0000 (UTC) (envelope-from bjkfbsd@gmail.com) Received: from mail-ot0-x22a.google.com (mail-ot0-x22a.google.com [IPv6:2607:f8b0:4003:c0f::22a]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 493FE71B09; Fri, 19 Jan 2018 04:54:57 +0000 (UTC) (envelope-from bjkfbsd@gmail.com) Received: by mail-ot0-x22a.google.com with SMTP id f100so442069otf.3; Thu, 18 Jan 2018 20:54:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=FAM27n2yYwtR4fBPE45gOaoYEiA0yX4p7TDaZd9ArTM=; b=QlZa3/0HOzxl9qEgX+FymqqmeVqppm2oPb4hEr1UZTVPDyFaozhRP82RTAkem28ARW 5n1VDUJzFCvOwrKXQIBb+FQ4DMmHUlUE2E+YdNj2sLmYZbDni+lQ6pY5qSBS9xbLtTzn b9ZEM7LcrgU4jthr08GnqJ7RaasJXKCIDqDQmCc6FSLZS0XP1rpQLv5imDuaAsoiwtQh ivy9rTtpOYUJoleM93cXiBId90P7wL7yKAZEM7aI4U+/Fq8Mlfvaa1M30JsHsGg1pCcW pxpPYITeHrSTUB0F/kxtIWtZ24UK0vXuns72p0gV45c4DXLXMHsNuNpla3UhWF1X/yoK QXKw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=FAM27n2yYwtR4fBPE45gOaoYEiA0yX4p7TDaZd9ArTM=; b=tSLEymWEM6Q6pXiQdpX7coXRCCWE9zVrQdOXh2QRnWyVVAzM/T0SgMTQS7jqdUJMSz 22twloCxQz0fmKQmSnbhVmEVX22nmxCYw0oYKOfLS+hTdQ+VEW+ZDuBrdkNQVVjodN6w WSgyEUuRi0x/aFDB2fMp4yzMCKh7CN2oYSpGtCgRj6QBUvS63ohST7nCYClQX0to8Hr5 np94es6GjkzBE4fBDoUIPdWGkVy19mTTiCQZeYYeeLXN11LwdTa8mVvWsNUh3y1mQg8c 4/bqgxTiP7nnhTNW8ym63avxasEgfh9Ax4rxitUgfbIeLaDPYW7lka4FNT/5b9mdpQ2Z 5lQg== X-Gm-Message-State: AKwxytf5ALAyoxwdxSD65JA5gdBeO7CgVSNjBCzmqa6gfRPWQO+4Whcy hRn1Qg1uawPTKu6DLOYn02PDEbeMhqvxz1o4mlw= X-Google-Smtp-Source: ACJfBosuYqjI4g+Gn6W1PuUonjHNVuVvgUpdqUyk47pvGHe+o/iBCIIAVnSeJzRAhbDTYaED27dMf3rag9zIbjVP+js= X-Received: by 10.157.6.79 with SMTP id 73mr5042173otn.329.1516337696504; Thu, 18 Jan 2018 20:54:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.157.82.83 with HTTP; Thu, 18 Jan 2018 20:54:55 -0800 (PST) In-Reply-To: References: <201801190434.w0J4Y6i7086677@repo.freebsd.org> From: Benjamin Kaduk Date: Thu, 18 Jan 2018 22:54:55 -0600 Message-ID: Subject: Re: svn commit: r328159 - head/sys/modules To: "cem@FreeBSD.org" Cc: src-committers , svn-src-all@freebsd.org, svn-src-head@freebsd.org Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.25 X-BeenThere: svn-src-head@freebsd.org X-Mailman-Version: 2.1.25 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: Fri, 19 Jan 2018 04:54:57 -0000 On Thu, Jan 18, 2018 at 10:49 PM, Conrad Meyer wrote: > No. It is the only logical result of a logical right shift larger > than the left operand. The C standard may claim that is undefined, > but that does not change the only logical result (zero). > > My point is that the compiler does not arbitrarily decide that this behavior merits a warning; the compiler is thoroughly grounded in the C language specification to do so. The compiler does not adhere to our human standard of "logic"; it follows the language spec, warts and all. -Ben