* [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