diff mbox

C++ PATCH for core 1074 (specification of dependency of noexcept-expression)

Message ID 4D7FB05D.7020708@redhat.com
State New
Headers show

Commit Message

Jason Merrill March 15, 2011, 6:30 p.m. UTC 
Nobody could think of a reason why value-dependency of the operand of a 
noexcept-expression should make the noexcept itself value-dependent, so 
it's dropped.

Tested x86_64-pc-linux-gnu, applying to trunk.
commit dc2157101b5083c82984936144097fb484bdbad4
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Nov 10 17:57:43 2010 -0600

    	* pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
    	check value_dependent_expression_p on the operand.
diff mbox

Patch

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 95b82ee..c8c1010 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -18143,9 +18143,7 @@  value_dependent_expression_p (tree expression)
 
     case NOEXCEPT_EXPR:
       expression = TREE_OPERAND (expression, 0);
-      /* FIXME why check value-dependency?  */
-      return (type_dependent_expression_p (expression)
-	      || value_dependent_expression_p (expression));
+      return type_dependent_expression_p (expression);
 
     case SCOPE_REF:
       {