--- Comment #15 from pluto at agmk dot net 2007-05-01 08:58 ---
(In reply to comment #14)
typed_rep points to:
N4sigc8internal14typed_slot_repINS_12bind_functorILin1ENS_16pointer_functor1IPvS4_EEPl
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30252
--- Comment #16 from rguenth at gcc dot gnu dot org 2007-05-01 13:35
---
Created an attachment (id=13468)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13468action=view)
slightly simplified testcase
I don't see anything wrong with the testcase. I changed it to not take the
--- Comment #17 from rguenth at gcc dot gnu dot org 2007-05-01 14:00
---
Without -fstrict-aliasing we mark this_20-functor_ = D.2946; obviously
necessary
because it is is_hidden_global_store ():
;; Function sigc::slot0 A::bar() (_ZN1A3barEv)
-Marking useful stmt: this_20-functor_ =
--- Comment #10 from pluto at agmk dot net 2007-04-30 15:16 ---
i can reproduce testcase4 on [EMAIL PROTECTED]
$ g++ 30252.cpp -O1 -fstrict-aliasing -g3 ./a.out
zsh: segmentation fault ./a.out
(gdb) bt
#0 0x2adee263dbc0 in _rtld_local_ro () from /lib64/ld-linux-x86-64.so.2
#1
--- Comment #11 from pluto at agmk dot net 2007-04-30 15:29 ---
--- 30252.cpp.099t.optimized.aliasing-OFF
+++ 30252.cpp.099t.optimized.aliasing-ON
sigc::slot0 A::bar() (this)
{
(...)
+ void * (*T5b7) (void *) SR.114;
(...)
+ this-functor_.D.2915.functor_.functor_.func_ptr_ =
--- Comment #12 from bangerth at dealii dot org 2007-04-30 15:42 ---
(In reply to comment #10)
i can reproduce testcase4 on [EMAIL PROTECTED]
I still can't reproduce on i686, sorry. Someone else will
have to look at this and try to further reduce the sources...
W.
--
--- Comment #13 from giovannibajo at libero dot it 2007-05-01 02:11 ---
(In reply to comment #2)
Hmm,
typedef typed_slot_repT_functor typed_slot;
typed_slot *typed_rep = static_casttyped_slot*(rep);
return (typed_rep-functor_)();
This code could violate
--- Comment #14 from bangerth at math dot tamu dot edu 2007-05-01 02:39
---
Subject: Re: [4.2 regression] miscompilation
of sigc++-2.0 based code with -fstrict-aliasing
typedef typed_slot_repT_functor typed_slot;
typed_slot *typed_rep =
--- Comment #7 from pinskia at gcc dot gnu dot org 2007-04-29 08:01 ---
Can you try this again, I think this was related to PR 30567 which was just
fixed?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30252
--- Comment #8 from belyshev at depni dot sinp dot msu dot ru 2007-04-29
09:58 ---
Created an attachment (id=13461)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13461action=view)
self contained preprocessed testcase
(In reply to comment #7)
Can you try this again, I think this
--- Comment #9 from bangerth at dealii dot org 2007-04-30 03:25 ---
I can't reproduce this with neither r124272 nor r124284. What flags exactly do
you use?
W.
--
bangerth at dealii dot org changed:
What|Removed |Added
--- Comment #6 from mmitchel at gcc dot gnu dot org 2007-02-19 20:52
---
Before we can prioritize this problem, we need to establish that it doesn't
violate the aliasing rules. As Andrew says in Comment #2, this looks likely to
be a problem in the input program.
--
mmitchel at gcc
--- Comment #4 from rguenth at gcc dot gnu dot org 2006-12-27 16:18 ---
The patch referenced only could have uncovered a latent problem. mem-ssa might
simply have hidden it again.
The reduced testcase doesn't link for me btw:
/tmp/ccGXFf9y.o: In function `A::bar()':
--- Comment #5 from belyshev at depni dot sinp dot msu dot ru 2006-12-27
20:19 ---
(In reply to comment #4)
The reduced testcase doesn't link for me btw:
sorry, forgot to mention: both tests require -lsigc-2.0
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30252
--- Comment #3 from belyshev at depni dot sinp dot msu dot ru 2006-12-19
11:11 ---
This does not fail on mainline since mem-ssa merge (r119760).
--
belyshev at depni dot sinp dot msu dot ru changed:
What|Removed |Added
15 matches
Mail list logo