Type transformations of qualified function types [GH edgcpp#335]

Author: nv-cmeerw

src/Changes

@@ -1,5 +1,17 @@
 Version 7.1
 
+10/21/26 [GH #335]
+Type transformations of qualified function types
+
+Previously, the __add_lvalue_reference, __add_rvalue_reference, __add_pointer,
+and __decay intrinsics produced incorrect types for function types with cv- or
+ref-qualifiers.  They now leave such types unchanged.  For example, with
+--c++11:
+
+  using F = void() const;
+  using F = __add_pointer(F);  // Previously a spurious error, now okay.
+
+
 10/19/26  [GH #218]
 Reachability after a temporary with a "noreturn" constructor or destructor
 

src/types.c

@@ -3580,6 +3580,22 @@ typeref entries representing typedefs or type operators.
 
 #if !STANDALONE_UTILITY_PROGRAM
 
+static a_type_ptr add_pointer_to_type(a_type_ptr tp)
+/*
+Apply the transformation corresponding to std::add_pointer_t to tp and return
+the resulting type.
+*/
+{
+  if (is_referenceable_type(tp) || is_void_type(tp)) {
+    if (is_reference_type(tp)) {
+      tp = type_pointed_to(tp);
+    }  /* if */
+    tp = make_pointer_type(tp);
+  }  /* if */
+  return tp;
+}  /* add_pointer_to_type */
+
+
 a_type_ptr apply_type_transforming_intrinsic(
                             a_type_ptr             tp,
                             a_typeref_kind         kind,
@@ -3641,10 +3657,7 @@ diagnostic in error cases.  error_pos is the position to use for diagnostics
       result = remove_qualifiers(tp, TQ_VOLATILE);
       break;
     case trk_add_pointer:
-      if (is_reference_type(tp)) {
-        tp = type_pointed_to(tp);
-      }  /* if */
-      result = make_pointer_type(tp);
+      result = add_pointer_to_type(tp);
       break;
     case trk_remove_pointer:
       if (is_pointer_type(tp)) {
@@ -3824,7 +3837,7 @@ Return TRUE if the given type is a referenceable type [defns.referenceable].
 {
   tp = skip_typerefs(tp);
   return is_object_type(tp) || is_reference_ptr(tp) ||
-         (is_function(tp) && !is_qualified_type(tp));
+         (is_function(tp) && !is_qualified_function_type(tp));
 }  /* is_referenceable_type */
 
 
@@ -4080,7 +4093,7 @@ Apply the transformation corresponding to std::decay_t.
   if (is_array_type(tp)) {
     tp = make_pointer_type(array_element_type(tp));
   } else if (is_function_type(tp)) {
-    tp = make_pointer_type(tp);
+    tp = add_pointer_to_type(tp);
   } else {
     tp = remove_qualifiers(tp, TQ_CONST | TQ_VOLATILE | TQ_RESTRICT);
   }  /* if */

tests/expectations/edg_x86_64/imported.log

@@ -7339,7 +7339,6 @@ gnu/cpp/ext/constexpr-vla5.sft.cpp:fn:-DTEST_NUMBER=1 --c++11:FAIL:
 gnu/cpp/ext/conv1.sft.cpp:fp:-DTEST_NUMBER=1 -w:FAIL:
 gnu/cpp/ext/conv2.sft.cpp:fp:-DTEST_NUMBER=1 --c++11:FAIL:
 gnu/cpp/ext/conv3.sft.cpp:fp:-DTEST_NUMBER=1:FAIL:
-gnu/cpp/ext/decay.sft.cpp:fp:-DTEST_NUMBER=1 --c++11:FAIL:
 gnu/cpp/ext/decay1.sft.cpp:fn:-DTEST_NUMBER=1 --c++11:FAIL:
 gnu/cpp/ext/deprecate-1.sft.cpp:fp:-DTEST_NUMBER=1:FAIL:
 gnu/cpp/ext/desig9.sft.cpp:fn:-DTEST_NUMBER=1:FAIL:

tests/tests/changes/.gh-335.rto/default.1.1.txt

@@ -0,0 +1 @@
+fe_only -DTEST_NUMBER=1 --c++11 Test_name.c

tests/tests/changes/gh-335.sft.cpp

@@ -0,0 +1,6 @@
+//type:fp
+//options:--c++11
+//remark:[GH #335] Type transformations of qualified function types
+
+using F = void() const;
+using F = __add_pointer(F);  // Previously a spurious error, now okay.

tests/tests/imported/gnu/cpp/ext/.decay.rto/default.1.1.txt

@@ -1,6 +1 @@
 fe_only -DTEST_NUMBER=1 --gnu_version=999999 -tused -e 200 --no_wrap --no_wrap_diagnostics --c++11 Test_name.c
-"Test_name.c", line 24: error: static assertion failed with "__is_same(test5_type, cfn_type)"
-  SA(__is_same(test5_type, cfn_type));
-  ^
-
-1 error detected in the compilation of "Test_name.c".

tests/tests/regressions/.gh-335.rto/default.1.1.txt

@@ -0,0 +1 @@
+fe_only -DTEST_NUMBER=1 --c++11 Test_name.c

tests/tests/regressions/.gh-335.rto/default.2.1.txt

@@ -0,0 +1 @@
+fe_only -DTEST_NUMBER=2 --c++17 Test_name.c

tests/tests/regressions/.gh-335.rto/default.3.1.txt

@@ -0,0 +1 @@
+fe_only -DTEST_NUMBER=3 --gn 150200 --c++11 Test_name.c

tests/tests/regressions/.gh-335.rto/default.4.1.txt

@@ -0,0 +1 @@
+fe_only -DTEST_NUMBER=4 --gn 150200 --c++17 Test_name.c