Re: c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL

Re: c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL

[lerdsuwa]

The following reply was made to PR c++/4453; it has been noted by GNATS.

From: lerdsuwa@gcc.gnu.org
To: Sylvain.Pion@sophia.inria.fr, gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org,
  gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org
Cc:  
Subject: Re: c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL
Date: 17 Nov 2001 07:36:31 -0000

 Synopsis: ICE (Tree check) when instantiating template containing HUGE_VAL
 
 State-Changed-From-To: open->analyzed
 State-Changed-By: lerdsuwa
 State-Changed-When: Fri Nov 16 23:36:31 2001
 State-Changed-Why:
     Confirmed.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4453&database=gcc

Re: c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL

[nathan]

Synopsis: ICE (Tree check) when instantiating template containing HUGE_VAL

State-Changed-From-To: analyzed->closed
State-Changed-By: nathan
State-Changed-When: Wed Jan  2 06:34:32 2002
State-Changed-Why:
    This is the same as 5132, and confirmed fixed by reporter

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4453

Re: c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL

[lerdsuwa]

Synopsis: ICE (Tree check) when instantiating template containing HUGE_VAL

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Fri Nov 16 23:36:31 2001
State-Changed-Why:
    Confirmed.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&pr=4453&database=gcc

c++/4453: ICE (Tree check) when instantiating template containing HUGE_VAL

[Sylvain.Pion]

>Number:         4453
>Category:       c++
>Synopsis:       ICE (Tree check) when instantiating template containing HUGE_VAL
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Wed Oct 03 02:46:05 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Sylvain.Pion@sophia.inria.fr
>Release:        gcc version 3.1 20011001 (experimental)
>Organization:
>Environment:
Reading specs from ./../lib/gcc-lib/i686-pc-linux-gnu/3.1/specs
Configured with: /u/zosma/0/prisme/spion/gcc/gcc_trunc/configure --enable-languages=c++ --disable-shared --prefix=/u/zosma/0/prisme/spion/gcc/Linux_3.1
It's GNU/Linux based on RedHat 6.1, glibc 2.1.3.
>Description:
I get the following ICE :

../../bug_HUGE_VAL.C: In constructor `A<P>::A()':
../../bug_HUGE_VAL.C:6: Tree check: expected integer_cst, have minus_expr in
   process_init_constructor, at cp/typeck2.c:680
>How-To-Repeat:
Compile the following (preprocessed in attachment) :

#include <cmath>

template <class P>
struct A {
  double d;
  A() { d = HUGE_VAL; }
};

int main() {
  A<int> a();
  return 0;
}
>Fix:
GCC 3.0 works fine.
It also works fine when A is not a template.
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/x-compressed; name="bug_HUGE_VAL.ii.gz"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="bug_HUGE_VAL.ii.gz"

H4sICGHcujsAA2J1Z19IVUdFX1ZBTC5paQDtXftv20YS/l1/BS/FFUrzsuTmUdvxIU3d1kDOCZo2
6N3hQFAUJbOgKFUiXSlp/vfb2SWpfczsg3IPh16Cora433w7OzP7nBX9WTSK7kzqefz9T99dxO9e
vHr48s7gM3h4NqnzosrL8/ZzulwsknIaFXmZtQ9RyVd5WW/j44ejR3mZFvU0ezS/d+/BzfGjdJFU
13cY5JgBvzxyI48dhJO82jzaVNOY4x923MdPg4Rc1eRPnj15sEofFAB4MC9rwZHeu5cuy1k+lyr+
8kCanqosN/E0mzHHbDyN4MXTKPOo3qw7+VmWVPVarmf8+MiCwTg2O9ZqVo9CYqtoLDBPnwVWBO3a
VPVErujpV86Kjp8darmG5/GB0QA0/QKiyBfsx2HBYKjisIzZscbunk72RsVHavce6y7ci2bbKluX
0Z2Xd6IPg8EAoeIVXtfzLL5JCrXnopzcByRRmZQShx6fKgdBASAWOpbm6bDjQbVbZexDVCzLeTRd
1pMii2bFMqni6nSAloofUMwcQplX+OvJMWleSxPSpCikgHus29MEdt5qVEzS5SYaNh/ieHv3NFIB
cWxCBjrJJi9dJAbEIKkSJ4kBwUjGEmR3P3IyWvADnd9tLaex3LZymsptKcRQHcnNMp+CFpqmXcu/
4BoonxlUqoUTcFAwxUD8M4x67bbqtdOsLhITghjWRWJCzAYlHi1CMFi3ctK4G5V4tArBYJ7KtisH
kYFASUZHbhodo9Oslr85aRCMqc9srSl9P8rLCmKWPV+WWVkhzD5CRk3FFBWyVuQhY9aznDsMYyAw
Dqd5EYzBs1hOZ9QYka+qNULrFkGDajFyB5WOQZvtinEEg/FM3DQTpMsZ7Rq7mzV2a+NiMSHoWM16
FOoaNnXi/Y9GG9ybX9eVawg3IKaK17vVsgpQ0oHHJqyJU1ETgk99WV64mAyIOYIlE3XRwUf0ap1P
6iqL42g4hBm03FRxfBcby4LEzdqL5XLtaASCMXlYvw9wmx0u21qMlzmbKeVhhe1E6sy3qYKCbTXz
KgvmUFgOVqO3EobBmSIlrBOb+WS9Xq4DIyeYwdBhus4WAU63w80mbvJ5mc/yFM7QXItDAokuWFc7
wJOahFnxMDpEP+6TBhOl18kaZs4qmU8CFevJg/W9UtmQeIas0m36MKgN+qVbqyBtlQt1uZFNbkTL
iZ7RuhIT1hEaw86m8Y7WeGfTeEdrvHNqbCDQbcJ6ZqlfKTUlU7toSsoW82SxSCzSOkDf/LnkdQDS
chcFxmAs1jgo7qbLbmcBYwQrW5FNs8qgda0BZh8YTYg53rCPyYw9uaUB8UA+TL1q+Vuy1tYL8lFd
PyUPZkU8ki2SvJxa2o64yC2DTI1pUkwIgRKbIO14ogJtUhPTAUlPobW5gN5cNdON19aK11iUiPcc
WtplkOk4S9aTnbunETgkRpa1cz2DYEyial2XqQIK6wOB8tgAlC1+rZdU3HbDGMPgce8trA5/ncsK
egSU3IqgFKY9nYtPJsVYURVpdys6Ih6nlHQwqlr6RNJsmoes4+1wZGuYbIO2hjY4wp7Ta2+M3QY3
1r6zVVokm00+2xnL10EE/0J2oDCdT/KqH5NpVLrrdL+/x+3rJwmJLVuO77Po2fi/nPfiGTt+Qs9W
oeKDEv/tIxMx0CjERt5GYSB0iipxURgIhGIsIZgDHHQ0eqBxO23kMpHTQi4DOe2DmAfLc8mYtsld
jqr7aMlyhRCoM01nymunLa9dxnRQmAjTnA4KE2E0JXG3BYEgncdF4mxO4m4PAkG8k21XdhoDgFGM
jpwkOkQj4ekqOwkCMXThuSk1YsmEVovxkdHr4akpU8ZWjYeIUctybjeJAUAYXGZFIDoLZKWIYUDN
Y7UIpwAWRIuRM4h0CNZcRzwjEIRl4iSZIF1Lb9HY2aCxUxMHh4nAxmDWdTB3KIs8qZuRWJ0XclKO
gdlAGMrxJJS3enY0Mv1MXCqaCHQay/LCwWMgjNEpmairBuuy1RingqSNuiENZW8AAjFYRILaz1VW
MHZSzpZEEr53liqYw8xSHaJGbyV0Y4sU06xHlqqtOZxB1wGyTt4Ot4KN5klpJ9fijgBii02RT6K0
CLLeQWSmbsIT/XNTbcV9ebAeVyqbiJ65qb6dRQj90i0+zKbKZZrUyCI1IqWavtB4ERHVAar8zqLr
jtR1Z9F1R+q6c+lqALDl/XpG160UGnKpVTClJEU6hpbVy7VtmkNaLzdb7CDA5PVFl8BARok/sCSh
tEbZRLCa4BDUPvSZCGNUyZqE0a0MeYexIaqJNJHK1iv5JGt4MKnpiTaN5D3XuSXMCQ8yKDi8RGY9
Kxon16YqI5mjcFNgbYSnd0NSxsk1LzfJI8Rldh3tIuYU26aR7L2KgJlRAcf/jg5qQgwanirqv+4P
FEeGGZ4rIuIUzzNJUe4rqg5wapYJt6GeZdLMKKO0LJOFz8gykc7RskweOiK+ppR0MJpZJtfB1jT3
X4dbweaWLtkGbOksYJM5J9fOCLMFbKxc95klY/HZO7PUj8kwJtlZ2l/fo2b1EYOkEfVlKZFT+or+
qtofk1OSp104+y6ioToT65HfFVDoAUrNNuUB1AQap66SEGoCTVKPDfROX6xYK/OTH6D1B/kjxB1B
3ghxRpAvSFdgeTATqZqxS2lpDy2ZscMokfly77brIL+haMpxAdQUmnJdADWFJkyShNmEhJODSwh5
kFmSMLuQcDJasu3Kn54A09SjoyByHI6S83SePzkJJ3TnWT2sh5L5QBXpL4/Xz9N9lLy7em9xovbl
3N+0BJhkDnEbCcfZIWPgMayqWUcVHURBB/5iFBT4OJw2YUCfJeEk+ySIHEVbRhtzRWIzDIomNQ/g
ptD0vMqGEFdgKFsTYwDyksbrhjxowMRLoImG8ZzoAU3zlyeXLJOQ5lFoy5Ioy4sAfgJNzBTJBFv5
Wjd+xJzRg4nQCVKx/g0m4QQ7GyMPCBdvcSzjxHb5hmzvTG9PJjPfe7hKByqEO0rkb4seGWBVi3Ae
XB9I8B4QON7ihDmkRHDIJsYqRG/CRPLXR98eHrk1ekp/4e/+2WZVib5s2AhQItv2npnnw7qtLPqL
tkilDGHiULaRJ5uBQ9manqtEBkmJgzHenWebTRzK5tlmE4eyhbSZANNb5vXMT1cESPCl3oQGEl0K
84SyHyeORY9oAlhxLGXRAGKaF98UCDyk1qXHlpw8ahy3OK0BJJH8pxsKTYzSWZNv/4OmmdvjJ9UX
yfg/UP9bqoDybpvHP2BdE8ZBLW54vttJUJLrHG95mwLogsTI0SM12wW1udt1RiHdLAhZszVXBkgj
+LTDR5xacrXXCvxHC6sIFbGQLg4YkCg4Qc+vG9zOfrgXFTkM86sIHj0Mv9Fg9Ng+ZMgk0d1xcHpE
uumAukPG7qn9uOUK6BpQ1b2iSb4BEaS8F7uqfWC8wmWHQw4zfMWpo5Rke9BRiqc4VTuWWw2o3VPc
2MXt718QW7DetzAO4SMc5NXN1QfvLQ7rRwf3L470N1erlzdGI/pNuJKpmjUrZzSuakgSZb1gVvvA
Lfftm/jqxdX9Qfvh8urby6vLHy/2T/558cPr/ae3P3199fqHv794tX8kPsPHj1D1+PgJWXX7QmCu
AigQX15cXMTR8+jB6D58fPvu8puY//bz6zcXV+LXN6/fXv4sfr18+/plPPgYxa8uv47fXfzw9vL1
VfzjP95cKLODUao84Uo+pu/DbNjslIpcWpqtqnxZAnVrMDA0NOOUfxIHHmWyaD43jk3W85H+YKw8
WGcVi99TYTQl4EGRbM22JaYeIr2Y3o2q6zW8RZAHz/iZ42rP/pXXRT55NE/h/doT5F3b8kux+d0i
+U3Q9gD98ojW4WPzoufg13U/CXvH9/EA3LBZJSlb71VTFl7gtCpbrIqkys7AZwCI4h9X5/A/OGsD
WcjfZOshe3I/qkvoQ9kUHAEDByU/gDiAvz8AnwZiABJkyWQzFORbMTSJqInA4TWEZryNzkBqeDf6
W/QAPp7AQxEcHwd7Zu4C9hEY9xcAIQ73XM2fRhDfABuK+VPmEMHWkEhTJs2CkEgjVsOkz8A0XbHn
Q1qWLuWm7TlOTvibBiRZLl5vclavKDwd0BoCrbGy1MgLlRxRjlVGKQeJAVI59tOmHNBalYNbUU7l
qoRUDr7+TyrHCm3KAa1VObhZ5aPceIhcVDS5xqApQ+iMsr5jh8LjoWOORaotsGrNlkC6kDAz/04n
ZWYotGjNaW068jSlTq7rtnQPC2onkvTj/YfSDuk9JL21f8NdK8p88DIE0nys0GY+oLWaD+54deRs
9hqF/hkWoynZdkW0BEo2VVLlaZwmm+pM6HTOq+8M07aMgS0NAypbu+DijyMqZr1mi1Y9KKADY3aL
Qz/PSxMW5WVkcPBSixEFs82MIifuGsUgl01800nmgktFQw4Q2ylzDAOITV+ox32AqdVZYHUijVgr
gcvPLL7gK8qVSsnfdNFyQilm+bU9fEVl2FEfWWWBVok0hN96Q9+QoZCKV2ngpPuGcJSlIaIy4swS
rdK/Hcs5EfXwxg4q5lmZTV3GaYt3uMXninZ+G4/WbHRk0210ZNeOMTv0Gx05NeQdTe+PEFj8vp7M
x98x0jqkuRAI08Bx8IZi30rgtDSSK2frxKSiBaboM9tf78IVJfcpyE6FbXji66xYiV2PHNwlsWcp
2Z7lqHkYsX0L7F9Gdx9pOyjgedCRwL8TfZMl2gon5c12x3Q0Q7rHXXgXiX3YZQiLw6CSoEEXLvnh
FdrVl+wqzZOyBzqT4Ds34DNHodxJmFt3cWj7++raNl3dMeErA3XrtHeX2DUR2mJ7JpLeuu6AG/rE
MMdfrUWNclBoCSdOaxvj+DcDHGs3uNvpth+8Ngc1ICuwWBC4PU0IV0xtNqT3nratp33n6dp4+uw7
4QsStGK0b6HQrprdt/yLGQp5q+L+QCqO52Udp9stP/W0DtZVM0qnyQr+HKB0ot6M1jOp9uEmf58t
+Vs/2OPnz6P2M7cDHDFpX4nkuJOIEhNN1OU6Me18H562cRjUpnwjbkX2bVH7Ip2Q1jR/ImLfkvZe
5gGt4INZrya0LxMKaEHzVzK6BrT3Uw/Qv2Tdrq/+7dtmAvRv/nZCp397ebC//sv1IimwJvwPdAwQ
79IjvRrYZL56umj/7eWAtnUv0+0atk+/HeCo+Tpj4Ha9ORvdb07gZ+Nmxdk1DPZQVVZu8mUJmbwP
DARVLGdxDAqM4I7ANnoeiQ+nWvEYindN8ZgV/8VByO8c1EJgq9Pxi0M3ohAWfZLVa8+gqlXD155B
VaNBVe+D6sVV9PvvskI3ngrdqArdeCp0gyp0IyvEIoN9/Pxz7qBz8AN/4g6YLmKwkMl+rfc93Iib
T4Hzpwuc5wdHTpFtNljEfAqWP1uwnN1KrHwaYv7PouZ2hhjXmuZT4PyZAmfYjTegI/w4i5o9f/8w
qtkGZsrWONPbCqLaHkQ3UhB98rvT7+BWOJB//PRJ76tIwSc/1vMe/FiIQfy3ZZazF+yAJpAbPxEx
zkwCWfFzCuMkI5SVOj3AjhiCuOmNO7K5D9TaMu3gLegEBFj0/uD67IskW8WNZL/a3Wt5c+Xfv6Ye
jZTE+tfrfTxCrkH61e2ef9CaJTG13o8D4xJme87ejYMnJ/uh6xQrbsceopCNH0RJCSkGvIR3YrSw
6YaEYGNfeyl3PwEBJ1mKXKL2+js/nDYpB+2+LzZRiUmqStP2bu/x4wAR85KtNdL027HdVduIpxLl
67aRkX0WMFj3QgL6r9GYz+RwX3Z0Omgwv13nBT/UL6Pz8+fRaJ96/tD9FjWLa/g/5OGbu7biXz4T
0oz+rvQ46mre6TIf27q7jrFrs9mwVnjyuM9dZ+sFaY5tkePozqSex9//9N1F/O7Fq4cvWcFg0Pog
OuNdK3pz3l5jf8Et0aSupqDpiyGMnlOxFFSWlMO6hFvmH/aO4ffbmff+9ezfp/v81xRWRxEsQNMT
9uPovvHfdsb//3QWfWTQh0xEjA/MceKOe16CFqDNGXtwHiVDfiegsekRBPR/AOMXMY8TjgAA