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

C++: Autoformat.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-03-13 15:41:17 +01:00
parent 00450d10bb
commit a5051655a1
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
View File

@@ -190,7 +190,8 @@ abstract class Indirection extends Type {
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo) { none() } predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo) { none() }
} }
private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType { private class PointerOrArrayOrReferenceTypeIndirection extends Indirection instanceof PointerOrArrayOrReferenceType
{
PointerOrArrayOrReferenceTypeIndirection() { PointerOrArrayOrReferenceTypeIndirection() {
baseType = PointerOrArrayOrReferenceType.super.getBaseType() baseType = PointerOrArrayOrReferenceType.super.getBaseType()
} }
@@ -473,11 +474,13 @@ abstract class BaseSourceVariableInstruction extends Instruction {
} }
private class BaseIRVariableInstruction extends BaseSourceVariableInstruction, private class BaseIRVariableInstruction extends BaseSourceVariableInstruction,
VariableAddressInstruction { VariableAddressInstruction
{
override BaseIRVariable getBaseSourceVariable() { result.getIRVariable() = this.getIRVariable() } override BaseIRVariable getBaseSourceVariable() { result.getIRVariable() = this.getIRVariable() }
} }
private class BaseAllocationInstruction extends BaseSourceVariableInstruction, AllocationInstruction { private class BaseAllocationInstruction extends BaseSourceVariableInstruction, AllocationInstruction
{
override BaseCallVariable getBaseSourceVariable() { result.getCallInstruction() = this } override BaseCallVariable getBaseSourceVariable() { result.getCallInstruction() = this }
} }

3
cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll
View File

@@ -289,7 +289,8 @@ module FiletimeYearArithmeticOperationCheckFlow =
/** /**
* Taint configuration for finding an operation with hardcoded 365 that will flow into any known date/time field. * Taint configuration for finding an operation with hardcoded 365 that will flow into any known date/time field.
*/ */
deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking::Configuration { deprecated class PossibleYearArithmeticOperationCheckConfiguration extends TaintTracking::Configuration
{
PossibleYearArithmeticOperationCheckConfiguration() { PossibleYearArithmeticOperationCheckConfiguration() {
this = "PossibleYearArithmeticOperationCheckConfiguration" this = "PossibleYearArithmeticOperationCheckConfiguration"
} }