/* Verify that -fno-analyzer-feasibility works.  */
/* { dg-additional-options "-fno-analyzer-feasibility" } */

#include "analyzer-decls.h"

void test_1 (int flag)
{
  int a;
  if (flag)
    a = 1;
  else
    a = 2;

  if (a == 1) /* (can only be the case when "flag" was true above).  */
    if (!flag)
      {
	__analyzer_dump_path (); /* { dg-message "note: path" "path diag" } */
	/* { dg-message "infeasible" "infeasibility event" { target *-*-* } .-1 } */
      }
}