Merge pull request #7852 from tautschnig/features/uninit-warning-gcc6

Silence another spurious maybe-uninitialized warning
diffblue · Aug 23, 2023 · 88e7bfe · 88e7bfe
2 parents 79186c4 + b7054ba
commit 88e7bfe
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/util/lower_byte_operators.cpp b/src/util/lower_byte_operators.cpp
@@ -1111,8 +1111,14 @@ static exprt lower_byte_extract_array_vector(
   if(num_elements.has_value())
   {
     exprt::operandst operands;
+    // Work around spurious GCC warning about num_elements being uninitialised.
+#pragma GCC diagnostic push
+#ifndef __clang__
+#  pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
+#endif
     operands.reserve(*num_elements);
     for(std::size_t i = 0; i < *num_elements; ++i)
+#pragma GCC diagnostic pop
     {
       plus_exprt new_offset(
         unpacked.offset(),