[Bug c++/78704] operator-> pointer return type is not recognized as pointer type

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78704

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-12-07
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
   Target Milestone|---                         |7.0
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Doesn't seem to be a regression, since r185596 when -std=c++1y option has been
added it has been rejected with:
error: ‘operator->’ function uses ‘auto’ type specifier without trailing return
type
error: base operand of ‘->’ has non-pointer type ‘const Foo<int>’
(like with -std=c++11) and starting with r185768 when return type C++14 auto
deduction has been implemented it is rejected with just
error: result of ‘operator->()’ yields non-pointer result

clang++ accepts this.  Either something should have deduced the return type of
the operator-> earlier, or build_x_arrow should assume that if
(processing_template_decl && type_uses_auto (TREE_TYPE (last_rval))) or
something similar, then the return type could be a pointer and handle it as if
expr has been type dependent from the beginning.  Jason?