Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1424927AbWLCE3d (ORCPT ); Sat, 2 Dec 2006 23:29:33 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1424928AbWLCE3d (ORCPT ); Sat, 2 Dec 2006 23:29:33 -0500 Received: from mail1.webmaster.com ([216.152.64.169]:63245 "EHLO mail1.webmaster.com") by vger.kernel.org with ESMTP id S1424927AbWLCE3c (ORCPT ); Sat, 2 Dec 2006 23:29:32 -0500 From: "David Schwartz" To: "Linux-Kernel@Vger. Kernel. Org" Cc: Subject: RE: [patch 2.6.19-rc6] Stop gcc 4.1.0 optimizing wait_hpet_tick away Date: Sat, 2 Dec 2006 20:29:28 -0800 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.6604 (9.0.2911.0) In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962 Importance: Normal X-Authenticated-Sender: joelkatz@webmaster.com X-Spam-Processed: mail1.webmaster.com, Sat, 02 Dec 2006 21:32:41 -0800 (not processed: message from trusted or authenticated source) X-MDRemoteIP: 206.171.168.138 X-Return-Path: davids@webmaster.com X-MDaemon-Deliver-To: linux-kernel@vger.kernel.org Reply-To: davids@webmaster.com X-MDAV-Processed: mail1.webmaster.com, Sat, 02 Dec 2006 21:32:42 -0800 Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 870 Lines: 22 > > It comes down to just what those guarantees GCC provides actually are. > This is the first correct statement in your email. In any case the > documented GCC guarantees have always been much stronger than you > have been trying to persuade us they should be. I would argue that > the C standard somewhat indirectly specifies those guarantees but I > really don't have the heart for any more language-lawyering so I'm > going to leave it at that. I have tried to find any documentation of the guarantees gcc actually provides and have been unable to do so. Where are these "documented GCC guarantees" documented? DS - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/