public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/56377] New: [4.8 Regression] <missing> template args in substitution-failure diagnostics
@ 2013-02-18 16:05 pl.smith.mail at gmail dot com
  2013-02-18 16:12 ` [Bug c++/56377] " pl.smith.mail at gmail dot com
                   ` (10 more replies)
  0 siblings, 11 replies; 12+ messages in thread
From: pl.smith.mail at gmail dot com @ 2013-02-18 16:05 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 56377
           Summary: [4.8 Regression] <missing> template args in
                    substitution-failure diagnostics
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: pl.smith.mail@gmail.com


When a candidate function for which substituion failed is listed in a
diagnostic, if the failure stems from a template parameter that have an
explicit argument, the explicit arguments are listed as <missing>.

For example:

template <typename T>
typename T::type f();

int main () {
  f<int>();
}

Produces (4.8, no flags):

test.cpp: In function ג€˜int main()ג€™:
test.cpp:5:10: error: no matching function for call to 'f()'
   f<int>();
          ^
test.cpp:5:10: note: candidate is:
test.cpp:2:18: note: template<class T> typename T::type f()
 typename T::type f();
                  ^
test.cpp:2:18: note:   template argument deduction/substitution failed:
  *************
test.cpp: In substitution of 'template<class T> typename T::type f() [with T =
<missing>]':
  *************
test.cpp:5:10:   required from here
test.cpp:2:18: error: 'int' is not a class, struct, or union type

In 4.7 it is "[with T = int]".


^ permalink raw reply	[flat|nested] 12+ messages in thread
end of thread, other threads:[~2013-02-26  4:29 UTC | newest]

Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-02-18 16:05 [Bug c++/56377] New: [4.8 Regression] <missing> template args in substitution-failure diagnostics pl.smith.mail at gmail dot com
2013-02-18 16:12 ` [Bug c++/56377] " pl.smith.mail at gmail dot com
2013-02-18 16:16 ` paolo.carlini at oracle dot com
2013-02-19  9:33 ` rguenth at gcc dot gnu.org
2013-02-19  9:58 ` jakub at gcc dot gnu.org
2013-02-20 14:52 ` rguenth at gcc dot gnu.org
2013-02-22 15:58 ` jason at gcc dot gnu.org
2013-02-22 22:25 ` jason at gcc dot gnu.org
2013-02-23  1:59 ` jason at gcc dot gnu.org
2013-02-23 15:16 ` pl.smith.mail at gmail dot com
2013-02-26  4:28 ` jason at gcc dot gnu.org
2013-02-26  4:29 ` jason at gcc dot gnu.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).