---

yaml
---
r: 83313
b: refs/heads/variant-submodule
c: 4763289
h: refs/heads/develop
i:
  83311: c3d101d

Author: TGWDB

[refs]

@@ -131,7 +131,7 @@ refs/heads/unwind-counters4: 57aedaa3fe3995b30ba69c96c9f04df79f8e8ff8
 refs/heads/value-set-make-member: 0f8404cb460f55d43bc253e12f1bde7fd7ed4d37
 refs/heads/value-set-member-fix: 2c87bd4c0d9e1954e2de6af0118fa1ef296ae548
 "refs/heads/value_set_fi_hacks": 3d243543adb4ff450596e7994e2fa1d590ec1e1b
-refs/heads/variant-submodule: f85b0ecabd9186e20e4618938b6069298290b5c5
+refs/heads/variant-submodule: 47632897138bfe1e421fa5fd631bb3e91a6b1464
 refs/heads/windows-console-streambuf: b984ac7bd772da956bb5656f0072d85b3fdbbf34
 refs/tags/cbmc-5.10: 097cf712f57d59cff9c53a9fb7b9b81be1245f93
 refs/tags/cbmc-5.11: 90d0de91b0918c9e5d5ed250cae62241ae38392a

branches/variant-submodule/src/ansi-c/expr2c.cpp

@@ -2317,12 +2317,10 @@ std::string expr2ct::convert_rox(const shift_exprt &src, unsigned precedence)
     UNREACHABLE;
   }
   // Construct the "width(AAAA)" constant
-  const exprt width_expr =
-    from_integer(type_width, src.distance().type());
+  const exprt width_expr = from_integer(type_width, src.distance().type());
   // Apply modulo to n since shifting will overflow
   // That is: 0001 << 4 == 0, but 0001 rol 4 == 0001
-  const exprt distance_modulo_width =
-    mod_exprt(src.distance(), width_expr);
+  const exprt distance_modulo_width = mod_exprt(src.distance(), width_expr);
   // Now put the pieces together
   // width(AAAA) - (n % width(AAAA))
   const auto complement_width_expr =