Merge pull request #19862 from jketema/complex

C++: Support more complex 16-bit float types

cpp/ql/lib/change-notes/2025-06-24-float16.md

@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* Added support for `__fp16 _Complex` and `__bf16 _Complex` types

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

@@ -858,6 +858,15 @@ private predicate floatingPointTypeMapping(
   or
   // __mfp8
   kind = 62 and base = 2 and domain = TRealDomain() and realKind = 62 and extended = false
+  or
+  // _Complex __fp16
+  kind = 64 and base = 2 and domain = TComplexDomain() and realKind = 54 and extended = false
+  or
+  // _Complex __bf16
+  kind = 65 and base = 2 and domain = TComplexDomain() and realKind = 55 and extended = false
+  or
+  // _Complex std::float16_t
+  kind = 66 and base = 2 and domain = TComplexDomain() and realKind = 56 and extended = false
 }
 
 /**

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -693,6 +693,9 @@ case @builtintype.kind of
 | 61 = @complex_std_float128  // _Complex _Float128
 | 62 = @mfp8                  // __mfp8
 | 63 = @scalable_vector_count // __SVCount_t
+| 64 = @complex_fp16          // _Complex __fp16
+| 65 = @complex_std_bfloat16  // _Complex __bf16
+| 66 = @complex_std_float16   // _Complex std::float16_t
 ;
 
 builtintypes(

cpp/ql/lib/semmlecode.cpp.dbscheme.stats

@@ -336,6 +336,18 @@
             <k>@scalable_vector_count</k>
             <v>124</v>
         </e>
+        <e>
+            <k>@complex_fp16</k>
+            <v>124</v>
+        </e>
+        <e>
+            <k>@complex_std_bfloat16</k>
+            <v>124</v>
+        </e>
+        <e>
+            <k>@complex_std_float16</k>
+            <v>124</v>
+        </e>
         <e>
             <k>@pointer</k>
             <v>455609</v>

cpp/ql/lib/upgrades/e38346051783182ea75822e4adf8d4c6a949bc37/upgrade.properties

@@ -0,0 +1,2 @@
+description: Support more complex 16-bit floating-point types
+compatibility: full