Skip to content

Commit a4de311

Browse files
authored
Merge pull request #15233 from jketema/uncomment-function-kind
C++: Uncomment cases in the dbscheme
2 parents 552e156 + 3c73f14 commit a4de311

File tree

8 files changed

+10669
-856
lines changed

8 files changed

+10669
-856
lines changed

cpp/downgrades/5340d6d5f428557632b1a50113e406430f29ef7d/old.dbscheme

Lines changed: 2423 additions & 0 deletions
Large diffs are not rendered by default.

cpp/downgrades/5340d6d5f428557632b1a50113e406430f29ef7d/semmlecode.cpp.dbscheme

Lines changed: 2433 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
description: Uncomment cases in dbscheme
2+
compatibility: full

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 2 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -217,10 +217,6 @@ diagnostics(
217217

218218
/*- C++ dbscheme -*/
219219

220-
/*
221-
* C++ dbscheme
222-
*/
223-
224220
extractor_version(
225221
string codeql_version: string ref,
226222
string frontend_version: string ref
@@ -286,7 +282,6 @@ macro_argument_expanded(
286282
string text: string ref
287283
);
288284

289-
/*
290285
case @function.kind of
291286
0 = @unknown_function
292287
| 1 = @normal_function
@@ -298,7 +293,6 @@ case @function.kind of
298293
| 7 = @user_defined_literal
299294
| 8 = @deduction_guide
300295
;
301-
*/
302296

303297
functions(
304298
unique int id: @function,
@@ -718,9 +712,8 @@ decltypes(
718712
boolean parentheses_would_change_meaning: boolean ref
719713
);
720714

721-
/*
722715
case @type_operator.kind of
723-
| 0 = @typeof // The frontend does not differentiate between typeof and typeof_unqual
716+
0 = @typeof // The frontend does not differentiate between typeof and typeof_unqual
724717
| 1 = @underlying_type
725718
| 2 = @bases
726719
| 3 = @direct_bases
@@ -741,7 +734,6 @@ case @type_operator.kind of
741734
| 18 = @remove_volatile
742735
| 19 = @remove_reference
743736
;
744-
*/
745737

746738
type_operators(
747739
unique int id: @type_operator,
@@ -750,9 +742,8 @@ type_operators(
750742
int base_type: @type ref
751743
)
752744

753-
/*
754745
case @usertype.kind of
755-
| 0 = @unknown_usertype
746+
0 = @unknown_usertype
756747
| 1 = @struct
757748
| 2 = @class
758749
| 3 = @union
@@ -772,7 +763,6 @@ case @usertype.kind of
772763
| 17 = @template_union
773764
| 18 = @alias
774765
;
775-
*/
776766

777767
usertypes(
778768
unique int id: @usertype,

0 commit comments

Comments
 (0)