@@ -1114,7 +1114,7 @@ class TranslatedVlaDimensionStmt extends TranslatedStmt {
1114
1114
result = getTranslatedExpr ( stmt .getDimensionExpr ( ) .getFullyConverted ( ) )
1115
1115
}
1116
1116
1117
- override Instruction getFirstInstruction ( ) { result = getChild ( 0 ) .getFirstInstruction ( ) }
1117
+ override Instruction getFirstInstruction ( ) { result = this . getChild ( 0 ) .getFirstInstruction ( ) }
1118
1118
1119
1119
override predicate hasInstruction ( Opcode opcode , InstructionTag tag , CppType resultType ) {
1120
1120
none ( )
@@ -1123,8 +1123,8 @@ class TranslatedVlaDimensionStmt extends TranslatedStmt {
1123
1123
override Instruction getInstructionSuccessor ( InstructionTag tag , EdgeKind kind ) { none ( ) }
1124
1124
1125
1125
override Instruction getChildSuccessor ( TranslatedElement child ) {
1126
- child = getChild ( 0 ) and
1127
- result = getParent ( ) .getChildSuccessor ( this )
1126
+ child = this . getChild ( 0 ) and
1127
+ result = this . getParent ( ) .getChildSuccessor ( this )
1128
1128
}
1129
1129
}
1130
1130
@@ -1133,7 +1133,7 @@ class TranslatedVlaDeclarationStmt extends TranslatedStmt {
1133
1133
1134
1134
override TranslatedExpr getChild ( int id ) { none ( ) }
1135
1135
1136
- override Instruction getFirstInstruction ( ) { result = getInstruction ( OnlyInstructionTag ( ) ) }
1136
+ override Instruction getFirstInstruction ( ) { result = this . getInstruction ( OnlyInstructionTag ( ) ) }
1137
1137
1138
1138
override predicate hasInstruction ( Opcode opcode , InstructionTag tag , CppType resultType ) {
1139
1139
// TODO: This needs a new kind of instruction that represents initialization of a VLA.
@@ -1145,7 +1145,7 @@ class TranslatedVlaDeclarationStmt extends TranslatedStmt {
1145
1145
1146
1146
override Instruction getInstructionSuccessor ( InstructionTag tag , EdgeKind kind ) {
1147
1147
tag = OnlyInstructionTag ( ) and
1148
- result = getParent ( ) .getChildSuccessor ( this ) and
1148
+ result = this . getParent ( ) .getChildSuccessor ( this ) and
1149
1149
kind instanceof GotoEdge
1150
1150
}
1151
1151
0 commit comments