/* { dg-do run }  */
/* { dg-additional-options "-std=c99" }  */

#include <assert.h>

int decision_result;
int val;
int truecount = 0;

static void __attribute__((noinline))
buggy (int flag)
{
  int condition;
  if(flag == 0)
    condition = val != 0;
  else
    condition = !decision_result;
  if (condition)
     truecount++;
}

int
main (void)
{
  decision_result = 1;
  buggy(1);
  assert (truecount == 0);
  return 0;
}