@@ -1114,7 +1114,7 @@ class TranslatedVlaDimensionStmt extends TranslatedStmt {
11141114 result = getTranslatedExpr ( stmt .getDimensionExpr ( ) .getFullyConverted ( ) )
11151115 }
11161116
1117- override Instruction getFirstInstruction ( ) { result = getChild ( 0 ) .getFirstInstruction ( ) }
1117+ override Instruction getFirstInstruction ( ) { result = this . getChild ( 0 ) .getFirstInstruction ( ) }
11181118
11191119 override predicate hasInstruction ( Opcode opcode , InstructionTag tag , CppType resultType ) {
11201120 none ( )
@@ -1123,8 +1123,8 @@ class TranslatedVlaDimensionStmt extends TranslatedStmt {
11231123 override Instruction getInstructionSuccessor ( InstructionTag tag , EdgeKind kind ) { none ( ) }
11241124
11251125 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 )
11281128 }
11291129}
11301130
@@ -1133,7 +1133,7 @@ class TranslatedVlaDeclarationStmt extends TranslatedStmt {
11331133
11341134 override TranslatedExpr getChild ( int id ) { none ( ) }
11351135
1136- override Instruction getFirstInstruction ( ) { result = getInstruction ( OnlyInstructionTag ( ) ) }
1136+ override Instruction getFirstInstruction ( ) { result = this . getInstruction ( OnlyInstructionTag ( ) ) }
11371137
11381138 override predicate hasInstruction ( Opcode opcode , InstructionTag tag , CppType resultType ) {
11391139 // TODO: This needs a new kind of instruction that represents initialization of a VLA.
@@ -1145,7 +1145,7 @@ class TranslatedVlaDeclarationStmt extends TranslatedStmt {
11451145
11461146 override Instruction getInstructionSuccessor ( InstructionTag tag , EdgeKind kind ) {
11471147 tag = OnlyInstructionTag ( ) and
1148- result = getParent ( ) .getChildSuccessor ( this ) and
1148+ result = this . getParent ( ) .getChildSuccessor ( this ) and
11491149 kind instanceof GotoEdge
11501150 }
11511151
0 commit comments