From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 90914 invoked by alias); 6 Feb 2018 20:08:54 -0000 Mailing-List: contact gcc-help-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-help-owner@gcc.gnu.org Received: (qmail 90860 invoked by uid 89); 6 Feb 2018 20:08:53 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=groupsgooglecom, groups.google.com, UD:groups.google.com, sk:groups. X-HELO: mail-it0-f41.google.com Received: from mail-it0-f41.google.com (HELO mail-it0-f41.google.com) (209.85.214.41) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 06 Feb 2018 20:08:51 +0000 Received: by mail-it0-f41.google.com with SMTP id c80so3885006itb.4 for ; Tue, 06 Feb 2018 12:08:50 -0800 (PST) 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=h3XgIm2PbZn3QuSSbRV9tKaNKg2osEGRNqmzfG6sbaA=; b=AqtXOGc92QhA4wvcdECIQ6DqP5/ybfDEgGadZjrx2c9eCxUNKS5OGE9i17RJmh7WRA q8M7MmWDq+0T02O3EBypTxIa88FTcNMtt22u5yKKqp4QQDHnNr/aJl1drkSl5XFE15T7 uoV1JO2hHbluMLU1fOTMKwVFbhRRM6fDquWJpRhkhN6M8RCEce8GXtH+vm0OQi6H7P0E uz2ttiQzBVBXhkrwQtSH+fgAEJhHkPw4118s/+0Gk2yV8p9ZVl346Dg8FnIuKfSZeKR5 zlD4OPVgDlxJ8ijwT1ytHl50FjLTn0c1vk0Qbd4BrYfP+uJyzPkXGBjGpqELyp42kJ7+ ZZuw== X-Gm-Message-State: APf1xPCflNV04rPXpMQNY52eLM/0d5Ug24+34peJquQG29mjO384Wr+l dmiPuIaQEJI7nGe5QvlykNr+ZMxnkYmv90rzAvLx X-Google-Smtp-Source: AH8x227Mrj/B/zVYLWUCIAT2H9YpssDy9ClIjRz6Vy9LNz27rfpfyHm4w+MvR2JLV55COf0VZTas3peIevRqUt29QdM= X-Received: by 10.36.53.210 with SMTP id k201mr4714549ita.59.1517947729111; Tue, 06 Feb 2018 12:08:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.3.17 with HTTP; Tue, 6 Feb 2018 12:08:48 -0800 (PST) In-Reply-To: <201802061943.w16JhN6m028195@nbd.it.uc3m.es> References: <201802061943.w16JhN6m028195@nbd.it.uc3m.es> From: Tadeus Prastowo Date: Tue, 06 Feb 2018 20:08:00 -0000 Message-ID: Subject: Re: signed/unsigned integer conversion for right shift seems To: Peter Breuer , Peter Breuer Cc: Jonathan Wakely , Liu Hao , gcc-help Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2018-02/txt/msg00040.txt.bz2 On Tue, Feb 6, 2018 at 8:43 PM, Peter T. Breuer wrote: > "Also sprach Jonathan Wakely:" >> >> On 6 February 2018 at 18:37, Tadeus Prastowo wrote: >> > @Peter Breuer: it seems that you are not very knowledgeable about the >> > internals of the C language. Hence, I would like to invite you to > > Amusing. Byt as the infamous author of a much used higher order > compiler compiler in C, a linear logic model checker for C, about 4 > different user-driven languages that I can recall written in C, ranging > from a persistent higher order lazy functional language to a decompiler > compiler, and a mathematical logician well known as a programming > languages semanticist who has given denotational, operational and > logical semantics to many programming, machine and specification > languages, etc etc etc, "I don't think so". You mean this http://dblp.uni-trier.de/pers/hd/b/Breuer:Peter_T= ? [...] >> And maybe find somewhere else to discuss it. "I don't understand the C >> standard" is not a GCC problem, so doesn't belong on this mailing > > Please desist from ad hominen attacks. Jonathan is not attacking you. This mailing list is specific to GCC problem, and what you are talking about is a language specification issue. I bet you know that you should not submit a paper to a conference whose topic is tangential to your paper. For C language specific issue, you should join comp.std.c to make a defect report as you can learn from https://groups.google.com/d/msg/comp.std.c/yIpg6gtdOoU/44GfW3-ib0YJ . [...] > I would be grateful if you do > manage to find somewhere in the spec that allows the conversion thang > not to be done for >>. You already identified it in the previous e-mail. The word "many". To quote ISO-IEC 9899:1999 Section 6.3.1.8 Paragraph 1: Many operators that expect operands of arithmetic type cause conversions and yield result types in a similar way. End quote. > I now don't know for sure what needs to be done here. Take this discussion to comp.std.c, please? > Regards > > PTB -- Best regards, Tadeus