Re: Ping: [PATCH][C++] Pass type uses through the verify_type_context hook

[Jason Merrill]

On 12/5/19 1:21 PM, Richard Sandiford wrote:

+  else if (!verify_type_context (input_location, TCTX_EXCEPTIONS, type))
+    return false;
+
+  else if (TYPE_REF_P (type)
+          && !verify_type_context (input_location, TCTX_EXCEPTIONS,
+                                   TREE_TYPE (type)))

You could use the non_reference function to combine these.

Jason