diff options
| author | Nathan Sidwell <nathan@acm.org> | 2016-08-05 12:21:46 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2016-08-05 12:21:46 +0000 |
| commit | 4228ca1962a93904e188c8a0d98d10cd0ce7f222 (patch) | |
| tree | ebcbc776a45eeb53d02fc298ababf85fb2821a6d /gcc/cp | |
| parent | 98e6e662332b75149288e6f1e1171e0b131a8981 (diff) | |
| download | gcc-4228ca1962a93904e188c8a0d98d10cd0ce7f222.zip gcc-4228ca1962a93904e188c8a0d98d10cd0ce7f222.tar.gz gcc-4228ca1962a93904e188c8a0d98d10cd0ce7f222.tar.bz2 | |
re PR c++/68724 (ice in unify, at cp/pt.c:19902)
PR c++/68724
* pt.c (unify): TRAIT_EXPR is an expr.
PR c++/68724
* g++.dg/cpp0x/pr68724.C: New.
From-SVN: r239167
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index c295a85..ddafa93 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2016-08-05 Nathan Sidwell <nathan@acm.org> + + PR c++/68724 + * pt.c (unify): TRAIT_EXPR is an expr. + 2016-08-04 Paolo Carlini <paolo.carlini@oracle.com> PR c++/72800 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 2f40700..d3d2d4e 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -20269,7 +20269,7 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict, /* An unresolved overload is a nondeduced context. */ if (is_overloaded_fn (parm) || type_unknown_p (parm)) return unify_success (explain_p); - gcc_assert (EXPR_P (parm)); + gcc_assert (EXPR_P (parm) || TREE_CODE (parm) == TRAIT_EXPR); expr: /* We must be looking at an expression. This can happen with something like: |