Description: Another try to convince GCC
 GCC wrongly complains about uninitialised use.
 .
 cbmc (5.76.1-1) unstable; urgency=low
 .
   * New upstream release
   * Includes bugfix for unintentional copy (Closes: #984008)
   * Updated Standards version to 4.6.0 (no changes required)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/984008

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2023-02-10

--- cbmc-5.76.1.orig/src/goto-instrument/unwindset.cpp
+++ cbmc-5.76.1/src/goto-instrument/unwindset.cpp
@@ -35,7 +35,7 @@ void unwindsett::parse_unwindset_one_loo
   if(val.empty())
     return;
 
-  optionalt<unsigned> thread_nr;
+  optionalt<unsigned> thread_nr = {};
   if(isdigit(val[0]))
   {
     auto c_pos = val.find(':');
@@ -118,7 +118,7 @@ void unwindsett::parse_unwindset_one_loo
       }
       else
       {
-        optionalt<unsigned> nr;
+        optionalt<unsigned> nr = {};
         optionalt<source_locationt> location;
         for(const auto &instruction : goto_function.body.instructions)
         {
