Autoformat

Author: AndreiDiaconu1

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedExpr.qll

@@ -833,17 +833,15 @@ abstract class TranslatedVariableAccess extends TranslatedNonConstantExpr {
 
 class TranslatedNonFieldVariableAccess extends TranslatedVariableAccess {
   TranslatedNonFieldVariableAccess() {
+    not expr instanceof FieldAccess and
+    // If the parent expression is a `LocalVariableDeclAndInitExpr`,
+    // then translate only the variables that are initializers (on the RHS)
+    // and not the LHS (the address of the LHS is generated during
+    // the translation of the initialization).
     (
-      not expr instanceof FieldAccess and
-      // If the parent expression is a `LocalVariableDeclAndInitExpr`,
-      // then translate only the variables that are initializers (on the RHS)
-      // and not the LHS (the address of the LHS is generated during
-      // the translation of the initialization).
-      (
-        expr.getParent() instanceof LocalVariableDeclAndInitExpr
-        implies
-        expr = expr.getParent().(LocalVariableDeclAndInitExpr).getInitializer()
-      )
+      expr.getParent() instanceof LocalVariableDeclAndInitExpr
+      implies
+      expr = expr.getParent().(LocalVariableDeclAndInitExpr).getInitializer()
     )
     or
     // Static field accesses should be modeled as `TranslatedNonFieldAccess`
@@ -879,7 +877,7 @@ class TranslatedNonFieldVariableAccess extends TranslatedVariableAccess {
 
 class TranslatedFieldAccess extends TranslatedVariableAccess {
   override FieldAccess expr;
-  
+
   TranslatedFieldAccess() {
     // Static field accesses should be modeled as `TranslatedNonFieldAccess`
     not expr.getTarget().isStatic()

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedFunction.qll

@@ -125,7 +125,7 @@ class TranslatedFunction extends TranslatedElement, TTranslatedFunction {
     then result = this.getBody().getFirstInstruction()
     else result = this.getReturnSuccessorInstruction()
   }
-  
+
   final override predicate hasInstruction(
     Opcode opcode, InstructionTag tag, Type resultType, boolean isLValue
   ) {