hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Autoformat

Browse Source
This commit is contained in:
AndreiDiaconu1
2019-09-23 15:03:38 +01:00
parent ae503b2982
commit 7f76947af0
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedElement.qll
View File

@@ -194,7 +194,7 @@ predicate needsLoad(Expr expr) {
* Holds if we should ignore the `Load` instruction for `expr` when generating IR.
*/
private predicate ignoreLoad(Expr expr) {
// No load needed for the qualifier of an array access,
// No load needed for the qualifier of an array access,
// since we use the instruction `ElementsAddress`
// to get the address of the first element in an array
expr = any(ArrayAccess aa).getQualifier()

4
csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedExpr.qll
View File

@@ -1447,7 +1447,7 @@ class TranslatedAssignOperation extends TranslatedAssignment {
else result instanceof Opcode::Add
)
or
expr instanceof AssignSubExpr and
expr instanceof AssignSubExpr and
(
if expr.getRValue().getType() instanceof PointerType
then result instanceof Opcode::PointerSub
@@ -1505,7 +1505,7 @@ class TranslatedAssignOperation extends TranslatedAssignment {
exists(Opcode opcode |
opcode = this.getOpcode() and
(
opcode instanceof Opcode::PointerAdd or
opcode instanceof Opcode::PointerAdd or
opcode instanceof Opcode::PointerSub
)
) and