This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
Re: signed/unsigned integer conversion for right shift seems
- From: Tadeus Prastowo <tadeus dot prastowo at unitn dot it>
- To: Peter Breuer <ptb at inv dot it dot uc3m dot es>, Peter Breuer <Peter dot T dot Breuer at gmail dot com>
- Cc: Jonathan Wakely <jwakely dot gcc at gmail dot com>, Liu Hao <lh_mouse at 126 dot com>, gcc-help <gcc-help at gcc dot gnu dot org>
- Date: Tue, 6 Feb 2018 21:08:48 +0100
- Subject: Re: signed/unsigned integer conversion for right shift seems
- Authentication-results: sourceware.org; auth=none
- References: <CAH6eHdReC3g7SsOjq4Pp9Cr1grYwCwWesOmMCpcNPej9pheY4Q@mail.gmail.com> <201802061943.w16JhN6m028195@nbd.it.uc3m.es>
On Tue, Feb 6, 2018 at 8:43 PM, Peter T. Breuer <ptb@inv.it.uc3m.es> 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