Skip to content

Commit f6122a6

Browse files
committed
C++: Add C23/C++23 floating-point types to dbscheme.
1 parent 385e64a commit f6122a6

File tree

2 files changed

+12
-0
lines changed

2 files changed

+12
-0
lines changed

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -612,6 +612,14 @@ case @builtintype.kind of
612612
| 51 = @char8_t
613613
| 52 = @float16 // _Float16
614614
| 53 = @complex_float16 // _Complex _Float16
615+
| 54 = @fp16 // __fp16
616+
| 55 = @std_bfloat16 // __bf16
617+
| 56 = @std_float16 // std::float16_t
618+
| 57 = @complex_std_float32 // _Complex _Float32
619+
| 58 = @complex_float32x // _Complex _Float32x
620+
| 59 = @complex_std_float64 // _Complex _Float64
621+
| 60 = @complex_float64x // _Complex _Float64x
622+
| 61 = @complex_std_float128 // _Complex _Float128
615623
;
616624

617625
builtintypes(
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Added support for new floating-point types in C23 and C++23.

0 commit comments

Comments
 (0)