public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/34950] New: ICE in svn boost math toolkit
@ 2008-01-24 4:02 inform at tiker dot net
2008-01-24 4:03 ` [Bug c++/34950] " inform at tiker dot net
` (27 more replies)
0 siblings, 28 replies; 29+ messages in thread
From: inform at tiker dot net @ 2008-01-24 4:02 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2059 bytes --]
The attached preprocessed source causes the following ICE:
---------------------------------------------------------------------
/home/andreas/pool/include/boost-1_35/boost/math/policies/policy.hpp: In
instantiation of âboost::math::policies::precision<double, Policy>â:
/home/andreas/pool/include/boost-1_35/boost/math/special_functions/math_fwd.hpp:544:
instantiated from âboost::math::detail::bessel_traits<int, double,
Policy>â
src/wrapper/wrap_special_function.cpp:107: instantiated from here
/home/andreas/pool/include/boost-1_35/boost/math/policies/policy.hpp:734:
internal compiler error: in dependent_type_p, at cp/pt.c:12855
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
---------------------------------------------------------------------
gcc -v:
---------------------------------------------------------------------
Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/include/c++/4.2 --program-suffix=-4.2
--enable-clocale=gnu --enable-libstdcxx-debug --enable-mpfr
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 4.2.3 20071123 (prerelease) (Debian 4.2.2-4)
---------------------------------------------------------------------
--
Summary: ICE in svn boost math toolkit
Product: gcc
Version: 4.2.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: inform at tiker dot net
GCC build triplet: x86_64-linux-gnu
GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
@ 2008-01-24 4:03 ` inform at tiker dot net
2008-01-24 11:04 ` rguenth at gcc dot gnu dot org
` (26 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: inform at tiker dot net @ 2008-01-24 4:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from inform at tiker dot net 2008-01-24 01:27 -------
Created an attachment (id=15012)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15012&action=view)
ICE'ing preprocessed source
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
2008-01-24 4:03 ` [Bug c++/34950] " inform at tiker dot net
@ 2008-01-24 11:04 ` rguenth at gcc dot gnu dot org
2008-01-24 11:26 ` rguenth at gcc dot gnu dot org
` (25 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-24 11:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2008-01-24 10:56 -------
Created an attachment (id=15015)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15015&action=view)
unincluded testcase
I think this is somehow an invalid testcase as I cannot find a single compiler
to build it without errors ;)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
2008-01-24 4:03 ` [Bug c++/34950] " inform at tiker dot net
2008-01-24 11:04 ` rguenth at gcc dot gnu dot org
@ 2008-01-24 11:26 ` rguenth at gcc dot gnu dot org
2008-01-24 11:30 ` pinskia at gcc dot gnu dot org
` (24 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-24 11:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from rguenth at gcc dot gnu dot org 2008-01-24 11:03 -------
reducing anyway
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (2 preceding siblings ...)
2008-01-24 11:26 ` rguenth at gcc dot gnu dot org
@ 2008-01-24 11:30 ` pinskia at gcc dot gnu dot org
2008-01-24 15:59 ` [Bug c++/34950] [4.2/4.3 Regression] " rguenth at gcc dot gnu dot org
` (23 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-01-24 11:30 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from pinskia at gcc dot gnu dot org 2008-01-24 11:03 -------
I had to use -fpermissive to get no errors. I am reducing too.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (3 preceding siblings ...)
2008-01-24 11:30 ` pinskia at gcc dot gnu dot org
@ 2008-01-24 15:59 ` rguenth at gcc dot gnu dot org
2008-01-24 19:43 ` pinskia at gcc dot gnu dot org
` (22 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-24 15:59 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2008-01-24 15:52 -------
Reduced (invalid?) testcase:
template <class Real, class Policy> struct precision {
typedef typename Policy::precision_type precision_type;
};
template <class T1, class T2, class Policy>
struct bessel_traits {
typedef T1 result_type;
typedef typename precision<result_type, Policy>::type precision_type;
};
template <class Fn>
void
def(char const* name, Fn fn);
template <class T1, class T2, class Policy>
typename bessel_traits<T1, T2, Policy>::result_type
cyl_bessel_j(T1 v, T2 x, const Policy& pol);
void hedge_expose_polynomial()
{
def("cyl_bessel_j", cyl_bessel_j<int, double>);
}
EDG says
ice.1.min.cpp(20): error: no instance of function template "def" matches the
argument list
argument types are: (const char [13], <unknown-type>)
def("cyl_bessel_j", cyl_bessel_j<int, double>);
^
compilation aborted for ice.1.min.cpp (code 2)
4.1 errors with
ice.1.min.cpp: In instantiation of 'precision<int, Policy>':
ice.1.min.cpp:7: instantiated from 'bessel_traits<int, double, Policy>'
ice.1.min.cpp:20: instantiated from here
ice.1.min.cpp:2: error: no type named 'precision_type' in 'Policy'
ice.1.min.cpp: In instantiation of 'bessel_traits<int, double, Policy>':
ice.1.min.cpp:20: instantiated from here
ice.1.min.cpp:7: error: no type named 'type' in 'struct precision<int, Policy>'
ice.1.min.cpp: In function 'void hedge_expose_polynomial()':
ice.1.min.cpp:20: error: no matching function for call to 'def(const char [13],
<unresolved overloaded function type>)'
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |ice-on-invalid-code
Known to fail| |4.2.3 4.3.0
Last reconfirmed|0000-00-00 00:00:00 |2008-01-24 15:52:12
date| |
Summary|ICE in svn boost math |[4.2/4.3 Regression] ICE in
|toolkit |svn boost math toolkit
Target Milestone|--- |4.2.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (4 preceding siblings ...)
2008-01-24 15:59 ` [Bug c++/34950] [4.2/4.3 Regression] " rguenth at gcc dot gnu dot org
@ 2008-01-24 19:43 ` pinskia at gcc dot gnu dot org
2008-01-24 21:29 ` inform at tiker dot net
` (21 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-01-24 19:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from pinskia at gcc dot gnu dot org 2008-01-24 19:04 -------
This code is invalid as you don't have a third template argument for
cyl_bessel_j.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
GCC build triplet|x86_64-linux-gnu |
GCC host triplet|x86_64-linux-gnu |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (5 preceding siblings ...)
2008-01-24 19:43 ` pinskia at gcc dot gnu dot org
@ 2008-01-24 21:29 ` inform at tiker dot net
2008-01-25 9:54 ` rguenth at gcc dot gnu dot org
` (20 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: inform at tiker dot net @ 2008-01-24 21:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from inform at tiker dot net 2008-01-24 21:03 -------
In the original ice.cpp, there is a declaration of cyl_bessel_j of two template
arguments. So there are two different issues:
1. gcc ICEs on Richard's reduced code
2. it doesn't find the two-argument version of cyl_bessel_j.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (6 preceding siblings ...)
2008-01-24 21:29 ` inform at tiker dot net
@ 2008-01-25 9:54 ` rguenth at gcc dot gnu dot org
2008-01-25 21:46 ` rguenth at gcc dot gnu dot org
` (19 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-25 9:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2008-01-25 09:50 -------
EDG accepts this one where we still ICE the same:
struct default_policy {};
template <class T = default_policy>
struct policy
{
typedef int precision_type;
};
template <class Real, class Policy> struct precision {
typedef Real type;
typedef typename Policy::precision_type precision_type;
};
template <class T1, class T2, class Policy>
struct bessel_traits {
typedef T1 result_type;
typedef typename precision<result_type, Policy>::type precision_type;
};
template <class Fn>
void
def(char const* name, Fn fn);
template <class T1, class T2, class Policy>
typename bessel_traits<T1, T2, Policy>::result_type
cyl_bessel_j(T1 v, T2 x, const Policy& pol);
template <class T1, class T2>
typename bessel_traits<T1, T2, policy<> >::result_type
cyl_bessel_j(T1 v, T2 x);
void hedge_expose_polynomial()
{
def("cyl_bessel_j", cyl_bessel_j<int, double>);
}
3.3 rejects this with
t.ii: In function `void hedge_expose_polynomial()':
t.ii:31: error: no matching function for call to `def(const char[13], <unknown
type>)'
4.1 rejects it with
t.ii: In instantiation of 'precision<int, Policy>':
t.ii:14: instantiated from 'bessel_traits<int, double, Policy>'
t.ii:31: instantiated from here
t.ii:9: error: no type named 'precision_type' in 'Policy'
t.ii: In function 'void hedge_expose_polynomial()':
t.ii:31: error: no matching function for call to 'def(const char [13],
<unresolved overloaded function type>)'
and 4.2 and 4.3 ICE.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (7 preceding siblings ...)
2008-01-25 9:54 ` rguenth at gcc dot gnu dot org
@ 2008-01-25 21:46 ` rguenth at gcc dot gnu dot org
2008-02-01 17:05 ` jsm28 at gcc dot gnu dot org
` (18 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-01-25 21:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from rguenth at gcc dot gnu dot org 2008-01-25 21:30 -------
It's unclear if this is valid or not and the testcase should be able to be
reduced further.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-invalid-code |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (8 preceding siblings ...)
2008-01-25 21:46 ` rguenth at gcc dot gnu dot org
@ 2008-02-01 17:05 ` jsm28 at gcc dot gnu dot org
2008-02-06 20:53 ` rguenth at gcc dot gnu dot org
` (17 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-02-01 17:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from jsm28 at gcc dot gnu dot org 2008-02-01 16:55 -------
4.2.3 is being released now, changing milestones of open bugs to 4.2.4.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.2.3 |4.2.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (9 preceding siblings ...)
2008-02-01 17:05 ` jsm28 at gcc dot gnu dot org
@ 2008-02-06 20:53 ` rguenth at gcc dot gnu dot org
2008-02-12 8:17 ` bangerth at dealii dot org
` (16 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-06 20:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from rguenth at gcc dot gnu dot org 2008-02-06 20:52 -------
Before we make this anything but P3 I'd like to know whether this is
ice-on-valid
or ice-on-invalid (at least the original testcase never built without errors
for
me).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (10 preceding siblings ...)
2008-02-06 20:53 ` rguenth at gcc dot gnu dot org
@ 2008-02-12 8:17 ` bangerth at dealii dot org
2008-02-12 23:14 ` rguenth at gcc dot gnu dot org
` (15 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: bangerth at dealii dot org @ 2008-02-12 8:17 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from bangerth at dealii dot org 2008-02-12 08:17 -------
The following variant of the testcase in comment #8 is definitely
valid but produces an ICE:
---------------------------------
template <class T = int> struct policy {
typedef int unnecessary;
};
template <class Policy> struct A {
typedef int type;
typedef typename Policy::unnecessary unused;
};
template <class T> struct S {
typedef int type;
typedef typename A<T>::type unused;
};
template <class, class T> typename S<T>::type foo();
template <class> S<policy<> >::type foo();
template <typename T> int def(T);
const int i = def(foo<int>);
-------------------------------
tmp/g> /home/bangerth/bin/x86/bin/c++ -c x.cc
x.cc: In instantiation of 'A<T>':
x.cc:12: instantiated from 'S<T>'
x.cc:19: instantiated from here
x.cc:7: internal compiler error: in dependent_type_p, at cp/pt.c:15553
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
This is a regression introduced in gcc3.4.x.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
Known to fail|4.2.3 4.3.0 |4.2.3 4.3.0 3.4.6
Known to work| |2.95.3 3.3.6
Last reconfirmed|2008-01-24 15:52:12 |2008-02-12 08:17:03
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (11 preceding siblings ...)
2008-02-12 8:17 ` bangerth at dealii dot org
@ 2008-02-12 23:14 ` rguenth at gcc dot gnu dot org
2008-02-12 23:19 ` rguenth at gcc dot gnu dot org
` (14 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-12 23:14 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1632 bytes --]
------- Comment #13 from rguenth at gcc dot gnu dot org 2008-02-12 23:13 -------
Ok, so based on comment #12 this is ice-on-valid-code, and that testcase
"works" for me with 4.0 and 4.1 which produce:
g++-4.1 -S t.ii
t.ii: In instantiation of A<T>:
t.ii:12: instantiated from S<T>
t.ii:19: instantiated from here
t.ii:7: error: no type named unnecessary in T
with 3.4 it ICEs with
g++-3.4 -S t.ii
t.ii: In instantiation of `A<T>':
t.ii:12: instantiated from `S<T>'
t.ii:19: instantiated from here
t.ii:7: internal compiler error: in lookup_member, at cp/search.c:1300
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-3.4/README.Bugs>.
while 3.3 and 2.95 accept it.
No idea if we have a PR for 4.1 and the rejects-valid. Janis, can you
hunt at where we started to go from the error with 4.1 to the ICE we now see?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |janis at gcc dot gnu dot org
Status|WAITING |NEW
Keywords| |ice-on-valid-code
Known to fail|4.2.3 4.3.0 3.4.6 |4.2.3 4.3.0
Last reconfirmed|2008-02-12 08:17:03 |2008-02-12 23:13:53
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (12 preceding siblings ...)
2008-02-12 23:14 ` rguenth at gcc dot gnu dot org
@ 2008-02-12 23:19 ` rguenth at gcc dot gnu dot org
2008-02-17 16:21 ` rguenth at gcc dot gnu dot org
` (13 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-12 23:19 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from rguenth at gcc dot gnu dot org 2008-02-12 23:19 -------
It looks like simply deleting from dependent_type_p:
/* If there are no template parameters in scope, then there can't be
any dependent types. */
if (!processing_template_decl)
{
/* If we are not processing a template, then nobody should be
providing us with a dependent type. */
gcc_assert (type);
gcc_assert (TREE_CODE (type) != TEMPLATE_TYPE_PARM);
return false;
}
fixes the testcase - so we are probably not setting processing_template_decl
correctly(?). Or is it even correct and the check in the context of
the caller make_typename_type is simply bogus?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at redhat dot com,
| |mark at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (13 preceding siblings ...)
2008-02-12 23:19 ` rguenth at gcc dot gnu dot org
@ 2008-02-17 16:21 ` rguenth at gcc dot gnu dot org
2008-02-19 6:16 ` mark at codesourcery dot com
` (12 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-17 16:21 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (14 preceding siblings ...)
2008-02-17 16:21 ` rguenth at gcc dot gnu dot org
@ 2008-02-19 6:16 ` mark at codesourcery dot com
2008-02-19 10:29 ` rguenth at gcc dot gnu dot org
` (11 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: mark at codesourcery dot com @ 2008-02-19 6:16 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from mark at codesourcery dot com 2008-02-19 06:15 -------
Subject: Re: [4.2/4.3 Regression] ICE in svn boost math toolkit
rguenth at gcc dot gnu dot org wrote:
> ------- Comment #14 from rguenth at gcc dot gnu dot org 2008-02-12 23:19 -------
> It looks like simply deleting from dependent_type_p:
>
> /* If there are no template parameters in scope, then there can't be
> any dependent types. */
> if (!processing_template_decl)
> {
> /* If we are not processing a template, then nobody should be
> providing us with a dependent type. */
> gcc_assert (type);
> gcc_assert (TREE_CODE (type) != TEMPLATE_TYPE_PARM);
> return false;
> }
>
> fixes the testcase - so we are probably not setting processing_template_decl
> correctly(?). Or is it even correct and the check in the context of
> the caller make_typename_type is simply bogus?
We definitely don't want to delete that from dependent_type_p; it's a
vital optimization. I think the usage in make_typename_type is correct;
when CONTEXT is a dependent type, we have to make a real TYPENAME_TYPE;
when it's not, we can figure out what's being referenced immediately.
What does the stack trace look like at the point we're crashing? What
typename type are trying to simplify?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (15 preceding siblings ...)
2008-02-19 6:16 ` mark at codesourcery dot com
@ 2008-02-19 10:29 ` rguenth at gcc dot gnu dot org
2008-02-19 17:51 ` jakub at gcc dot gnu dot org
` (10 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-19 10:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from rguenth at gcc dot gnu dot org 2008-02-19 10:28 -------
It's way down
#1 0x00000000004f94ac in dependent_type_p (type=0x2aea625cd180)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:15553
#2 0x000000000043e9fe in make_typename_type (context=0x2aea625cd180,
name=0x2aea625c7e40, tag_type=typename_type, complain=9)
at /space/rguenther/src/svn/trunk/gcc/cp/decl.c:2979
#3 0x00000000004c2671 in tsubst (t=0x2aea625cb180, args=0x2aea625d22a0,
complain=tf_warning_or_error, in_decl=0x2aea625cb300)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:9376
#4 0x00000000004bb079 in tsubst_decl (t=0x2aea625cb300, args=0x2aea625d22a0,
complain=tf_warning_or_error)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:8396
#5 0x00000000004bd402 in tsubst (t=0x2aea625cb300, args=0x2aea625d22a0,
complain=tf_warning_or_error, in_decl=0x0)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:8797
#6 0x00000000004adbdf in instantiate_class_template (type=0x2aea625d3180)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:7011
#7 0x000000000059d34e in complete_type (type=0x2aea625d3180)
at /space/rguenther/src/svn/trunk/gcc/cp/typeck.c:127
#8 0x00000000005fd6d9 in lookup_member (xbasetype=0x0, name=0x2aea625c7f60,
protect=0, want_type=1 '\001')
#9 0x00000000005fda92 in lookup_field (xbasetype=0x2aea625d3180,
name=0x2aea625c7f60, protect=0, want_type=1 '\001')
at /space/rguenther/src/svn/trunk/gcc/cp/search.c:1302
#10 0x000000000043eb4c in make_typename_type (context=0x2aea625d3180,
name=0x2aea625c7f60, tag_type=typename_type, complain=9)
at /space/rguenther/src/svn/trunk/gcc/cp/decl.c:2993
#11 0x00000000004c2671 in tsubst (t=0x2aea625cbcc0, args=0x2aea625ca960,
complain=tf_warning_or_error, in_decl=0x2aea625cbe40)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:9376
#12 0x00000000004bb079 in tsubst_decl (t=0x2aea625cbe40, args=0x2aea625ca960,
complain=tf_warning_or_error)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:8396
#13 0x00000000004bd402 in tsubst (t=0x2aea625cbe40, args=0x2aea625ca960,
complain=tf_warning_or_error, in_decl=0x0)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:8797
#14 0x00000000004adbdf in instantiate_class_template (type=0x2aea625cd300)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:7011
#15 0x000000000059d34e in complete_type (type=0x2aea625cd300)
at /space/rguenther/src/svn/trunk/gcc/cp/typeck.c:127
#16 0x00000000005fd6d9 in lookup_member (xbasetype=0x0, name=0x2aea625c7f60,
protect=0, want_type=1 '\001')
at /space/rguenther/src/svn/trunk/gcc/cp/search.c:1221
#17 0x00000000005fda92 in lookup_field (xbasetype=0x2aea625cd300,
name=0x2aea625c7f60, protect=0, want_type=1 '\001')
at /space/rguenther/src/svn/trunk/gcc/cp/search.c:1302
#18 0x000000000043eb4c in make_typename_type (context=0x2aea625cd300,
name=0x2aea625c7f60, tag_type=typename_type, complain=tf_keep_type_decl)
at /space/rguenther/src/svn/trunk/gcc/cp/decl.c:2993
#19 0x00000000004c2671 in tsubst (t=0x2aea625cd480, args=0x2aea625ce540,
complain=tf_none, in_decl=0x0)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:9376
#20 0x00000000004bc688 in tsubst_function_type (t=0x2aea625cd600,
args=0x2aea625ce540, complain=tf_none, in_decl=0x0)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:8634
#21 0x00000000004c1884 in tsubst (t=0x2aea625cd600, args=0x2aea625ce540,
complain=tf_none, in_decl=0x0)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:9259
#22 0x00000000004ed155 in get_bindings (fn=0x2aea625cd6c0,
decl=0x2aea625bf820, explicit_args=0x2aea625cfcf0, check_rettype=0 '\0')
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:13830
#23 0x00000000004de19e in resolve_overloaded_unification (
tparms=0x2aea625cfb70, targs=0x2aea625cfdb0, parm=0x2aea625d1780,
arg=0x2aea625caa20, strict=DEDUCE_CALL, sub_strict=21)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:12140
#24 0x00000000004dc9de in type_unification_real (tparms=0x2aea625cfb70,
targs=0x2aea625cfdb0, xparms=0x2aea625cfbd0, xargs=0x2aea625cfd20, subr=0,
strict=DEDUCE_CALL, flags=3)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:11951
#25 0x00000000004dba28 in fn_type_unification (fn=0x2aea625d1a80,
explicit_targs=0x0, targs=0x2aea625cfdb0, args=0x2aea625cfd20,
return_type=0x0, strict=DEDUCE_CALL, flags=3)
at /space/rguenther/src/svn/trunk/gcc/cp/pt.c:11687
#26 0x000000000041087c in add_template_candidate_real (
candidates=0x7fff48f101f8, tmpl=0x2aea625d1a80, ctype=0x0,
explicit_targs=0x0, arglist=0x2aea625cfd20, return_type=0x0,
access_path=0x0, conversion_path=0x0, flags=3, obj=0x0, strict=DEDUCE_CALL)
at /space/rguenther/src/svn/trunk/gcc/cp/call.c:2260
#27 0x0000000000410de8 in add_template_candidate (candidates=0x7fff48f101f8,
tmpl=0x2aea625d1a80, ctype=0x0, explicit_targs=0x0,
arglist=0x2aea625cfd20, return_type=0x0, access_path=0x0,
conversion_path=0x0, flags=3, strict=DEDUCE_CALL)
at /space/rguenther/src/svn/trunk/gcc/cp/call.c:2341
#28 0x000000000041796c in add_candidates (fns=0x2aea625cfd80,
args=0x2aea625cfd20, explicit_targs=0x0, template_only=0 '\0',
conversion_path=0x0, access_path=0x0, flags=3, candidates=0x7fff48f101f8)
at /space/rguenther/src/svn/trunk/gcc/cp/call.c:3684
#29 0x00000000004130c3 in perform_overload_resolution (fn=0x2aea625cfd80,
args=0x2aea625cfd20, candidates=0x7fff48f101f8,
any_viable_p=0x7fff48f101f7 "\001")
at /space/rguenther/src/svn/trunk/gcc/cp/call.c:2820
#30 0x00000000004132bb in build_new_function_call (fn=0x2aea625cfd80,
args=0x2aea625cfd20, koenig_p=1 '\001')
at /space/rguenther/src/svn/trunk/gcc/cp/call.c:2868
#31 0x000000000060fa88 in finish_call_expr (fn=0x2aea625cfd80,
args=0x2aea625cfd20, disallow_virtual=0 '\0', koenig_p=1 '\001')
at /space/rguenther/src/svn/trunk/gcc/cp/semantics.c:1946
processing the call to def in
const int i = def(foo<int>);
I don't know why we have an overload for def here at all.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (16 preceding siblings ...)
2008-02-19 10:29 ` rguenth at gcc dot gnu dot org
@ 2008-02-19 17:51 ` jakub at gcc dot gnu dot org
2008-02-19 20:18 ` [Bug c++/34950] [4.2/4.3/4.4 " jason at gcc dot gnu dot org
` (9 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-19 17:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from jakub at gcc dot gnu dot org 2008-02-19 17:50 -------
instantiate_type_decl calls tsubst on
<type_decl 0x2aaaaea83300 unused
type <typename_type 0x2aaaaea83180 unnecessary VOID
align 8 symtab 0 alias set -1 structural equality context
<template_type_parm 0x2aaaaea78a80 Policy>
chain <type_decl 0x2aaaaea83240 unnecessary>>
nonlocal VOID file pr34950.C line 7 col 42
align 1 context <record_type 0x2aaaaea78c00 A>
and as TYPE_DECL isn't TEMPLATE_DECL, it doesn't bump processing_template_decl
around the tsubst call.
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.2/4.3/4.4 Regression] ICE|[4.2/4.3 Regression] ICE in
|in svn boost math toolkit |svn boost math toolkit
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (17 preceding siblings ...)
2008-02-19 17:51 ` jakub at gcc dot gnu dot org
@ 2008-02-19 20:18 ` jason at gcc dot gnu dot org
2008-02-19 21:21 ` jason at gcc dot gnu dot org
` (8 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 20:18 UTC (permalink / raw)
To: gcc-bugs
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org
|dot org |
Status|NEW |ASSIGNED
Last reconfirmed|2008-02-12 23:13:53 |2008-02-19 20:17:21
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (18 preceding siblings ...)
2008-02-19 20:18 ` [Bug c++/34950] [4.2/4.3/4.4 " jason at gcc dot gnu dot org
@ 2008-02-19 21:21 ` jason at gcc dot gnu dot org
2008-02-19 21:40 ` jason at gcc dot gnu dot org
` (7 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 21:21 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from jason at gcc dot gnu dot org 2008-02-19 21:21 -------
The problem comes when we deal with templates from non-template code. In this
case, we are substituting some parameters but not all into a function template
declaration, so we end up building up new typename types with dependent scopes.
Changing make_typename_type to call uses_template_parms fixes the testcase, but
it seems that other similar issues may be hiding, and it may be better to bump
processing_template_decl at a higher level, perhaps
resolve_overloaded_unification. But that may also leave other similar problems
elsewhere.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (19 preceding siblings ...)
2008-02-19 21:21 ` jason at gcc dot gnu dot org
@ 2008-02-19 21:40 ` jason at gcc dot gnu dot org
2008-02-19 21:46 ` jason at gcc dot gnu dot org
` (6 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 21:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from jason at gcc dot gnu dot org 2008-02-19 21:39 -------
(In reply to comment #18)
> it may be better to bump processing_template_decl at a higher level, perhaps
> resolve_overloaded_unification.
This seems to be the approach taken in the partial ordering code, so it seems
like the right answer.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (20 preceding siblings ...)
2008-02-19 21:40 ` jason at gcc dot gnu dot org
@ 2008-02-19 21:46 ` jason at gcc dot gnu dot org
2008-02-19 22:14 ` jason at gcc dot gnu dot org
` (5 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 21:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from jason at gcc dot gnu dot org 2008-02-19 21:45 -------
Incidentally, the error that 3.3 gave for the testcase in comment #8 seems to
be correct: after we substitute the explicit args into the two function
templates, we are left with one which still has an unbound argument, which I
believe makes it an undeduced context under [temp.deduct.type] paragraph 5
("the set of functions provided as an argument contains one or more function
templates"). The EDG compiler seems to disagree, so this should probably
become a core language issue.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (21 preceding siblings ...)
2008-02-19 21:46 ` jason at gcc dot gnu dot org
@ 2008-02-19 22:14 ` jason at gcc dot gnu dot org
2008-02-19 22:54 ` jason at gcc dot gnu dot org
` (4 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 22:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from jason at gcc dot gnu dot org 2008-02-19 22:13 -------
On second thought, the testcase seems to be well-formed; we should do partial
ordering and determine that the second template is more specialized than the
first.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (22 preceding siblings ...)
2008-02-19 22:14 ` jason at gcc dot gnu dot org
@ 2008-02-19 22:54 ` jason at gcc dot gnu dot org
2008-02-19 22:54 ` jason at gcc dot gnu dot org
` (3 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 22:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #23 from jason at gcc dot gnu dot org 2008-02-19 22:54 -------
Subject: Bug 34950
Author: jason
Date: Tue Feb 19 22:53:25 2008
New Revision: 132456
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132456
Log:
PR c++/34950
* pt.c (resolve_overloaded_unification): Set processing_template_decl
while we look for possible bindings.
Modified:
branches/gcc-4_3-branch/gcc/cp/ChangeLog
branches/gcc-4_3-branch/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (23 preceding siblings ...)
2008-02-19 22:54 ` jason at gcc dot gnu dot org
@ 2008-02-19 22:54 ` jason at gcc dot gnu dot org
2008-02-20 4:48 ` jason at gcc dot gnu dot org
` (2 subsequent siblings)
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-19 22:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #22 from jason at gcc dot gnu dot org 2008-02-19 22:53 -------
Subject: Bug 34950
Author: jason
Date: Tue Feb 19 22:53:07 2008
New Revision: 132455
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132455
Log:
PR c++/34950
* pt.c (resolve_overloaded_unification): Set processing_template_decl
while we look for possible bindings.
Added:
trunk/gcc/testsuite/g++.dg/template/explicit-args1.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (24 preceding siblings ...)
2008-02-19 22:54 ` jason at gcc dot gnu dot org
@ 2008-02-20 4:48 ` jason at gcc dot gnu dot org
2008-02-20 4:49 ` jason at gcc dot gnu dot org
2008-02-20 4:49 ` jason at gcc dot gnu dot org
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-20 4:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #24 from jason at gcc dot gnu dot org 2008-02-20 04:48 -------
Fixed in all open branches.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (26 preceding siblings ...)
2008-02-20 4:49 ` jason at gcc dot gnu dot org
@ 2008-02-20 4:49 ` jason at gcc dot gnu dot org
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-20 4:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #26 from jason at gcc dot gnu dot org 2008-02-20 04:48 -------
Subject: Bug 34950
Author: jason
Date: Wed Feb 20 04:47:47 2008
New Revision: 132470
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132470
Log:
PR c++/34950
* pt.c (resolve_overloaded_unification): Set processing_template_decl
while we look for possible bindings.
Modified:
branches/gcc-4_2-branch/gcc/cp/ChangeLog
branches/gcc-4_2-branch/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
* [Bug c++/34950] [4.2/4.3/4.4 Regression] ICE in svn boost math toolkit
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
` (25 preceding siblings ...)
2008-02-20 4:48 ` jason at gcc dot gnu dot org
@ 2008-02-20 4:49 ` jason at gcc dot gnu dot org
2008-02-20 4:49 ` jason at gcc dot gnu dot org
27 siblings, 0 replies; 29+ messages in thread
From: jason at gcc dot gnu dot org @ 2008-02-20 4:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #25 from jason at gcc dot gnu dot org 2008-02-20 04:48 -------
Subject: Bug 34950
Author: jason
Date: Wed Feb 20 04:47:28 2008
New Revision: 132469
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132469
Log:
PR c++/34950
* pt.c (resolve_overloaded_unification): Set processing_template_decl
while we look for possible bindings.
PR c++/34774
* pt.c (value_dependent_expression_p): Look into DECL_INITIAL
of enumerators, too.
Modified:
branches/gcc-4_1-branch/gcc/cp/ChangeLog
branches/gcc-4_1-branch/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34950
^ permalink raw reply [flat|nested] 29+ messages in thread
end of thread, other threads:[~2008-02-20 4:49 UTC | newest]
Thread overview: 29+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-01-24 4:02 [Bug c++/34950] New: ICE in svn boost math toolkit inform at tiker dot net
2008-01-24 4:03 ` [Bug c++/34950] " inform at tiker dot net
2008-01-24 11:04 ` rguenth at gcc dot gnu dot org
2008-01-24 11:26 ` rguenth at gcc dot gnu dot org
2008-01-24 11:30 ` pinskia at gcc dot gnu dot org
2008-01-24 15:59 ` [Bug c++/34950] [4.2/4.3 Regression] " rguenth at gcc dot gnu dot org
2008-01-24 19:43 ` pinskia at gcc dot gnu dot org
2008-01-24 21:29 ` inform at tiker dot net
2008-01-25 9:54 ` rguenth at gcc dot gnu dot org
2008-01-25 21:46 ` rguenth at gcc dot gnu dot org
2008-02-01 17:05 ` jsm28 at gcc dot gnu dot org
2008-02-06 20:53 ` rguenth at gcc dot gnu dot org
2008-02-12 8:17 ` bangerth at dealii dot org
2008-02-12 23:14 ` rguenth at gcc dot gnu dot org
2008-02-12 23:19 ` rguenth at gcc dot gnu dot org
2008-02-17 16:21 ` rguenth at gcc dot gnu dot org
2008-02-19 6:16 ` mark at codesourcery dot com
2008-02-19 10:29 ` rguenth at gcc dot gnu dot org
2008-02-19 17:51 ` jakub at gcc dot gnu dot org
2008-02-19 20:18 ` [Bug c++/34950] [4.2/4.3/4.4 " jason at gcc dot gnu dot org
2008-02-19 21:21 ` jason at gcc dot gnu dot org
2008-02-19 21:40 ` jason at gcc dot gnu dot org
2008-02-19 21:46 ` jason at gcc dot gnu dot org
2008-02-19 22:14 ` jason at gcc dot gnu dot org
2008-02-19 22:54 ` jason at gcc dot gnu dot org
2008-02-19 22:54 ` jason at gcc dot gnu dot org
2008-02-20 4:48 ` jason at gcc dot gnu dot org
2008-02-20 4:49 ` jason at gcc dot gnu dot org
2008-02-20 4:49 ` jason at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).