diff --git a/cpp/ql/lib/semmlecode.cpp.dbscheme.stats b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
index 24253b0aeb5..23f1331ee6d 100644
--- a/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
+++ b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
@@ -16,14 +16,14 @@
@svnentry
575525
-
- @location_stmt
- 3813678
-
@location_default
29769315
+
+ @location_stmt
+ 3813678
+
@location_expr
13166528
@@ -90,7 +90,7 @@
@localvariable
- 581207
+ 581199
@enumconstant
@@ -276,10 +276,6 @@
@std_float128
466
-
- @float128x
- 466
-
@char8_t
466
@@ -296,10 +292,6 @@
@pointer
567483
-
- @reference
- 1747669
-
@type_with_specifiers
1009066
@@ -313,8 +305,8 @@
635462
- @rvalue_reference
- 613493
+ @reference
+ 1747669
@gnu_vector
@@ -324,6 +316,10 @@
@routinereference
242
+
+ @rvalue_reference
+ 613493
+
@block
10
@@ -364,10 +360,6 @@
@stdattribute
492036
-
- @alignas
- 9792
-
@declspec
243716
@@ -377,12 +369,12 @@
3
- @attribute_arg_token
- 39168
+ @alignas
+ 9792
- @attribute_arg_type
- 466
+ @attribute_arg_token
+ 39168
@attribute_arg_constant_expr
@@ -396,6 +388,10 @@
@attribute_arg_constant
1
+
+ @attribute_arg_type
+ 466
+
@derivation
368257
@@ -432,34 +428,18 @@
@lambdacapture
27977
-
- @errorexpr
- 46892
-
@address_of
438815
-
- @reference_to
- 1592467
-
@indirect
292170
-
- @ref_indirect
- 1938672
-
@array_to_pointer
1428626
-
- @vacuous_destructor_call
- 8150
-
@parexpr
3581934
@@ -468,6 +448,10 @@
@arithnegexpr
650875
+
+ @unaryplusexpr
+ 2911
+
@complementexpr
27792
@@ -610,7 +594,7 @@
@assignorexpr
- 23831
+ 23830
@assignxorexpr
@@ -620,6 +604,10 @@
@assignpaddexpr
13606
+
+ @assignpsubexpr
+ 1151
+
@andlogicalexpr
249546
@@ -634,7 +622,7 @@
@subscriptexpr
- 367604
+ 367599
@callexpr
@@ -644,6 +632,10 @@
@vastartexpr
3706
+
+ @vaargexpr
+ 950
+
@vaendexpr
2797
@@ -656,34 +648,6 @@
@varaccess
6019333
-
- @thisaccess
- 1127035
-
-
- @new_expr
- 47668
-
-
- @delete_expr
- 11749
-
-
- @throw_expr
- 21695
-
-
- @condition_decl
- 42427
-
-
- @braced_init_list
- 1108
-
-
- @type_id
- 36483
-
@runtime_sizeof
295357
@@ -693,8 +657,8 @@
49891
- @sizeof_pack
- 5595
+ @expr_stmt
+ 94234
@routineexpr
@@ -705,16 +669,12 @@
1126930
- @isemptyexpr
- 1481
+ @offsetofexpr
+ 19960
- @ispodexpr
- 634
-
-
- @hastrivialdestructor
- 466
+ @typescompexpr
+ 562865
@literal
@@ -724,105 +684,33 @@
@aggregateliteral
913874
-
- @delete_array_expr
- 1406
-
-
- @new_array_expr
- 5103
-
-
- @ctordirectinit
- 112978
-
-
- @ctorvirtualinit
- 6513
-
-
- @ctorfieldinit
- 201118
-
-
- @ctordelegatinginit
- 3351
-
-
- @dtordirectdestruct
- 41776
-
-
- @dtorvirtualdestruct
- 4128
-
-
- @dtorfielddestruct
- 41705
-
-
- @static_cast
- 210934
-
-
- @reinterpret_cast
- 30752
-
-
- @const_cast
- 35250
-
-
- @dynamic_cast
- 1037
-
@c_style_cast
4209495
-
- @lambdaexpr
- 21449
-
-
- @param_ref
- 245656
-
-
- @istrivialexpr
- 932
-
-
- @istriviallycopyableexpr
- 3730
-
-
- @isconstructibleexpr
- 466
-
-
- @isfinalexpr
- 1693
-
-
- @noexceptexpr
- 25737
-
-
- @builtinaddressof
- 13302
-
@temp_init
826674
- @assume
- 3203
+ @errorexpr
+ 46892
- @unaryplusexpr
- 2911
+ @reference_to
+ 1592467
+
+
+ @ref_indirect
+ 1938672
+
+
+ @vacuous_destructor_call
+ 8150
+
+
+ @assume
+ 3203
@conjugation
@@ -868,25 +756,41 @@
@maxexpr
1
-
- @assignpsubexpr
- 1151
-
@virtfunptrexpr
1
- @vaargexpr
- 950
+ @thisaccess
+ 1127035
- @expr_stmt
- 94234
+ @new_expr
+ 47668
- @offsetofexpr
- 19960
+ @delete_expr
+ 11749
+
+
+ @throw_expr
+ 21695
+
+
+ @condition_decl
+ 42427
+
+
+ @braced_init_list
+ 1108
+
+
+ @type_id
+ 36483
+
+
+ @sizeof_pack
+ 5595
@hasassignexpr
@@ -944,10 +848,18 @@
@isconvtoexpr
104
+
+ @isemptyexpr
+ 1481
+
@isenumexpr
522
+
+ @ispodexpr
+ 634
+
@ispolyexpr
3
@@ -956,22 +868,82 @@
@isunionexpr
5
-
- @typescompexpr
- 562865
-
@intaddrexpr
1
+
+ @hastrivialdestructor
+ 466
+
@uuidof
20120
+
+ @delete_array_expr
+ 1406
+
+
+ @new_array_expr
+ 5103
+
@foldexpr
4
+
+ @ctordirectinit
+ 112978
+
+
+ @ctorvirtualinit
+ 6513
+
+
+ @ctorfieldinit
+ 201118
+
+
+ @ctordelegatinginit
+ 3351
+
+
+ @dtordirectdestruct
+ 41776
+
+
+ @dtorvirtualdestruct
+ 4128
+
+
+ @dtorfielddestruct
+ 41705
+
+
+ @static_cast
+ 210934
+
+
+ @reinterpret_cast
+ 30752
+
+
+ @const_cast
+ 35250
+
+
+ @dynamic_cast
+ 1037
+
+
+ @lambdaexpr
+ 21449
+
+
+ @param_ref
+ 245656
+
@noopexpr
37
@@ -1000,10 +972,18 @@
@isnothrowassignableexpr
4183
+
+ @istrivialexpr
+ 932
+
@isstandardlayoutexpr
2
+
+ @istriviallycopyableexpr
+ 3730
+
@isliteraltypeexpr
2
@@ -1020,6 +1000,10 @@
@hasnothrowmoveassignexpr
4
+
+ @isconstructibleexpr
+ 466
+
@isnothrowconstructibleexpr
14434
@@ -1056,6 +1040,14 @@
@isvalueclassexpr
1
+
+ @isfinalexpr
+ 1693
+
+
+ @noexceptexpr
+ 25737
+
@builtinshufflevector
1
@@ -1064,6 +1056,10 @@
@builtinchooseexpr
9050
+
+ @builtinaddressof
+ 13302
+
@vec_fill
1
@@ -1232,6 +1228,10 @@
@stmt_while
30110
+
+ @stmt_goto
+ 110511
+
@stmt_label
53056
@@ -1261,8 +1261,8 @@
20753
- @stmt_try_block
- 46921
+ @stmt_asm
+ 109804
@stmt_decl
@@ -1270,7 +1270,7 @@
@stmt_empty
- 193324
+ 193321
@stmt_continue
@@ -1281,24 +1281,8 @@
102331
- @stmt_range_based_for
- 8393
-
-
- @stmt_handler
- 65314
-
-
- @stmt_constexpr_if
- 52508
-
-
- @stmt_goto
- 110511
-
-
- @stmt_asm
- 109804
+ @stmt_try_block
+ 46921
@stmt_microsoft_try
@@ -1316,6 +1300,18 @@
@stmt_assigned_goto
9061
+
+ @stmt_range_based_for
+ 8393
+
+
+ @stmt_handler
+ 65314
+
+
+ @stmt_constexpr_if
+ 52508
+
@stmt_co_return
2
@@ -1356,10 +1352,6 @@
@ppd_undef
258328
-
- @ppd_pragma
- 312020
-
@ppd_include_next
1865
@@ -1372,6 +1364,10 @@
@ppd_error
46
+
+ @ppd_pragma
+ 312020
+
@ppd_objc_import
2
@@ -2008,7 +2004,7 @@
seconds
- 10051
+ 14798
@@ -2089,12 +2085,12 @@
3
4
- 678
+ 239
4
5
- 319
+ 757
6
@@ -2109,31 +2105,31 @@
10
11
- 79
-
-
- 11
- 12
- 159
-
-
- 13
- 17
119
- 17
+ 11
+ 14
+ 159
+
+
+ 14
+ 17
+ 79
+
+
+ 18
21
159
21
- 44
+ 45
159
- 55
- 89
+ 64
+ 130
79
@@ -2202,37 +2198,47 @@
3
4
- 1236
+ 398
4
5
- 518
+ 1356
5
6
- 159
+ 199
6
7
- 558
+ 239
7
- 9
+ 8
279
+
+ 8
+ 9
+ 39
+
9
- 24
+ 10
+ 319
+
+
+ 11
+ 28
279
- 24
- 91
- 279
+ 28
+ 96
+ 199
@@ -2277,24 +2283,19 @@
12
-
- 3
- 4
- 39
-
4
5
+ 79
+
+
+ 182
+ 183
39
- 120
- 121
- 39
-
-
- 129
- 130
+ 189
+ 190
39
@@ -2311,27 +2312,22 @@
1
2
- 5823
+ 10011
2
3
- 2074
+ 3549
3
- 4
- 917
+ 5
+ 1116
- 4
- 6
- 917
-
-
- 6
- 40
- 319
+ 18
+ 47
+ 119
@@ -2347,32 +2343,22 @@
1
2
- 5065
+ 9572
2
3
- 1794
+ 3470
3
4
- 1236
+ 1037
4
- 5
- 757
-
-
- 5
- 7
- 877
-
-
- 7
- 67
- 319
+ 74
+ 717
@@ -2388,12 +2374,12 @@
1
2
- 9892
+ 14518
2
- 3
- 159
+ 4
+ 279
@@ -2762,11 +2748,11 @@
cpu_seconds
- 7838
+ 7389
elapsed_seconds
- 161
+ 138
@@ -2812,17 +2798,17 @@
1
2
- 6605
+ 5948
2
3
- 853
+ 979
3
- 12
- 380
+ 15
+ 461
@@ -2838,12 +2824,12 @@
1
2
- 7354
+ 6778
2
3
- 484
+ 610
@@ -2859,56 +2845,51 @@
1
2
- 23
+ 11
2
3
- 23
-
-
- 4
- 5
- 11
+ 34
7
8
- 23
-
-
- 11
- 12
11
- 25
- 26
+ 9
+ 10
11
- 52
- 53
+ 12
+ 13
11
- 114
- 115
+ 37
+ 38
11
- 145
- 146
+ 150
+ 151
11
- 244
- 245
+ 172
+ 173
11
- 248
- 249
+ 211
+ 212
+ 11
+
+
+ 258
+ 259
11
@@ -2925,56 +2906,51 @@
1
2
- 23
+ 11
2
3
- 23
-
-
- 4
- 5
- 11
+ 34
7
8
- 23
-
-
- 11
- 12
11
- 25
- 26
+ 9
+ 10
11
- 51
- 52
+ 12
+ 13
11
- 102
- 103
+ 36
+ 37
11
- 107
- 108
+ 125
+ 126
11
- 172
- 173
+ 126
+ 127
11
- 230
- 231
+ 145
+ 146
+ 11
+
+
+ 227
+ 228
11
@@ -12311,7 +12287,7 @@
2
3
- 543265
+ 543264
3
@@ -12346,7 +12322,7 @@
11
337
- 224500
+ 224502
339
@@ -18397,11 +18373,11 @@
localvariables
- 581207
+ 581199
id
- 581207
+ 581199
type_id
@@ -18409,7 +18385,7 @@
name
- 91326
+ 91325
@@ -18423,7 +18399,7 @@
1
2
- 581207
+ 581199
@@ -18439,7 +18415,7 @@
1
2
- 581207
+ 581199
@@ -18532,7 +18508,7 @@
1
2
- 57522
+ 57521
2
@@ -18568,7 +18544,7 @@
1
2
- 77150
+ 77148
2
@@ -19606,19 +19582,19 @@
builtintypes
- 22848
+ 22382
id
- 22848
+ 22382
name
- 22848
+ 22382
kind
- 22848
+ 22382
size
@@ -19644,7 +19620,7 @@
1
2
- 22848
+ 22382
@@ -19660,7 +19636,7 @@
1
2
- 22848
+ 22382
@@ -19676,7 +19652,7 @@
1
2
- 22848
+ 22382
@@ -19692,7 +19668,7 @@
1
2
- 22848
+ 22382
@@ -19708,7 +19684,7 @@
1
2
- 22848
+ 22382
@@ -19724,7 +19700,7 @@
1
2
- 22848
+ 22382
@@ -19740,7 +19716,7 @@
1
2
- 22848
+ 22382
@@ -19756,7 +19732,7 @@
1
2
- 22848
+ 22382
@@ -19772,7 +19748,7 @@
1
2
- 22848
+ 22382
@@ -19788,7 +19764,7 @@
1
2
- 22848
+ 22382
@@ -19804,7 +19780,7 @@
1
2
- 22848
+ 22382
@@ -19820,7 +19796,7 @@
1
2
- 22848
+ 22382
@@ -19836,7 +19812,7 @@
1
2
- 22848
+ 22382
@@ -19852,7 +19828,7 @@
1
2
- 22848
+ 22382
@@ -19868,7 +19844,7 @@
1
2
- 22848
+ 22382
@@ -19887,8 +19863,8 @@
466
- 3
- 4
+ 2
+ 3
466
@@ -19928,8 +19904,8 @@
466
- 3
- 4
+ 2
+ 3
466
@@ -19969,8 +19945,8 @@
466
- 3
- 4
+ 2
+ 3
466
@@ -20057,8 +20033,8 @@
466
- 31
- 32
+ 30
+ 31
466
@@ -20083,8 +20059,8 @@
466
- 31
- 32
+ 30
+ 31
466
@@ -20109,8 +20085,8 @@
466
- 31
- 32
+ 30
+ 31
466
@@ -20177,8 +20153,8 @@
466
- 12
- 13
+ 11
+ 12
466
@@ -20213,8 +20189,8 @@
466
- 12
- 13
+ 11
+ 12
466
@@ -20249,8 +20225,8 @@
466
- 12
- 13
+ 11
+ 12
466
@@ -21468,7 +21444,7 @@
name
- 1348530
+ 1348063
kind
@@ -21528,7 +21504,7 @@
3
7
- 104916
+ 104450
7
@@ -21559,12 +21535,12 @@
2
3
- 125900
+ 124967
3
7
- 14921
+ 15387
@@ -21689,8 +21665,8 @@
466
- 740
- 741
+ 739
+ 740
466
@@ -26371,15 +26347,15 @@
unspecifiedtype
- 10137757
+ 10137290
type_id
- 10137757
+ 10137290
unspecified_type_id
- 6813527
+ 6813061
@@ -26393,7 +26369,7 @@
1
2
- 10137757
+ 10137290
@@ -26409,7 +26385,7 @@
1
2
- 4583230
+ 4582764
2
@@ -28996,11 +28972,11 @@
expr_isload
- 4981760
+ 4981370
expr_id
- 4981760
+ 4981370
@@ -31127,11 +31103,11 @@
kind
- 3387
+ 1163
location
- 3592604
+ 8474327
@@ -31176,68 +31152,73 @@
1
- 3
- 246
+ 10
+ 88
- 4
- 14
- 282
+ 12
+ 18
+ 88
- 14
- 38
- 282
+ 26
+ 100
+ 88
- 42
- 83
- 282
+ 105
+ 305
+ 88
- 85
- 142
- 282
+ 320
+ 417
+ 88
- 145
- 339
- 282
+ 466
+ 784
+ 88
- 364
- 564
- 282
+ 892
+ 1647
+ 88
- 653
- 832
- 282
+ 1656
+ 2402
+ 88
- 973
- 1185
- 282
+ 3130
+ 4067
+ 88
- 1329
- 2628
- 282
+ 4297
+ 4915
+ 88
- 3015
- 6253
- 282
+ 5184
+ 20397
+ 88
- 6592
- 78904
- 282
+ 25254
+ 49060
+ 88
- 109469
- 109470
- 35
+ 63119
+ 136808
+ 88
+
+
+ 285063
+ 285064
+ 17
@@ -31252,68 +31233,73 @@
1
- 2
- 282
+ 9
+ 88
- 2
- 3
- 176
+ 9
+ 15
+ 88
- 3
- 6
- 282
+ 17
+ 96
+ 88
- 6
- 13
- 282
+ 99
+ 222
+ 88
- 14
- 26
- 282
+ 260
+ 383
+ 88
- 28
- 62
- 246
+ 408
+ 577
+ 88
- 63
- 83
- 282
+ 595
+ 749
+ 88
- 91
- 183
- 282
+ 864
+ 1774
+ 88
- 206
- 342
- 282
+ 1812
+ 2545
+ 88
- 353
- 448
- 282
+ 2601
+ 2910
+ 88
- 469
- 1020
- 282
+ 3419
+ 4913
+ 88
- 1051
- 14619
- 282
+ 5471
+ 21108
+ 88
- 16978
- 32762
- 141
+ 26251
+ 76182
+ 88
+
+
+ 223904
+ 223905
+ 17
@@ -31329,32 +31315,22 @@
1
2
- 1941777
+ 7133647
2
3
- 838486
+ 661870
3
- 4
- 247163
+ 18
+ 637071
- 4
- 8
- 284529
-
-
- 8
- 155
- 269533
-
-
- 155
- 53477
- 11114
+ 18
+ 71656
+ 41738
@@ -31370,22 +31346,17 @@
1
2
- 2392776
+ 7239544
2
3
- 875922
+ 617153
3
- 6
- 306969
-
-
- 6
- 25
- 16936
+ 32
+ 617629
@@ -35621,11 +35592,11 @@
stmt_decl_bind
- 585138
+ 585129
stmt
- 545022
+ 545014
num
@@ -35633,7 +35604,7 @@
decl
- 585033
+ 585024
@@ -35647,12 +35618,12 @@
1
2
- 524159
+ 524152
2
19
- 20862
+ 20861
@@ -35668,12 +35639,12 @@
1
2
- 524159
+ 524152
2
19
- 20862
+ 20861
@@ -35871,7 +35842,7 @@
1
2
- 584995
+ 584986
2
@@ -35892,7 +35863,7 @@
1
2
- 585033
+ 585024
@@ -35902,11 +35873,11 @@
stmt_decl_entry_bind
- 527594
+ 527587
stmt
- 487781
+ 487773
num
@@ -35914,7 +35885,7 @@
decl_entry
- 527536
+ 527528
@@ -35928,7 +35899,7 @@
1
2
- 467183
+ 467176
2
@@ -35949,7 +35920,7 @@
1
2
- 467183
+ 467176
2
@@ -36152,7 +36123,7 @@
1
2
- 527515
+ 527507
3
@@ -36173,7 +36144,7 @@
1
2
- 527536
+ 527528