From: vijay nag <vijunag@gmail.com>
To: Jonathan Wakely <jwakely.gcc@gmail.com>
Cc: "gcc-help@gcc.gnu.org" <gcc-help@gcc.gnu.org>
Subject: Re: Crazy compiler optimization
Date: Wed, 09 Oct 2013 10:02:00 -0000 [thread overview]
Message-ID: <CAKhyrx-A7pLK1OEiNDuMNJT75tErLBk0MHNnPxuxo=RyM7p=4g@mail.gmail.com> (raw)
In-Reply-To: <CAH6eHdTouwYdhn4H6OEZJy2CEirb9oxYejg5q_CtPQmwVo3YmQ@mail.gmail.com>
On Wed, Oct 9, 2013 at 3:24 PM, Jonathan Wakely <jwakely.gcc@gmail.com> wrote:
> On 9 October 2013 10:36, vijay nag wrote:
>> Hello GCC,
>>
>> I'm facing a wierd compiler optimization problem. Consider the code
>> snippet below
>>
>> #include <stdio.h>
>>
>> int printChar(unsigned long cur_col, unsigned char c)
>> {
>> char buf[256];
>> char* bufp = buf;
>> char cnt = sizeof(buf) - 2; /* overflow in implicit type conversion */
>> unsigned long terminal_width = 500;
>>
>> while ((cur_col++ < terminal_width) && cnt) {
>> *bufp++ = c;
>> cnt--;
>> }
>
>
>> Basically the crash here is because of elimination of the check in the
>> if-clause "&& cnt" which is causing stack overrun and thereby SIGSEGV.
>> While standards may say that the behaviour is
>> undefined when an unsigned value is stored in a signed value,
>
> Standards do not say that. 254 cannot be presented in a char if char
> is a signed type, so it's an overflow, which is undefined behaviour.
> Storing an unsigned value that doesn't overflow is OK.
>
>> can a
>> language lawyer explain to me why GCC chose to eliminate code
>> pertaining to cnt considering it as dead-code ?
>
> cnt is initialized to -2 (after an overflow) and then you decrement it
> so it gets more negative. The "&& cnt" condition will never be false,
> because cnt starts non-zero and gets further from zero, so will never
> reach zero.
Alright that is perfectly valid behaviour. Why does compiler consider
it to be a unsigned type at optimization level zero ? i.e. I see a
wrap around after
-128 to 128 ?
next prev parent reply other threads:[~2013-10-09 10:02 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-09 9:36 vijay nag
2013-10-09 9:54 ` Jonathan Wakely
2013-10-09 10:02 ` vijay nag [this message]
2013-10-09 10:16 ` Jonathan Wakely
2013-10-09 15:40 ` David Brown
2013-10-09 10:18 ` Nicholas Mc Guire
2013-10-09 17:48 ` Ian Lance Taylor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAKhyrx-A7pLK1OEiNDuMNJT75tErLBk0MHNnPxuxo=RyM7p=4g@mail.gmail.com' \
--to=vijunag@gmail.com \
--cc=gcc-help@gcc.gnu.org \
--cc=jwakely.gcc@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).