C++: Support more function types

This commit is contained in:
Jeroen Ketema
2024-01-02 15:13:20 +01:00
parent 671343619f
commit 9c1de5b2b6
9 changed files with 8986 additions and 0 deletions

View File

@@ -885,3 +885,17 @@ class BuiltInFunction extends Function {
}
private predicate suppressUnusedThis(Function f) { any() }
/**
* A C++ user-defined literal [N4140 13.5.8].
*/
class UserDefinedLiteral extends Function {
UserDefinedLiteral() { functions(underlyingElement(this), _, 7) }
}
/**
* A C++ deduction guide [N4659 17.9].
*/
class DeductionGuide extends Function {
DeductionGuide() { functions(underlyingElement(this), _, 8) }
}