[Bug tree-optimization/60971] [4.9/4.10 Regression] Wrong code when coercing unsigned char to bool

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60971

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |law at gcc dot gnu.org
   Target Milestone|---                         |4.9.1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Indeed.  Regressed with r198121.

volatile unsigned char c;

__attribute__((noinline)) unsigned char
foo (void)
{
  return c;
}

__attribute__((noinline)) _Bool
bar (void)
{
  return foo () & 1;
}

int
main ()
{
  c = 0x41;
  c = bar ();
  if (c != 1)
    __builtin_abort ();
  c = 0x20;
  c = bar ();
  if (c != 0)
    __builtin_abort ();
  return 0;
}