C++: autoformat

Robert Marsh · Robert Marsh · commit ae47eab727ef · 2019-11-18T15:36:08.000-08:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedFunction.qll
@@ -575,9 +575,7 @@ class TranslatedReadEffects extends TranslatedElement, TTranslatedReadEffects {
     )
   }
 
-  override predicate hasInstruction(
-    Opcode opcode, InstructionTag tag, CppType resultType
-  ) {
+  override predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType) {
     none()
   }
 
@@ -609,9 +607,7 @@ class TranslatedReadEffect extends TranslatedElement, TTranslatedReadEffect {
 
   override Function getFunction() { result = param.getFunction() }
 
-  override predicate hasInstruction(
-    Opcode opcode, InstructionTag tag, CppType resultType
-  ) {
+  override predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType) {
     opcode instanceof Opcode::ReturnIndirection and
     tag = OnlyInstructionTag() and
     resultType = getVoidType()
@@ -630,6 +626,6 @@ class TranslatedReadEffect extends TranslatedElement, TTranslatedReadEffect {
   final override CppType getInstructionOperandType(InstructionTag tag, TypedOperandTag operandTag) {
     tag = OnlyInstructionTag() and
     operandTag = sideEffectOperand() and
-    result  = getUnknownType()
+    result = getUnknownType()
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -575,9 +575,7 @@ class TranslatedReadEffects extends TranslatedElement, TTranslatedReadEffects {`
`575`	`575`	`)`
`576`	`576`	`}`
`577`	`577`
`578`		`- override predicate hasInstruction(`
`579`		`- Opcode opcode, InstructionTag tag, CppType resultType`
`580`		`- ) {`
	`578`	`+ override predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType) {`
`581`	`579`	`none()`
`582`	`580`	`}`
`583`	`581`
`@@ -609,9 +607,7 @@ class TranslatedReadEffect extends TranslatedElement, TTranslatedReadEffect {`
`609`	`607`
`610`	`608`	`override Function getFunction() { result = param.getFunction() }`
`611`	`609`
`612`		`- override predicate hasInstruction(`
`613`		`- Opcode opcode, InstructionTag tag, CppType resultType`
`614`		`- ) {`
	`610`	`+ override predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType) {`
`615`	`611`	`opcode instanceof Opcode::ReturnIndirection and`
`616`	`612`	`tag = OnlyInstructionTag() and`
`617`	`613`	`resultType = getVoidType()`
`@@ -630,6 +626,6 @@ class TranslatedReadEffect extends TranslatedElement, TTranslatedReadEffect {`
`630`	`626`	`final override CppType getInstructionOperandType(InstructionTag tag, TypedOperandTag operandTag) {`
`631`	`627`	`tag = OnlyInstructionTag() and`
`632`	`628`	`operandTag = sideEffectOperand() and`
`633`		`- result = getUnknownType()`
	`629`	`+ result = getUnknownType()`
`634`	`630`	`}`
`635`	`631`	`}`