Merge pull request #17118 from jketema/ctad

C++: Add `getTemplateClass` to `DeductionGuide`

Author: jketema

cpp/downgrades/e197626a6ebccd052d5c891975fccf8aebcc9803/old.dbscheme

@@ -0,0 +1,3 @@
+description: Add relation between deduction guides and class templates
+compatibility: full
+deduction_guide_for_class.rel: delete

cpp/downgrades/e197626a6ebccd052d5c891975fccf8aebcc9803/semmlecode.cpp.dbscheme

@@ -0,0 +1,4 @@
+---
+category: feature
+---
+* A `getTemplateClass` predicate was added to the `DeductionGuide` class to get the class template for which the deduction guide is a guide.

cpp/downgrades/e197626a6ebccd052d5c891975fccf8aebcc9803/upgrade.properties

@@ -898,4 +898,11 @@ class UserDefinedLiteral extends Function {
  */
 class DeductionGuide extends Function {
   DeductionGuide() { functions(underlyingElement(this), _, 8) }
+
+  /**
+   * Gets the class template for which this is a deduction guide.
+   */
+  TemplateClass getTemplateClass() {
+    deduction_guide_for_class(underlyingElement(this), unresolveElement(result))
+  }
 }

cpp/ql/lib/change-notes/2024-07-23-using-enum-declaration copy.md renamed to cpp/ql/lib/change-notes/2024-07-23-destroying-delete.md

@@ -409,6 +409,11 @@ function_defaulted(unique int id: @function ref);
 
 function_prototyped(unique int id: @function ref)
 
+deduction_guide_for_class(
+    int id: @function ref,
+    int class_template: @usertype ref
+)
+
 member_function_this_type(
     unique int id: @function ref,
     int this_type: @type ref