Format ql and test.

Author: fjatWbyT

cpp/common/src/codingstandards/cpp/deadcode/UnusedVariables.qll

@@ -161,8 +161,10 @@ string getConstExprValue(Variable v) {
  * Counts uses of `Variable` v in a local array of size `n`
  */
 int countUsesInLocalArraySize(Variable v) {
-  result = count(ArrayType at, LocalVariable arrayVariable |
-		 arrayVariable.getType().resolveTypedefs() = at and
-		 v.(PotentiallyUnusedLocalVariable).getFunction() = arrayVariable.getFunction() and
-		 at.getArraySize().toString() = getConstExprValue(v))
+  result =
+    count(ArrayType at, LocalVariable arrayVariable |
+      arrayVariable.getType().resolveTypedefs() = at and
+      v.(PotentiallyUnusedLocalVariable).getFunction() = arrayVariable.getFunction() and
+      at.getArraySize().toString() = getConstExprValue(v)
+    )
 }

cpp/common/test/rules/deadcode/DeadCode.expected

@@ -12,6 +12,6 @@
 | test.cpp:72:3:73:3 | try { ... } | This statement is dead code. |
 | test.cpp:73:17:74:3 | { ... } | This statement is dead code. |
 | test.cpp:79:17:80:3 | { ... } | This statement is dead code. |
-| test.cpp:85:3:85:44 | declaration | This statement is dead code. |
+| test.cpp:85:3:85:43 | declaration | This statement is dead code. |
 | test.cpp:87:3:87:30 | declaration | This statement is dead code. |
 | test.cpp:90:3:90:50 | declaration | This statement is dead code. |

cpp/common/test/rules/deadcode/test.cpp

@@ -81,12 +81,12 @@ int test_dead_code(int x) {
 
   static_assert(1); // COMPLIANT
 
-  constexpr int constexpr_array_size{6};     // COMPLIANT
-  int unused_array[constexpr_array_size] {}; // NON_COMPLIANT
+  constexpr int constexpr_array_size{6};    // COMPLIANT
+  int unused_array[constexpr_array_size]{}; // NON_COMPLIANT
 
   constexpr int unused_int{2}; // NON_COMPLIANT
 
-  constexpr int   constexpr_used_array[]{3, 4, 5}; // COMPLIANT
+  constexpr int constexpr_used_array[]{3, 4, 5};   // COMPLIANT
   constexpr int constexpr_unused_array[]{0, 1, 2}; // NON_COMPLIANT
 
   return live5 + live6 + constexpr_used_array[1]; // COMPLIANT