Boost C++ Libraries: Ticket #852: Problem with Boost and GCC 4.1

nobody — Tue, 13 Mar 2007 16:12:00 GMT

Logged In: NO
For reference, this bug has been opened against Ubuntu: https://launchpad.net/ubuntu/+source/gcc-4.1/+bug/75724 and OpenSuse: https://bugzilla.novell.com/show_bug.cgi?id=228524
Dave.

cepstein — Tue, 13 Mar 2007 16:35:40 GMT

Logged In: YES
user_id=36183
Originator: NO
When you say "this doesn't happen", what *does* happen?  Different output?  A crash?  Please be more specific.
Also, what version of Boost are you using?  I believe there has been at least one bug-fix to the signals library since 1.33.0, though I'm not sure if it is related:
http://boost.cvs.sourceforge.net/boost/boost/boost/signals/signal_template.hpp?r1=1.17&r2=1.17.2.1
Your test works for me on Ubuntu 6.06-LTS with Boost CVS as/of 2006-08-11 and these versions of gcc:
  gcc version 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-13ubuntu5)
  gcc version 4.1.2
I don't think this is a gcc bug.

nobody — Tue, 13 Mar 2007 16:50:49 GMT

Logged In: NO
What actually happens is undefined - you get jibberish after deleting A. It should select the slot B, but that doesn't happen.
Second info: this has also been created against GCC: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31164

nobody — Tue, 13 Mar 2007 16:58:05 GMT

Logged In: NO
As I said in a previous comment, what happens is indeterminate. On one run, you get this: http://phpfi.com/215193
The Boost version is a 1.33 - the one which comes with Edgy. From http://packages.ubuntu.com/edgy/libs/ it looks to be 1.33.1.
Dave.

ficuz — Tue, 13 Mar 2007 17:05:24 GMT

Logged In: YES
user_id=344328
Originator: NO
I have this bug with Ubuntu/Edgy:
   boost 1.33.1-7ubuntu1
and
   gcc (GCC) 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-13ubuntu5)
Ludovico

gladiac — Tue, 13 Mar 2007 17:12:22 GMT

Logged In: YES
user_id=880725
Originator: NO
The problem exists here with boost-1.33.1 and gcc (GCC) 4.1.2 20061115 (prerelease) (SUSE Linux)
Output:
-----------------
Starting program: /home/gladiac/workspace/tmp/testcase/a.out
create A
fire SGN
A
create B
fire SGN
A
B
delete A
fire SGN
A1ï¿½ï¿½`ï¿½`È±`Aï¿½`ï¿½`APï¿½`ï¿½`ï¿½uï¿½ï¿½*pï¿½`pï¿½`!PLï¿½ï¿½ï¿½*Pï¿½`1B!PLï¿½ï¿½ï¿½*ï¿½`1 ï¿½`pï¿½`ï¿½ï¿½`10ï¿½`0ï¿½`È²`!Ð´`0ï¿½`Aï¿½`Xï¿½`Pï¿½`ï¿½ï¿½`ï¿½`1d@ï¿½I@ï¿½`ï¿½:@!ï¿½ @ï¿½`APï¿½`ï¿½ï¿½`ï¿½uï¿½ï¿½*0ï¿½`0ï¿½`1ï¿½ï¿½`1 ï¿½`pï¿½`ï¿½`1!0ï¿½`AXï¿½`ï¿½ï¿½`ï¿½`ï¿½`@ï¿½`1d@ï¿½I@pï¿½`ï¿½:@!ï¿½ @0ï¿½`ï¿½
Program exited normally.

tzlaine — Tue, 13 Mar 2007 20:51:49 GMT

Logged In: YES
user_id=729903
Originator: NO
I have verified this with gcc 4.1.0 (SuSE Linux), compiled and linked against Boost 1.33.1, then Boost 1.34 from a couple of moths ago.  It fails for both versions of Boost.  If I add "A = new Test("C", mySgn); B = new Test("D", mySgn);" right before "std::cerr << "fire SGN" << std::endl;", it segfaults nearly every time for me on the last mySgn() call.

bk12 — Wed, 14 Mar 2007 23:23:10 GMT

Logged In: YES
user_id=116622
Originator: NO
Here is an even simpler test case: when build with gcc 4.0 it outputs "Success", with gcc 4.1 it will output "Failure".
----
#include <iostream>
#include <boost/signal.hpp>
#include <boost/bind.hpp>
#include <stdlib.h>
class SomeObject : public boost::signals::trackable {
public:
	void function() {
		std::cerr << "Failure\n";
		exit(1);
	}
};
int main() {
	SomeObject* obj = new SomeObject;
	boost::signal<void ()> signal;
	signal.connect(boost::bind(&SomeObject::function, obj));
	delete obj;
	signal();
	std::cerr << "Success\n";
	return 0;
}
----

owner, status changed; severity set

Marshall Clow — Thu, 12 Jul 2007 15:16:46 GMT

owner changed from Douglas Gregor to doug_gregor
status assigned → new
severity → Showstopper

Assigned to "doug_gregor" instead of nonexistent user "dgregor"

anonymous — Mon, 16 Jul 2007 21:05:53 GMT

What's the status of this bug? Is it fixed in 1.34?

attachment set

Daryle Walker — Mon, 27 Aug 2007 22:48:43 GMT

attachment → test-gcc-boost.cc

Sample file copied from the SourceForge version of this ticket

component changed

Daryle Walker — Mon, 27 Aug 2007 22:50:14 GMT

component None → signals

owner, description changed

Douglas Gregor — Tue, 29 Apr 2008 18:29:36 GMT

owner changed from doug_gregor to Douglas Gregor
description modified (diff)

anonymous — Fri, 13 Feb 2009 15:35:32 GMT

Sorry for being impatient, but are there any news or any help needed? I'm using openSUSE-11.1

boost-1.36.0 gcc (SUSE Linux) 4.3.2 [gcc-4_3-branch revision 141291]

The bug is still there. E.g the button_click.cpp example in svn fails printing two time 'OK!'.

cc set

Mon, 16 Feb 2009 17:24:59 GMT

cc ma@… added

In case someone is listening: Is this really a linux/gcc problem? I'm asking because I don't see how/where the test could happen. (boost-1.36.0)

Looking at the slot ctor, neither get_inspectable_slot() nor the detail::bound_objects_visitor (trackable.hpp) seem to handle the case of a bound pointer to to member function.

If I'd add a few more decode() overloads to class bound_objects_visitor, I could catch those cases:

      template<class R, class T, class LT>
      void decode(const _bi::bind_t<R,_mfi::cmf0<R,T>, _bi::list1<LT> > & t, int) const
      {;}
      template<class R, class T, class A1, class LT, class L1>
      void decode(const _bi::bind_t<R,_mfi::cmf1<R,T,A1>, _bi::list2<LT,L1> > & t, int) const
      {;}
      ...

But I can't extract the 1st arg of the bind_t internal list in order to check whether it's a pointer of reference to a trackable seems to be a private member of bind_t).

May it be it's not a compiler problem, but simply not implemented?

status, resolution changed

Daniel James — Wed, 13 May 2009 07:47:35 GMT

status new → closed
resolution None → fixed

I tried this on Ubuntu and it seems to have been fixed in 1.34.0. The output below shows it failing on 1.33.1 and passing on 1.34.0

daniel@bah:~$ ./boost_1_33_1/bin.v2/libs/signals/example/gcc-4.1/debug/test-gcc-boost
create A
fire SGN
A
create B
fire SGN
A
B
delete A
fire SGN
A??R    ?R      ??R     !(?R    H?R     BR      !(?R    ??R     ~T?`?R  `?R      ??P?R  ??R     ??R     D?R     ??R     <?R     ??R     X?R     ?R      ??R    !??R     ??R     P?R     p?R     ?R      ???R    ?^?R    !(?R    x?R     ~T?8?R  8?R      ??(?R  ??R     ??R     <?R     ??R     !??R    ??R     (?R     H?R    ?
daniel@bah:~$ ./boost_1_34_0/bin.v2/libs/signals/example/gcc-4.1/debug/test-gcc-boost
create A
fire SGN
A
create B
fire SGN
A
B
delete A
fire SGN
B
delete B
fire SGN
exit