This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

c++/10648: template instantiation doesn't respect evaluation order of &&

From: notbob at tessellation dot com
To: gcc-gnats at gcc dot gnu dot org
Date: 6 May 2003 22:50:01 -0000
Subject: c++/10648: template instantiation doesn't respect evaluation order of &&
Reply-to: notbob at tessellation dot com

>Number:         10648
>Category:       c++
>Synopsis:       template instantiation doesn't respect evaluation order of &&
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue May 06 22:56:01 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Robert Allan Schwartz
>Release:        gcc version 3.2 20020927 (prerelease)
>Organization:
>Environment:
in bash via cygwin on windows 98 se
>Description:
I apologize in advance if I'm not reporting this "bug"
absolutely correctly. I haven't done this before. I
appreciate your patience. Thank you.

I believe my template should evaluate is_class<T>::value first, and if it returns false, should NOT evaluate
sizeof(is_empty_helper_class_1<T>) ==
sizeof(is_empty_helper_class_2<T>), but it seems to anyway.

Is this "pilot error" or a compiler bug?
>How-To-Repeat:
g++ is_empty.cpp
./a.exe
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="is_empty.cpp"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="is_empty.cpp"

dGVtcGxhdGUgPHR5cGVuYW1lIFQ+DQpjbGFzcyBpc19jbGFzcw0Kew0KcHVibGljOg0KCXN0YXRp
YyBjb25zdCBib29sIHZhbHVlID0gZmFsc2U7DQp9Ow0KDQp0ZW1wbGF0ZSA8dHlwZW5hbWUgVD4N
CmNsYXNzIGlzX2VtcHR5X2hlbHBlcl9jbGFzc18xIDogcHVibGljIFQNCnsNCglpbnQgdW51c2Vk
WzI1Nl07DQp9Ow0KDQp0ZW1wbGF0ZSA8dHlwZW5hbWUgVD4NCmNsYXNzIGlzX2VtcHR5X2hlbHBl
cl9jbGFzc18yDQp7DQoJaW50IHVudXNlZFsyNTZdOw0KfTsNCg0KdGVtcGxhdGUgPHR5cGVuYW1l
IFQ+DQpjbGFzcyBpc19lbXB0eQ0Kew0KcHVibGljOg0KCXN0YXRpYyBjb25zdCBib29sIHZhbHVl
ID0NCgkJKA0KCQkJaXNfY2xhc3M8VD46OnZhbHVlDQoJCSYmDQoJCQkoDQoJCQkJc2l6ZW9mKGlz
X2VtcHR5X2hlbHBlcl9jbGFzc18xPFQ+KQ0KCQkJPT0NCgkJCQlzaXplb2YoaXNfZW1wdHlfaGVs
cGVyX2NsYXNzXzI8VD4pDQoJCQkpDQoJCSk7DQp9Ow0KDQojaW5jbHVkZSA8aW9zdHJlYW0+DQoN
CmludCBtYWluKCkNCnsNCglzdGQ6OmNvdXQgPDwgImlzX2NsYXNzPGJvb2w+Ojp2YWx1ZSA9ICIg
PDwgaXNfY2xhc3M8Ym9vbD46OnZhbHVlIDw8IHN0ZDo6ZW5kbDsNCglzdGQ6OmNvdXQgPDwgImlz
X2VtcHR5PGJvb2w+Ojp2YWx1ZSA9ICIgPDwgaXNfZW1wdHk8Ym9vbD46OnZhbHVlIDw8IHN0ZDo6
ZW5kbDsNCg0KCXJldHVybiAwOw0KfQ0K

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]