C++: Support the __mfp8 floating point type

jketema · jketema · commit 691e462501d2 · 2025-06-09T23:42:07.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/Type.qll b/cpp/ql/lib/semmle/code/cpp/Type.qll
@@ -839,6 +839,9 @@ private predicate floatingPointTypeMapping(
   or
   // _Complex _Float128
   kind = 61 and base = 2 and domain = TComplexDomain() and realKind = 49 and extended = false
+  or
+  // __mfp8
+  kind = 62 and base = 2 and domain = TRealDomain() and realKind = 62 and extended = false
 }
 
 /**
diff --git a/cpp/ql/lib/semmlecode.cpp.dbscheme b/cpp/ql/lib/semmlecode.cpp.dbscheme
@@ -691,6 +691,7 @@ case @builtintype.kind of
 | 59 = @complex_std_float64   // _Complex _Float64
 | 60 = @complex_float64x      // _Complex _Float64x
 | 61 = @complex_std_float128  // _Complex _Float128
+| 62 = @mfp8                  // __mfp8
 ;
 
 builtintypes(

Original file line number	Diff line number	Diff line change
`@@ -839,6 +839,9 @@ private predicate floatingPointTypeMapping(`
`839`	`839`	`or`
`840`	`840`	`// _Complex _Float128`
`841`	`841`	`kind = 61 and base = 2 and domain = TComplexDomain() and realKind = 49 and extended = false`
	`842`	`+ or`
	`843`	`+ // __mfp8`
	`844`	`+ kind = 62 and base = 2 and domain = TRealDomain() and realKind = 62 and extended = false`
`842`	`845`	`}`
`843`	`846`
`844`	`847`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -691,6 +691,7 @@ case @builtintype.kind of`
`691`	`691`	`\| 59 = @complex_std_float64 // _Complex _Float64`
`692`	`692`	`\| 60 = @complex_float64x // _Complex _Float64x`
`693`	`693`	`\| 61 = @complex_std_float128 // _Complex _Float128`
	`694`	`+\| 62 = @mfp8 // __mfp8`
`694`	`695`	`;`
`695`	`696`
`696`	`697`	`builtintypes(`