Skip to content

Commit 9f20cb8

Browse files
committed
C++/C#: Autoformat
1 parent fcfc110 commit 9f20cb8

File tree

10 files changed

+4
-12
lines changed

10 files changed

+4
-12
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/Opcode.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -485,4 +485,3 @@ module Opcode {
485485
final override string toString() { result = "NewObj" }
486486
}
487487
}
488-

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
648648
int index;
649649

650650
IndexedInstruction() { index = Construction::getInstructionIndex(this) }
651-
652651

653652
final override string getImmediateString() { result = index.toString() }
654653

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
648648
int index;
649649

650650
IndexedInstruction() { index = Construction::getInstructionIndex(this) }
651-
652651

653652
final override string getImmediateString() { result = index.toString() }
654653

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -460,8 +460,8 @@ class TranslatedSideEffect extends TranslatedElement, TTranslatedArgumentSideEff
460460
tag instanceof OnlyInstructionTag and
461461
operandTag instanceof BufferSizeOperandTag and
462462
result = getTranslatedExpr(call
463-
.getArgument(call.getTarget().(SideEffectFunction).getParameterSizeIndex(index)).getFullyConverted())
464-
.getResult()
463+
.getArgument(call.getTarget().(SideEffectFunction).getParameterSizeIndex(index))
464+
.getFullyConverted()).getResult()
465465
}
466466

467467
override Type getInstructionOperandType(InstructionTag tag, TypedOperandTag operandTag) {

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
648648
int index;
649649

650650
IndexedInstruction() { index = Construction::getInstructionIndex(this) }
651-
652651

653652
final override string getImmediateString() { result = index.toString() }
654653

cpp/ql/src/semmle/code/cpp/models/implementations/IdentityFunction.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,4 +37,3 @@ class IdentityFunction extends DataFlowFunction, SideEffectFunction, AliasFuncti
3737
input.isParameter(0) and output.isReturnValue()
3838
}
3939
}
40-

cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,4 +95,3 @@ class PureFunction extends TaintFunction, SideEffectFunction {
9595

9696
override predicate hasOnlySpecificWriteSideEffects() { any() }
9797
}
98-

cpp/ql/src/semmle/code/cpp/models/interfaces/SideEffect.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,15 +31,15 @@ abstract class SideEffectFunction extends Function {
3131

3232
/**
3333
* Holds if the value pointed to by the parameter at index `i` is written to. `buffer` is true
34-
* if the write may be at an offset. `mustWrite` is true if the write is unconditional.
34+
* if the write may be at an offset. `mustWrite` is true if the write is unconditional.
3535
*/
3636
predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
3737
none()
3838
}
3939

4040
/**
4141
* Holds if the value pointed to by the parameter at index `i` is read from. `buffer` is true
42-
* if the read may be at an offset.
42+
* if the read may be at an offset.
4343
*/
4444
predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) { none() }
4545

csharp/ql/src/semmle/code/csharp/ir/implementation/Opcode.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -485,4 +485,3 @@ module Opcode {
485485
final override string toString() { result = "NewObj" }
486486
}
487487
}
488-

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -648,7 +648,6 @@ class IndexedInstruction extends Instruction {
648648
int index;
649649

650650
IndexedInstruction() { index = Construction::getInstructionIndex(this) }
651-
652651

653652
final override string getImmediateString() { result = index.toString() }
654653

0 commit comments

Comments
 (0)