1  /* PR c++/56493 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-gimple" } */
       4  
       5  unsigned long long bar (void);
       6  int x;
       7  
       8  void
       9  foo (void)
      10  {
      11    x += bar ();
      12  }
      13  
      14  /* Verify we narrow the addition from unsigned long long to unsigned int type.  */
      15  /* { dg-final { scan-tree-dump "  (\[a-zA-Z._0-9$:]*) = \\(unsigned int\\) \[^;\n\r]*;.*  (\[a-zA-Z._0-9$:]*) = \\(unsigned int\\) \[^;\n\r]*;.* = \\1 \\+ \\2;" "gimple" { target { ilp32 || lp64 } } } } */