Description: Comparison against -1 would be always false for unsigned char
 .
 cbmc (5.9-5) unstable; urgency=low
 .
   * Add support for goto-gcc on kfreebsd
Author: Michael Tautschnig <mt@debian.org>

---
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: 2018-07-04

--- cbmc-5.9.orig/regression/cbmc-cover/branch3/main.c
+++ cbmc-5.9/regression/cbmc-cover/branch3/main.c
@@ -4,7 +4,7 @@ int main()
 {
   char ch;
   unsigned state=0;
-  while((ch=getc(stdin))!=-1)
+  while((ch = getc(stdin)) != (char)-1)
   {
     switch(state)
     {
