Code generation bug in C++ 5.0

Question

The enclosed test program generates incorrect code
with C++ 5.0 when -g is not used.
The problem showed up in our production code
and concerns any reference counted smart pointer
implementation.
The test program is specifically written to demonstrate
the problem and diagnose a reference miscount.
With any optimization at all (without -g, and/or with
any level of -O including no -O) it generates
incorrect results. With -g the results are correct.
gcc compiles this correctly with any optimizations
selected.
// main.cc
// test program to demonstrate code generation bug in
// Sun WorkShop Compilers C++ 5.0
// bug exhibited as of 27th April 2001
// relevant patches applied:
// 107289-05 Packages: SPROcc
// 107390-12 Packages: SPROtl7x, SPROsclx, SPROtll7x, SPROcplx, SPROlgcx
// 107311-12 Packages: SPROscl, SPROtll7, SPROtlbn7, SPROcpl, SPROgc, SPROlgc
// 107357-11 Packages: SPROlang
// correct behaviour with CC -g:
// CC -g main.cc -o main; ./main
// incorrect behaviour with CC (no -g):
// CC main.cc -o main; ./main
#include <stdio.h>
class O {
public:
inline O() : m_refCount(0) { };
inline void ref() { m_refCount++; }
inline void deref() { m_refCount--; }
inline int refCount() { return(m_refCount); }
private:
int m_refCount;
class R {
public:
inline R() : m_object(0) { };
inline R(const R &r) : m_object(r.m_object) { if (m_object) m_object->ref(); }
inline R(O *o) : m_object(o) { if (o) o->ref(); };
inline ~R() { if (m_object) m_object->deref(); }
inline R &operator =(const R &r) {
if (this == &r) return(*this);
O *o = m_object;
if (m_object = r.m_object) m_object->ref();
if (o) o->deref();
return(*this);
inline R &operator =(O *n) {
if (m_object == n) return(*this);
O *o = m_object;
if (m_object = n) n->ref();
if (o) o->deref();
return(*this);
inline operator O *() const { return(m_object); }
inline O *operator ->() const { return(m_object); }
private:
O *m_object;
class B {
public:
inline B(const R &r) : m_ref(r) { };
inline const R &ref() { return(m_ref); }
private:
R m_ref;
R buggy(int notnull, B &b)
return(notnull ? b.ref() : 0); // BUG HERE
int main()
O o;
R r(&o);
B b(r);
int i;
for (i = 0; i < 20; i++) {
R s;
s = buggy(!0, b);
printf("refCount: %d (should be 2)\n", o.refCount());

Answer 1

How do I file a bug report for this and get
a bug ID assigned?