/* { dg-do compile } */
/* { dg-options "-Wsign-compare" } */

int foo()
{
  unsigned char b = '1';

  bool x = ~b; /* { dg-warning "promoted ~unsigned is always non-zero" } */

  return 0;
}