c++/3145: virtual inheritance still creates wrong code

[stefan at space dot twc dot de]

>Number:         3145
>Category:       c++
>Synopsis:       virtual inheritance still creates wrong code
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    unassigned
>State:          open
>Class:          wrong-code
>Submitter-Id:   net
>Arrival-Date:   Tue Jun 12 14:46:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     stefan@space.twc.de
>Release:        gcc version 3.0 20010612 (prerelease)
>Organization:
>Environment:

>Description:
aRts still doesn't work with gcc3 (segfault on start). So
I thought instead of generating testcases one by one all
the time, which always opens the possibility that some
cases work but others break, I wrote a testcase generator
for the set of testcases that is just a complex (partially
virtual) inheritance graph and segfaults on execution.

I found that with the current gcc3 a good share of the
generated testcases segfaults when compiled and executed,
whereas with gcc-2.95.2, none of these sefaults.
>How-To-Repeat:
make tcgen
for i in $(seq 1 1000)
do
  tcgen $i > t.cc ; g++ 2>/dev/null -O2 t.cc ; a.out || echo $i failed
done
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: text/x-c++src; name="tcgen.cc"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="tcgen.cc"

LyoKICogR2VuZXJhdGVzIHJhbmRvbWl6ZWQgdmlydHVhbCBpbmhlcml0YW5jZSB0ZXN0IGNhc2Vz
IGZvciBnY2MsIHJ1biB3aXRoCiAqIHNvbWV0aGluZyBzaGVsbCBzY3JpcHQgbGlrZQogKgogKiBm
b3IgaSBpbiAkKHNlcSAxIDEwMDApCiAqIGRvCiAqICAgdGNnZW4gJGkgPiB0LmNjIDsgZysrIDI+
L2Rldi9udWxsIC1PMiB0LmNjIDsgYS5vdXQgfHwgZWNobyAkaSBmYWlsZWQKICogZG9uZQogKgog
KiB0byBmaW5kIHRlc3RjYXNlcyB0aGF0IHNlZ2ZhdWx0LCB1c2UgdGNnZW4gNSB0byByZWNyZWF0
ZSB0aGUgY29kZSBmb3IgdGhlCiAqIDV0aCB0ZXN0Y2FzZS4KICovCgojaW5jbHVkZSA8dGltZS5o
PgojaW5jbHVkZSA8c3RkbGliLmg+CiNpbmNsdWRlIDxzdGRpby5oPgojaW5jbHVkZSA8bWFwPgoK
Y29uc3QgaW50IE1BWF9DTEFTU0VTID0gMTA7CgppbnQgbWFpbihpbnQgYXJnYywgY2hhciAqKmFy
Z3YpCnsKCWludCBpOwoJc3JhbmQoKGFyZ2M9PTIpP2F0b2koYXJndlsxXSk6MCk7Cglmb3IoaSA9
IDA7IGkgPCBNQVhfQ0xBU1NFUzsgaSsrKQoJewoJCXByaW50ZigiY2xhc3MgQyVkXG4iLCBpKTsK
CgkJc3RkOjptYXA8aW50LCBib29sPiB1c2VkOwoJCWlmKGkgPiAwKQoJCXsKCQkJZm9yKGludCBq
ID0gMDtqPDEwO2orKykKCQkJewoJCQkJaW50IHIgPSByYW5kKCkgJSBpOwoKCQkJCWlmKCF1c2Vk
W3JdKQoJCQkJewoJCQkJCWlmKGopIHByaW50ZigiICwgIik7IGVsc2UgcHJpbnRmKCIgOiAiKTsK
CQkJCQlpZihyYW5kKCklMikKCQkJCQkJcHJpbnRmKCIgdmlydHVhbCBwdWJsaWMgQyVkXG4iLHIp
OwoJCQkJCWVsc2UKCQkJCQkJcHJpbnRmKCIgcHVibGljIEMlZFxuIixyKTsKCQkJCQl1c2VkW3Jd
ID0gdHJ1ZTsKCQkJCX0KCQkJfQoJCX0KCQlwcmludGYoInt9O1xuIik7Cgl9CgoJcHJpbnRmKCJt
YWluKCkge1xuIik7Cglmb3IoaSA9IDA7IGkgPCBNQVhfQ0xBU1NFUzsgaSsrKQoJewoJCXByaW50
ZigiICBDJWQgYyVkO1xuIixpLGkpOwoJfQoJcHJpbnRmKCJ9XG4iKTsKfQo=