hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Rename some of the TBinarySignOperation constructors.

Browse Source
This commit is contained in:
Michael Nebel
2023-01-09 15:31:01 +01:00
parent d92b226041
commit f48eda829f
2 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
View File

@@ -394,21 +394,21 @@ module ExprNode {
class LeftShiftExpr extends BinaryOperation {
override CS::LeftShiftExpr e;
override TLShiftOp getOp() { any() }
override TLeftShiftOp getOp() { any() }
}
/** A right-shift operation. */
class RightShiftExpr extends BinaryOperation {
override CS::RightShiftExpr e;
override TRShiftOp getOp() { any() }
override TRightShiftOp getOp() { any() }
}
/** An unsigned right-shift operation. */
class UnsignedRightShiftExpr extends BinaryOperation {
override CS::UnsignedRightShiftExpr e;
override TURShiftOp getOp() { any() }
override TUnsignedRightShiftOp getOp() { any() }
}
/** A conditional expression. */

12
csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/Sign.qll
View File

@@ -18,9 +18,9 @@ newtype TBinarySignOperation =
TBitAndOp() or
TBitOrOp() or
TBitXorOp() or
TLShiftOp() or
TRShiftOp() or
TURShiftOp()
TLeftShiftOp() or
TRightShiftOp() or
TUnsignedRightShiftOp()
/** Class representing expression signs (+, -, 0). */
class Sign extends TSign {
@@ -271,10 +271,10 @@ class Sign extends TSign {
or
op = TBitXorOp() and result = bitxor(s)
or
op = TLShiftOp() and result = lshift(s)
op = TLeftShiftOp() and result = lshift(s)
or
op = TRShiftOp() and result = rshift(s)
op = TRightShiftOp() and result = rshift(s)
or
op = TURShiftOp() and result = urshift(s)
op = TUnsignedRightShiftOp() and result = urshift(s)
}
}