[Bug c++/15674] [3.3/3.4/3.5 Regression] [DR214] template argument binding differs between member and static fumctions

["giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From giovannibajo at libero dot it  2004-05-27 10:47 -------
Notice that EDG also differs in the member vs non-member case, in that the non-
member case is considered ambigous while the member case is not.

So, given Nathan analysys, the original testcase should always call the "T*" 
specialization (array->pointer decay should always happen). We have a wrong-
code bug. 2.95 used to refuse the code, so let me rate this as a regression. I 
understand that it is probably going to be minor, but nonetheless it is better 
to reject the code rather than selecting the invalid specialization.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |giovannibajo at libero dot
                   |                            |it
           Severity|normal                      |critical
           Keywords|                            |wrong-code
      Known to fail|                            |2.95.3 3.0.4 3.2.3 3.3.3
                   |                            |3.4.0 3.5.0
            Summary|template argument binding   |[3.3/3.4/3.5 Regression]
                   |differs between member and  |[DR214] template argument
                   |static fumctions            |binding differs between
                   |                            |member and static fumctions
   Target Milestone|---                         |3.4.1


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