From eede720aa87ad27c4e194e9d4a6faefc95c465ae Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Mon, 30 Jun 2025 10:44:54 +0200 Subject: [PATCH] C++: Uncomment cases in the dbscheme --- cpp/ql/lib/semmlecode.cpp.dbscheme | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/cpp/ql/lib/semmlecode.cpp.dbscheme b/cpp/ql/lib/semmlecode.cpp.dbscheme index 801b2f03360..5340d6d5f42 100644 --- a/cpp/ql/lib/semmlecode.cpp.dbscheme +++ b/cpp/ql/lib/semmlecode.cpp.dbscheme @@ -217,10 +217,6 @@ diagnostics( /*- C++ dbscheme -*/ -/* - * C++ dbscheme - */ - extractor_version( string codeql_version: string ref, string frontend_version: string ref @@ -286,7 +282,6 @@ macro_argument_expanded( string text: string ref ); -/* case @function.kind of 0 = @unknown_function | 1 = @normal_function @@ -298,7 +293,6 @@ case @function.kind of | 7 = @user_defined_literal | 8 = @deduction_guide ; -*/ functions( unique int id: @function, @@ -718,9 +712,8 @@ decltypes( boolean parentheses_would_change_meaning: boolean ref ); -/* case @type_operator.kind of -| 0 = @typeof // The frontend does not differentiate between typeof and typeof_unqual + 0 = @typeof // The frontend does not differentiate between typeof and typeof_unqual | 1 = @underlying_type | 2 = @bases | 3 = @direct_bases @@ -741,7 +734,6 @@ case @type_operator.kind of | 18 = @remove_volatile | 19 = @remove_reference ; -*/ type_operators( unique int id: @type_operator, @@ -750,9 +742,8 @@ type_operators( int base_type: @type ref ) -/* case @usertype.kind of -| 0 = @unknown_usertype + 0 = @unknown_usertype | 1 = @struct | 2 = @class | 3 = @union @@ -772,7 +763,6 @@ case @usertype.kind of | 17 = @template_union | 18 = @alias ; -*/ usertypes( unique int id: @usertype,