[Bug c++/33553] New: Bogus "array bound is not an integer constant" for parameter in template method of template class

[Bug c++/33553] New: Bogus "array bound is not an integer constant" for parameter in template method of template class

[e dot tadeu at gmail dot com]

X-Bugzilla-Reason: CC

This error happens in this case:

template <class T_> class SizeFor_{ public: enum {Size = 2}; };

template <class V_>
class Test {
public:
    template <class T_>
    void test_array(T_ tag, V_ (&arr)[SizeFor_<T_>::Size])
    {
    }
};

(Full test case in the end of the message)

It happens when declaring an array, whose bounds is given by a static constant,
in a template method that is inside a template method.

The problem also happens when the static constant is a sizeof, or a static
const size_t.


Test case:

class X {};
class Y {};
class Z {};

//template <class T_> class SizeFor_;
//template<> class SizeFor_<X> { public: enum {Size = 1}; };
//template<> class SizeFor_<Y> { public: enum {Size = 2}; };
//template<> class SizeFor_<Z> { public: enum {Size = 3}; };

template <class T_> class SizeFor_ { public: enum {Size = 2}; };


// This works (template method of non-template class)
/*
class Test {
public:
    template <class T_>
    void test_array(T_, int (&arr)[SizeFor_<T_>::Size])
    {
        for (int i = 0; i < SizeFor_<T_>::Size; ++i) {
            arr[i] += 1;
        }
    }
};

int main() {
    int y[2] = {2, 3};

    Test p2;
    p2.test_array(Y(), y);

    return 0;
}
*/




// This works: (non-template method of template clas)
/*
template <class V_>
class Test {
public:
    void test_array(Y tag, V_ (&arr)[SizeFor_<Y>::Size])
    {
        for (int i = 0; i < SizeFor_<Y>::Size; ++i) {
            arr[i] += 1;
        }
    }
};

int main() {
    int y[2] = {2, 3};

    Test<int> p2;
    p2.test_array(Y(), y);

    return 0;
}
*/



// This one does not compile (template method of template class):

template <class V_>
class Test {
public:
    template <class T_>
    void test_array(T_ tag, V_ (&arr)[SizeFor_<T_>::Size])
    {
        for (int i = 0; i < SizeFor_<T_>::Size; ++i) {
            arr[i] += 1;
        }
    }
};

int main() {
    int y[2] = {2, 3};

    Test<int> p2;
    p2.test_array(Y(), y);

    return 0;
}



The compiler output is:

Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../Sources/configure
--with-ld=/home/users/ama/Shared/amd64.redhat/binutils-2.17/bin/ld
--disable-multilib
--prefix=/home/users/ama/Build/gcc-4.2.1/Binaries-amd64.redhat : (reconfigured)
../Sources/configure
--with-ld=/home/users/ama/Shared/amd64.redhat/binutils-2.17/bin/ld
--disable-multilib
--prefix=/home/users/ama/Build/gcc-4.2.1/Binaries-amd64.redhat
Thread model: posix
gcc version 4.2.1
...
cc1plus -fpreprocessed test3.ii -quiet -dumpbase test3.cpp -mtune=generic
-auxbase test3 -version -o test3.s
GNU C++ version 4.2.1 (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.2.1.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: b0e2ae18bf4812f9f66b45414d2388db
test3.cpp: In instantiation of 'Test<int>':
test3.cpp:81:   instantiated from here
test3.cpp:70: error: array bound is not an integer constant
test3.cpp: In function 'int main()':
test3.cpp:82: error: 'class Test<int>' has no member named 'test_array'


-- 
           Summary: Bogus "array bound is not an integer constant" for
                    parameter in template method of template class
           Product: gcc
           Version: 4.2.1
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: e dot tadeu at gmail dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] Bogus "array bound is not an integer constant" for parameter in template method of template class

[e dot tadeu at gmail dot com]

X-Bugzilla-Reason: CC



------- Comment #1 from e dot tadeu at gmail dot com  2007-09-25 15:04 -------
Created an attachment (id=14251)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14251&action=view)
Test case


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] Bogus "array bound is not an integer constant" for parameter in template method of template class

[e dot tadeu at gmail dot com]

------- Comment #2 from e dot tadeu at gmail dot com  2007-09-25 15:23 -------
s/template method that is inside a template method/template method that is
inside a template CLASS

(In reply to comment #0)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
            Summary|Bogus "array bound is not an|[4.2/4.3 Regression] Bogus
                   |integer constant" for       |"array bound is not an
                   |parameter in template method|integer constant" for
                   |of template class           |parameter in template method
                   |                            |of template class
   Target Milestone|---                         |4.2.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-09-25 23:32 -------
Confirmed, reduced testcase:
template <class T_> struct SizeFor_ { static const int Size = 2; };
template <class R_>
struct Test {
    template <class T_>
    void test_array(int (&arr)[SizeFor_<T_>::Size]);
};
Test<int> p2;


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-25 23:32:46
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2007-09-27 08:58 -------
Introduced by PR28595 fix.
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116468
or for 4.1:
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116471


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.2.0 4.3.0                 |4.1.2 4.2.0 4.3.0
            Summary|[4.2/4.3 Regression] Bogus  |[4.1/4.2/4.3 Regression]
                   |"array bound is not an      |Bogus "array bound is not an
                   |integer constant" for       |integer constant" for
                   |parameter in template method|parameter in template method
                   |of template class           |of template class


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2007-10-09 19:21 -------
Change target milestone to 4.2.3, as 4.2.2 has been released.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.2                       |4.2.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-01-25 15:43 -------
This should be P1 on the 4.1 branch (at it is a regression on the branch), but
we don't have separate priorities there and there will be no future releases
from that branch.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2008-01-30 17:35 -------
> This should be P1 on the 4.1 branch (at it is a regression on the branch), but
> we don't have separate priorities there and there will be no future releases
> from that branch.

This is still "critical" on the mainline.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[bangerth at dealii dot org]

------- Comment #8 from bangerth at dealii dot org  2008-01-30 20:26 -------
I agree. This is valid and common code and we need to be able to compile it.
I would rate this as a blocker.
W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[mmitchel at gcc dot gnu dot org]

------- Comment #9 from mmitchel at gcc dot gnu dot org  2008-01-30 20:40 -------
I agree that this is P1..


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jsm28 at gcc dot gnu dot org]

------- Comment #10 from jsm28 at gcc dot gnu dot org  2008-02-01 16:54 -------
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=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-09-25 23:32:46         |2008-02-04 12:55:58
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jakub at gcc dot gnu dot org]

------- Comment #11 from jakub at gcc dot gnu dot org  2008-02-04 15:47 -------
http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00087.html


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2008-
                   |                            |02/msg00087.html


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2/4.3 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jakub at gcc dot gnu dot org]

------- Comment #12 from jakub at gcc dot gnu dot org  2008-02-05 20:04 -------
Subject: Bug 33553

Author: jakub
Date: Tue Feb  5 20:03:30 2008
New Revision: 132126

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132126
Log:
        PR c++/33553
        * pt.c (tsubst) <case INTEGER_TYPE>: Don't issue error if max is
        value dependent expression.

        * g++.dg/template/array19.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/array19.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jakub at gcc dot gnu dot org]

------- Comment #13 from jakub at gcc dot gnu dot org  2008-02-05 20:08 -------
Fixed on the trunk so far.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.2 4.2.0 4.3.0           |4.1.2 4.2.0
      Known to work|4.1.1                       |4.1.1 4.3.0
            Summary|[4.1/4.2/4.3 Regression]    |[4.1/4.2 Regression] Bogus
                   |Bogus "array bound is not an|"array bound is not an
                   |integer constant" for       |integer constant" for
                   |parameter in template method|parameter in template method
                   |of template class           |of template class


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.1/4.2 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jsm28 at gcc dot gnu dot org]

------- Comment #14 from jsm28 at gcc dot gnu dot org  2008-05-19 20:23 -------
4.2.4 is being released, changing milestones to 4.2.5.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.4                       |4.2.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.2 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jsm28 at gcc dot gnu dot org]

------- Comment #15 from jsm28 at gcc dot gnu dot org  2008-07-04 22:50 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 Regression] Bogus  |[4.2 Regression] Bogus
                   |"array bound is not an      |"array bound is not an
                   |integer constant" for       |integer constant" for
                   |parameter in template method|parameter in template method
                   |of template class           |of template class


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553

[Bug c++/33553] [4.2 Regression] Bogus "array bound is not an integer constant" for parameter in template method of template class

[jsm28 at gcc dot gnu dot org]

------- Comment #16 from jsm28 at gcc dot gnu dot org  2009-03-30 22:28 -------
Closing 4.2 branch, fixed in 4.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.1.2 4.2.0                 |4.1.2 4.2.0 4.2.5
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33553