public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/63381] New: Wrong constant folding
@ 2014-09-26  9:47 ishiura-compiler at ml dot kwansei.ac.jp
  2014-10-02 14:56 ` [Bug tree-optimization/63381] " mpolacek at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: ishiura-compiler at ml dot kwansei.ac.jp @ 2014-09-26  9:47 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

            Bug ID: 63381
           Summary: Wrong constant folding
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ishiura-compiler at ml dot kwansei.ac.jp

GCC 5.0.0 for x86_64 miscompiles the following code.

   $ cat test.c

    int a = 0, b = 0, c = 0, d, e;
    int
    main (void)
    {
        d = ((20 % (1 != b)) && c) + 2147483647;
        e = 20 % (a >= 0);
        return 0;
    }

   $ x86_64-unknown-linux-gnu-gcc-5.0.0 test.c -Os
   $ ./a.out
   Floating point exception (core dumped)

   $ x86_64-unknown-linux-gnu-gcc-5.0.0 -v
    Using built-in specs.
    COLLECT_GCC=x86_64-unknown-linux-gnu-gcc-5.0.0
    COLLECT_LTO_WRAPPER=/usr/local/x86_64-tools/gcc-
    5.0.0/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto-wrapper
    Target: x86_64-unknown-linux-gnu
    Configured with: /home/orange3/gcc-master/configure --
    prefix=/usr/local/x86_64-tools/gcc-5.0.0/ --with-gmp=/usr/local/gmp-
    5.1.1/ --with-mpfr=/usr/local/mpfr-3.1.2/ --with-mpc=/usr/local/mpc-
    1.0.1/ --disable-multilib --disable-nls --enable-languages=c
    Thread model: posix
    gcc version 5.0.0 20140922 (experimental) (GCC)


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/63381] Wrong constant folding
  2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
@ 2014-10-02 14:56 ` mpolacek at gcc dot gnu.org
  2014-10-02 15:00 ` [Bug tree-optimization/63381] [5 Regression] " mpolacek at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2014-10-02 14:56 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-10-02
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Works with -fno-tree-vrp.  Seems to have started with r211904.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/63381] [5 Regression] Wrong constant folding
  2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
  2014-10-02 14:56 ` [Bug tree-optimization/63381] " mpolacek at gcc dot gnu.org
@ 2014-10-02 15:00 ` mpolacek at gcc dot gnu.org
  2014-10-02 15:07 ` mpolacek at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2014-10-02 15:00 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Ugh, ignore Comment 1, that was for PR63380.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/63381] [5 Regression] Wrong constant folding
  2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
  2014-10-02 14:56 ` [Bug tree-optimization/63381] " mpolacek at gcc dot gnu.org
  2014-10-02 15:00 ` [Bug tree-optimization/63381] [5 Regression] " mpolacek at gcc dot gnu.org
@ 2014-10-02 15:07 ` mpolacek at gcc dot gnu.org
  2014-10-06 12:05 ` rguenth at gcc dot gnu.org
  2014-10-09  8:18 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2014-10-02 15:07 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Actually, Comment 1 applies here as well, so these two could be dups.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/63381] [5 Regression] Wrong constant folding
  2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
                   ` (2 preceding siblings ...)
  2014-10-02 15:07 ` mpolacek at gcc dot gnu.org
@ 2014-10-06 12:05 ` rguenth at gcc dot gnu.org
  2014-10-09  8:18 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-10-06 12:05 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/63381] [5 Regression] Wrong constant folding
  2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
                   ` (3 preceding siblings ...)
  2014-10-06 12:05 ` rguenth at gcc dot gnu.org
@ 2014-10-09  8:18 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-10-09  8:18 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63381

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Patch for 63380 fixes this as well.

*** This bug has been marked as a duplicate of bug 63380 ***


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2014-10-09  8:18 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-09-26  9:47 [Bug tree-optimization/63381] New: Wrong constant folding ishiura-compiler at ml dot kwansei.ac.jp
2014-10-02 14:56 ` [Bug tree-optimization/63381] " mpolacek at gcc dot gnu.org
2014-10-02 15:00 ` [Bug tree-optimization/63381] [5 Regression] " mpolacek at gcc dot gnu.org
2014-10-02 15:07 ` mpolacek at gcc dot gnu.org
2014-10-06 12:05 ` rguenth at gcc dot gnu.org
2014-10-09  8:18 ` rguenth at gcc dot gnu.org

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).