C++: Introduce (_Complex) _Float16 type which is needed after frontend update

Author: jketema

cpp/ql/lib/semmle/code/cpp/Type.qll

@@ -816,6 +816,12 @@ private predicate floatingPointTypeMapping(
   or
   // _Float128x
   kind = 50 and base = 2 and domain = TRealDomain() and realKind = 50 and extended = true
+  or
+  // _Float16
+  kind = 52 and base = 2 and domain = TRealDomain() and realKind = 52 and extended = false
+  or
+  // _Complex _Float16
+  kind = 53 and base = 2 and domain = TComplexDomain() and realKind = 52 and extended = false
 }
 
 /**

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -610,6 +610,8 @@ case @builtintype.kind of
 | 49 = @std_float128          // _Float128
 | 50 = @float128x             // _Float128x
 | 51 = @char8_t
+| 52 = @float16               // _Float16
+| 53 = @complex_float16       // _Complex _Float16
 ;
 
 builtintypes(

cpp/ql/test/library-tests/templates/type_instantiations/types.expected

@@ -1,11 +1,13 @@
 | file://:0:0:0:0 | Cl<char, Sa, Sb> * |
+| file://:0:0:0:0 | _Complex _Float16 |
 | file://:0:0:0:0 | _Complex __float128 |
 | file://:0:0:0:0 | _Complex double |
 | file://:0:0:0:0 | _Complex float |
 | file://:0:0:0:0 | _Complex long double |
 | file://:0:0:0:0 | _Decimal32 |
 | file://:0:0:0:0 | _Decimal64 |
 | file://:0:0:0:0 | _Decimal128 |
+| file://:0:0:0:0 | _Float16 |
 | file://:0:0:0:0 | _Float32 |
 | file://:0:0:0:0 | _Float32x |
 | file://:0:0:0:0 | _Float64 |

cpp/ql/test/library-tests/type_sizes/type_sizes.expected

@@ -19,13 +19,15 @@
 | file://:0:0:0:0 | StructWithDef && | 8 |
 | file://:0:0:0:0 | UnionWithDef & | 8 |
 | file://:0:0:0:0 | UnionWithDef && | 8 |
+| file://:0:0:0:0 | _Complex _Float16 | 4 |
 | file://:0:0:0:0 | _Complex __float128 | 32 |
 | file://:0:0:0:0 | _Complex double | 16 |
 | file://:0:0:0:0 | _Complex float | 8 |
 | file://:0:0:0:0 | _Complex long double | 32 |
 | file://:0:0:0:0 | _Decimal32 | 4 |
 | file://:0:0:0:0 | _Decimal64 | 8 |
 | file://:0:0:0:0 | _Decimal128 | 16 |
+| file://:0:0:0:0 | _Float16 | 2 |
 | file://:0:0:0:0 | _Float32 | 4 |
 | file://:0:0:0:0 | _Float32x | 8 |
 | file://:0:0:0:0 | _Float64 | 8 |

cpp/ql/test/library-tests/unspecified_type/types/unspecified_type.expected

@@ -1,13 +1,15 @@
 | file://:0:0:0:0 | ..()(..) | ..()(..) |
 | file://:0:0:0:0 | ..(*)(..) | ..(*)(..) |
 | file://:0:0:0:0 | Tmpl<T> | Tmpl<T> |
+| file://:0:0:0:0 | _Complex _Float16 | _Complex _Float16 |
 | file://:0:0:0:0 | _Complex __float128 | _Complex __float128 |
 | file://:0:0:0:0 | _Complex double | _Complex double |
 | file://:0:0:0:0 | _Complex float | _Complex float |
 | file://:0:0:0:0 | _Complex long double | _Complex long double |
 | file://:0:0:0:0 | _Decimal32 | _Decimal32 |
 | file://:0:0:0:0 | _Decimal64 | _Decimal64 |
 | file://:0:0:0:0 | _Decimal128 | _Decimal128 |
+| file://:0:0:0:0 | _Float16 | _Float16 |
 | file://:0:0:0:0 | _Float32 | _Float32 |
 | file://:0:0:0:0 | _Float32x | _Float32x |
 | file://:0:0:0:0 | _Float64 | _Float64 |

cpp/ql/test/library-tests/variables/variables/types.expected

@@ -1,12 +1,14 @@
 | ..()(..) | RoutineType |  |  |  |  |
 | ..(*)(..) | FunctionPointerType |  | ..()(..) |  |  |
+| _Complex _Float16 | BinaryFloatingPointType, ComplexNumberType |  |  |  |  |
 | _Complex __float128 | BinaryFloatingPointType, ComplexNumberType |  |  |  |  |
 | _Complex double | BinaryFloatingPointType, ComplexNumberType |  |  |  |  |
 | _Complex float | BinaryFloatingPointType, ComplexNumberType |  |  |  |  |
 | _Complex long double | BinaryFloatingPointType, ComplexNumberType |  |  |  |  |
 | _Decimal32 | Decimal32Type |  |  |  |  |
 | _Decimal64 | Decimal64Type |  |  |  |  |
 | _Decimal128 | Decimal128Type |  |  |  |  |
+| _Float16 | BinaryFloatingPointType, RealNumberType |  |  |  |  |
 | _Float32 | BinaryFloatingPointType, RealNumberType |  |  |  |  |
 | _Float32x | BinaryFloatingPointType, RealNumberType |  |  |  |  |
 | _Float64 | BinaryFloatingPointType, RealNumberType |  |  |  |  |