Skip to content

Commit 45b3f7a

Browse files
committed
C#: Update DB scheme for bitwise assignments and expressions (and some other minor changes).
1 parent 2038a07 commit 45b3f7a

1 file changed

Lines changed: 12 additions & 8 deletions

File tree

csharp/ql/lib/semmlecode.csharp.dbscheme

Lines changed: 12 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1268,21 +1268,25 @@ case @expr.kind of
12681268
@un_log_op_expr = @log_not_expr;
12691269
@log_expr = @un_log_op_expr | @bin_log_op_expr | @ternary_log_op_expr;
12701270

1271-
@bin_bit_op_expr = @bit_and_expr | @bit_or_expr | @bit_xor_expr | @lshift_expr
1272-
| @rshift_expr | @urshift_expr;
1273-
@un_bit_op_expr = @bit_not_expr;
1274-
@bit_expr = @un_bit_op_expr | @bin_bit_op_expr;
1271+
@bin_bit_expr = @bit_and_expr | @bit_or_expr | @bit_xor_expr | @lshift_expr
1272+
| @rshift_expr | @urshift_expr;
1273+
@bin_bit_operation = @and_operation | @or_operation | @xor_operation | @lshift_operation
1274+
| @rshift_operation | @urshift_operation;
1275+
@un_bit_expr = @bit_not_expr;
1276+
@un_bit_operation = @un_bit_expr;
1277+
@bit_expr = @un_bit_expr | @bin_bit_expr;
1278+
@bit_operation = @un_bit_operation | @bin_bit_operation;
12751279

12761280
@equality_op_expr = @eq_expr | @ne_expr;
12771281
@rel_op_expr = @gt_expr | @lt_expr| @ge_expr | @le_expr;
12781282
@comp_expr = @equality_op_expr | @rel_op_expr;
12791283

1280-
@op_expr = @un_op | @bin_op | @ternary_op;
1284+
@operation_expr = @un_operation | @bin_operation | @ternary_op;
12811285

12821286
@ternary_op = @ternary_log_op_expr;
1283-
@bin_op = @assign_expr | @bin_arith_operation | @bin_log_op_expr | @bin_bit_op_expr | @comp_expr;
1284-
@un_op = @un_arith_operation | @un_log_op_expr | @un_bit_op_expr | @sizeof_expr
1285-
| @pointer_indirection_expr | @address_of_expr;
1287+
@bin_operation = @assign_expr | @bin_arith_operation | @bin_log_op_expr | @bin_bit_operation | @comp_expr;
1288+
@un_operation = @un_arith_operation | @un_log_op_expr | @un_bit_operation | @sizeof_expr
1289+
| @pointer_indirection_expr | @address_of_expr;
12861290

12871291
@anonymous_function_expr = @lambda_expr | @anonymous_method_expr;
12881292

0 commit comments

Comments
 (0)