>Number:         8164
>Category:       c++
>Synopsis:       internal error: segmentation fault
>Confidential:   no
>Severity:       serious
>Priority:       low
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Oct 07 10:16:01 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Claudius Schnörr
>Release:        gcc version 3.2 20020818 (prerelease)
>Organization:
>Environment:
@PC169/.../testThreads$ gcc -v
Reading specs from /bin/../lib/gcc-lib/i686-pc-cygwin/3.2/specs
Configured with: /netrel/src/gcc-3.2-1/configure --enable-languages=c,c++,f77,ja
va --enable-libgcj --enable-threads=posix --with-system-zlib --enable-nls --with
out-included-gettext --enable-interpreter --disable-sjlj-exceptions --disable-ve
rsion-specific-runtime-libs --enable-shared --build=i686-pc-linux --host=i686-pc
-cygwin --target=i686-pc-cygwin --enable-haifa --prefix=/usr --exec-prefix=/usr
--sysconfdir=/etc --libdir=/usr/lib --includedir=/nonexistent/include --libexecd
ir=/usr/sbin
Thread model: posix
gcc version 3.2 20020818 (prerelease)
>Description:
g++ bug2.cc -o bug2 -Wall
bug2.cc: In member function `void Test<Rank>::dat_embrace(Test<LowRank>&)':
bug2.cc:32: internal error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.

in method dat_embrace, the template-rank-parameters are 
checked by a compile-time assert.
It works well for Rank, but fails for LowRank
>How-To-Repeat:

>Fix:
Prove template parameter LowRank at runtime rather than at compile-time
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="bug2.cc"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="bug2.cc"

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCgp0ZW1wbGF0ZSA8Ym9v
bCBiPiBzdHJ1Y3QgU1RBVElDX0FTU0VSVElPTl9GQUlMVVJFOwp0ZW1wbGF0ZSA8PiBzdHJ1Y3Qg
U1RBVElDX0FTU0VSVElPTl9GQUlMVVJFPHRydWU+e307Cgp0ZW1wbGF0ZSA8aW50IHg+IHN0cnVj
dCBzdGF0aWNfYXNzZXJ0X3Rlc3R7fTsKCiNkZWZpbmUgVE9QX1NUQVRJQ19BU1NFUlQoIGNvbmQg
KSBcCiAgICB0eXBlZGVmIHN0YXRpY19hc3NlcnRfdGVzdDwgXAogICAgICAgIHNpemVvZiggU1RB
VElDX0FTU0VSVElPTl9GQUlMVVJFPCAoYm9vbCkoY29uZCkgPiApIFwKICAgID4gVG9wU3RhdGlj
QXNzZXJ0RXJyb3I7CgoKdGVtcGxhdGUgPHNob3J0IFJhbms+CmNsYXNzIFRlc3QgewpwdWJsaWM6
CiAgICBUZXN0KCkge30KCiAgICBUZXN0PFJhbms+ICYgdGVzdGZrdCgpOwpwcml2YXRlOgogICAg
dGVtcGxhdGUgPHNob3J0IExvd1Jhbms+CiAgICBpbmxpbmUgdm9pZCBkYXRfZW1icmFjZSggVGVz
dDxMb3dSYW5rPiAmIGRhZCApOwp9OwoKdGVtcGxhdGUgPHNob3J0IFJhbms+IHRlbXBsYXRlIDxz
aG9ydCBMb3dSYW5rPgp2b2lkIFRlc3Q8UmFuaz46OmRhdF9lbWJyYWNlKCBUZXN0PExvd1Jhbms+
ICYgdHR0ICkgewogICAgY29uc3Qgc2hvcnQgTWF4UmFuayA9IDI7CiAgICBUT1BfU1RBVElDX0FT
U0VSVCggUmFuayA8PSBNYXhSYW5rICk7CiAgICBUT1BfU1RBVElDX0FTU0VSVCggTG93UmFuayA8
PSBNYXhSYW5rICk7Cn0KCmludCBtYWluICgpIHsKICAgIFRlc3Q8Mj4gdHR0MiA9IFRlc3Q8Mj4o
KTsKICAgIFRlc3Q8MT4gdHR0MSA9IFRlc3Q8MT4oKTsKICAgIHR0dDIuZGF0X2VtYnJhY2UoIHR0
dDEgKTsKfQo=