[Bug c++/56039] ICE in iterative_hash_template_arg, at cp/pt.c:1606

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-03-11
                 CC|                            |jason at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2013-03-11 20:35:36 UTC ---
(In reply to comment #2)
> (In reply to comment #1)
> re: 5.19 p2 b8
> 
> 5.19 p2 (before the referenced bullet list) reads:
> ..., but subexpressions of logical AND (5.14), logical OR (5.15) and
> conditional (5.16) operations that are not evaluated are not considered...

Looks like a defect in the wording.  The intent is that a lambda body must not
appear in SFINAE context.