public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
@ 2015-02-10 13:12 ` mpolacek at gcc dot gnu.org
  2015-02-10 13:44 ` larsbj at gullik dot net
                   ` (10 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2015-02-10 13:12 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Lars Gullik Bjønnes from comment #0)
> I can provide pre-processed source if wanted.

Yes, please.
>From gcc-bugs-return-476653-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Feb 10 13:16:43 2015
Return-Path: <gcc-bugs-return-476653-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 21501 invoked by alias); 10 Feb 2015 13:16:43 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 21445 invoked by uid 48); 10 Feb 2015 13:16:40 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/64992] More optimize opportunity
Date: Tue, 10 Feb 2015 13:16:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-64992-4-wWBOjRiomS@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64992-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64992-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg00986.txt.bz2
Content-length: 735

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd992

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Well, b is not volatile.

The difference is that 2U * (1 == c) we expand during gimplification as
if (1 == c)
  iftmp = 2;
else
  iftmp = 0;
while b * (1 == c) is expanded as multiplication of the EQ_EXPR result and
nothing at the tree level changes that afterwards.  Perhaps something for
match.pd, though not sure if such an transformation is always a win.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
  2015-02-10 13:12 ` [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072 mpolacek at gcc dot gnu.org
@ 2015-02-10 13:44 ` larsbj at gullik dot net
  2015-02-10 13:55 ` trippels at gcc dot gnu.org
                   ` (9 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: larsbj at gullik dot net @ 2015-02-10 13:44 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Lars Gullik Bjønnes <larsbj at gullik dot net> ---
Created attachment 34711
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34711&action=edit
preprocessed source for test code in #1
>From gcc-bugs-return-476667-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Feb 10 13:47:42 2015
Return-Path: <gcc-bugs-return-476667-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 22638 invoked by alias); 10 Feb 2015 13:47:42 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 22519 invoked by uid 48); 10 Feb 2015 13:47:38 -0000
From: "larsbj at gullik dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
Date: Tue, 10 Feb 2015 13:47:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: larsbj at gullik dot net
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65000-4-Szdv6Gm6XC@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65000-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65000-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg01000.txt.bz2
Content-length: 667

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

--- Comment #3 from Lars Gullik Bjønnes <larsbj at gullik dot net> ---
This is a different code snippet to get what seems to be the same error:

---------------
#include <ostream>

int f(unsigned int datalen);

class Streambuf : public std::basic_streambuf<char> {
private:
    virtual int sync()
    {
        f(this->pptr() - this->pbase());
        return 0;
    }
};


class Stream : public std::basic_ostream<char> {
public:
    ~Stream()
    {
        buf_.pubsync();
    }
private:
    Streambuf buf_;
};

void test()
{
    Stream cs;
}
---------------

I'll add preprocessed source for that as well.
>From gcc-bugs-return-476668-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Feb 10 13:48:48 2015
Return-Path: <gcc-bugs-return-476668-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26698 invoked by alias); 10 Feb 2015 13:48:48 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 26602 invoked by uid 48); 10 Feb 2015 13:48:44 -0000
From: "larsbj at gullik dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
Date: Tue, 10 Feb 2015 13:48:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: larsbj at gullik dot net
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-65000-4-3t73uqbOJm@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65000-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65000-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg01001.txt.bz2
Content-length: 273

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

--- Comment #4 from Lars Gullik Bjønnes <larsbj at gullik dot net> ---
Created attachment 34712
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34712&action=edit
preprocesed source for second code snippet
>From gcc-bugs-return-476669-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Feb 10 13:49:42 2015
Return-Path: <gcc-bugs-return-476669-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 2048 invoked by alias); 10 Feb 2015 13:49:41 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 1959 invoked by uid 48); 10 Feb 2015 13:49:38 -0000
From: "doko at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/65002] New: [4.9 Regression] ICE: Segmentation fault
Date: Tue, 10 Feb 2015 13:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: doko at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-65002-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg01002.txt.bz2
Content-length: 1123

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide002

            Bug ID: 65002
           Summary: [4.9 Regression] ICE: Segmentation fault
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

seen with trunk 20150210 on x86_64-linux-gnu

$ g++ -c -O2 IFCCurve.ii
IFCCurve.ii: In member function 'virtual int B::m_fn1(float) const':
IFCCurve.ii:22:1: internal compiler error: Segmentation fault
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.

$ cat IFCCurve.ii
namespace fastmath {
template <typename T> float floor(const T &) __attribute__((const));
template <typename T> float floor(const T &p1) { return p1; }
}
using fastmath::floor;
class A {
public:
  A(int, int);
  virtual int m_fn1(float) const;
};
class B : A {
public:
  B(int, int p2) : A(entity, p2) {}
  int m_fn1(float p1) const { long b(floor(p1)); }
  int entity;
};

int a;
void Convert() {
  if (int *c = 0)
    B(*c, a);
}


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
  2015-02-10 13:12 ` [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072 mpolacek at gcc dot gnu.org
  2015-02-10 13:44 ` larsbj at gullik dot net
@ 2015-02-10 13:55 ` trippels at gcc dot gnu.org
  2015-02-10 14:05 ` jakub at gcc dot gnu.org
                   ` (8 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: trippels at gcc dot gnu.org @ 2015-02-10 13:55 UTC (permalink / raw)
  To: gcc-bugs

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |trippels at gcc dot gnu.org

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
class basic_streambuf
{
public:
  virtual ~basic_streambuf () {}
  void m_fn1 ();
};

class basic_ios
{
public:
  virtual ~basic_ios ();
};
class A : public virtual basic_ios
{
};
class Stream : A
{
public:
  ~Stream () { buf_.m_fn1 (); }
  basic_streambuf buf_;
};

void
fn1 ()
{
  Stream a;
}


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (2 preceding siblings ...)
  2015-02-10 13:55 ` trippels at gcc dot gnu.org
@ 2015-02-10 14:05 ` jakub at gcc dot gnu.org
  2015-02-10 14:10 ` larsbj at gullik dot net
                   ` (7 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-02-10 14:05 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r219695.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (3 preceding siblings ...)
  2015-02-10 14:05 ` jakub at gcc dot gnu.org
@ 2015-02-10 14:10 ` larsbj at gullik dot net
  2015-02-10 14:17 ` mpolacek at gcc dot gnu.org
                   ` (6 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: larsbj at gullik dot net @ 2015-02-10 14:10 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #7 from Lars Gullik Bjønnes <larsbj at gullik dot net> ---
Note that my last tests is done with the proposed fix for
bug 64984 applied.
>From gcc-bugs-return-476677-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Feb 10 14:10:55 2015
Return-Path: <gcc-bugs-return-476677-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 22684 invoked by alias); 10 Feb 2015 14:10:54 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 22502 invoked by uid 48); 10 Feb 2015 14:10:51 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/65002] [5 Regression] ICE: Segmentation fault
Date: Tue, 10 Feb 2015 14:10:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-65002-4-tVTEd4n0ZI@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65002-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65002-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg01010.txt.bz2
Content-length: 459

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide002

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rearnsha at gcc dot gnu.org

--- Comment #4 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
*** Bug 64597 has been marked as a duplicate of this bug. ***


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (4 preceding siblings ...)
  2015-02-10 14:10 ` larsbj at gullik dot net
@ 2015-02-10 14:17 ` mpolacek at gcc dot gnu.org
  2015-02-10 16:18 ` jakub at gcc dot gnu.org
                   ` (5 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2015-02-10 14:17 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-10
     Ever confirmed|0                           |1

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Note that if I remove the IFN_UBSAN_NULL case or the IFN_UBSAN_OBJECT_SIZE case
in call_may_clobber_ref_p_1, the ICE disappears.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (5 preceding siblings ...)
  2015-02-10 14:17 ` mpolacek at gcc dot gnu.org
@ 2015-02-10 16:18 ` jakub at gcc dot gnu.org
  2015-02-10 17:53 ` rth at gcc dot gnu.org
                   ` (4 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-02-10 16:18 UTC (permalink / raw)
  To: gcc-bugs

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu.org

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
So, what seems to happen is that we have at the end of ehcleanup2:
After removal of unreachable regions:
Eh tree:
   1 cleanup land:{5,<L29>},{4,<L30>}
     7 must_not_throw
     2 cleanup land:{3,<L24>}
       3 cleanup land:{2,<L20>}
         4 cleanup land:{1,<L19>}
...
<L19>:
  MEM[(struct basic_streambuf *)this_3(D) + 8B]._vptr.basic_streambuf =
&MEM[(void *)&_ZTV15basic_streambuf + 16B];
  resx 4

<L20>:
...
Then resx lowering pass lowers this into:
...
<L19>:
  MEM[(struct basic_streambuf *)this_3(D) + 8B]._vptr.basic_streambuf =
&MEM[(void *)&_ZTV15basic_streambuf + 16B];
  __builtin_eh_copy_values (3, 4);

<L20>:
...
and finally remove_unreachable_handlers called during optimize pass removes the
EH 3 region (supposedly because the EH 4 cleanup now falls thru into the L20
landing pad?).  And during expansion we ICE when trying to expand the
__builtin_eh_copy_values call, as the region 3 has been removed as unreachable.
So, shall remove_unreachable_handlers consider __builtin_eh_copy_values as
uses, something else?  Richard, any ideas?


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (6 preceding siblings ...)
  2015-02-10 16:18 ` jakub at gcc dot gnu.org
@ 2015-02-10 17:53 ` rth at gcc dot gnu.org
  2015-02-11  8:45 ` jakub at gcc dot gnu.org
                   ` (3 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: rth at gcc dot gnu.org @ 2015-02-10 17:53 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Henderson <rth at gcc dot gnu.org> changed:

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

--- Comment #10 from Richard Henderson <rth at gcc dot gnu.org> ---
Created attachment 34715
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34715&action=edit
proposed patch

Yes, marking the regions of __builtin_eh_copy_values sounds reasonable
(and yes, it does fix the ICE here).

I think it would be valuable to know what's different about ubsan that
we haven't seen this same ICE with plain C++.  I may spend a little bit
of time trying to reverse-engineer such a test case while this patch
goes through normal regression testing.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (7 preceding siblings ...)
  2015-02-10 17:53 ` rth at gcc dot gnu.org
@ 2015-02-11  8:45 ` jakub at gcc dot gnu.org
  2015-02-11 17:05 ` rth at gcc dot gnu.org
                   ` (2 subsequent siblings)
  11 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-02-11  8:45 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The patch (without the unrelated? c-typeck.c bits) passed bootstrap/regtest on
{x86_64,i686,ppc64,ppc64le,s390,s390x,aarch64}-linux.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (8 preceding siblings ...)
  2015-02-11  8:45 ` jakub at gcc dot gnu.org
@ 2015-02-11 17:05 ` rth at gcc dot gnu.org
  2015-02-11 17:26 ` rth at gcc dot gnu.org
  2015-02-12 21:31 ` jakub at gcc dot gnu.org
  11 siblings, 0 replies; 12+ messages in thread
From: rth at gcc dot gnu.org @ 2015-02-11 17:05 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #12 from Richard Henderson <rth at gcc dot gnu.org> ---
Author: rth
Date: Wed Feb 11 17:04:38 2015
New Revision: 220626

URL: https://gcc.gnu.org/viewcvs?rev=220626&root=gcc&view=rev
Log:
PR sanitize/65000

 * tree-eh.c (mark_reachable_handlers): Mark source and destination
 regions of __builtin_eh_copy_values.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-eh.c


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (9 preceding siblings ...)
  2015-02-11 17:05 ` rth at gcc dot gnu.org
@ 2015-02-11 17:26 ` rth at gcc dot gnu.org
  2015-02-12 21:31 ` jakub at gcc dot gnu.org
  11 siblings, 0 replies; 12+ messages in thread
From: rth at gcc dot gnu.org @ 2015-02-11 17:26 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Henderson <rth at gcc dot gnu.org> changed:

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

--- Comment #13 from Richard Henderson <rth at gcc dot gnu.org> ---
Fixed.  Though I still owe a regression test.


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

* [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072
       [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
                   ` (10 preceding siblings ...)
  2015-02-11 17:26 ` rth at gcc dot gnu.org
@ 2015-02-12 21:31 ` jakub at gcc dot gnu.org
  11 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-02-12 21:31 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Feb 12 21:30:56 2015
New Revision: 220663

URL: https://gcc.gnu.org/viewcvs?rev=220663&root=gcc&view=rev
Log:
    PR sanitizer/65000
    * g++.dg/ubsan/pr65000.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ubsan/pr65000.C
Modified:
    trunk/gcc/testsuite/ChangeLog


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

end of thread, other threads:[~2015-02-12 21:31 UTC | newest]

Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-65000-4@http.gcc.gnu.org/bugzilla/>
2015-02-10 13:12 ` [Bug sanitizer/65000] ICE in in expand_builtin_eh_common, at except.c:2072 mpolacek at gcc dot gnu.org
2015-02-10 13:44 ` larsbj at gullik dot net
2015-02-10 13:55 ` trippels at gcc dot gnu.org
2015-02-10 14:05 ` jakub at gcc dot gnu.org
2015-02-10 14:10 ` larsbj at gullik dot net
2015-02-10 14:17 ` mpolacek at gcc dot gnu.org
2015-02-10 16:18 ` jakub at gcc dot gnu.org
2015-02-10 17:53 ` rth at gcc dot gnu.org
2015-02-11  8:45 ` jakub at gcc dot gnu.org
2015-02-11 17:05 ` rth at gcc dot gnu.org
2015-02-11 17:26 ` rth at gcc dot gnu.org
2015-02-12 21:31 ` jakub 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).