Description: Fix ID_unsignedbv typo
 Found by ppc64el regression tests.
 .
 cbmc (5.84.0-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-06-03

--- cbmc-5.84.0.orig/src/goto-programs/remove_function_pointers.cpp
+++ cbmc-5.84.0/src/goto-programs/remove_function_pointers.cpp
@@ -109,13 +109,13 @@ static bool arg_is_type_compatible(
 
   // any integer-vs-enum-vs-pointer is ok
   if(
-    call_type.id() == ID_signedbv || call_type.id() == ID_unsigned ||
+    call_type.id() == ID_signedbv || call_type.id() == ID_unsignedbv ||
     call_type.id() == ID_bool || call_type.id() == ID_c_bool ||
     call_type.id() == ID_c_enum_tag || call_type.id() == ID_c_enum ||
     call_type.id() == ID_pointer)
   {
     return function_type.id() == ID_signedbv ||
-           function_type.id() == ID_unsigned || function_type.id() == ID_bool ||
+           function_type.id() == ID_unsignedbv || function_type.id() == ID_bool ||
            function_type.id() == ID_c_bool ||
            function_type.id() == ID_pointer ||
            function_type.id() == ID_c_enum ||
