summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/tree-ssa/pr33593.C
blob: f5497407ff8540530bd7ec0e3f4b858ab4fd7455 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
/* { dg-do compile } */
/* { dg-options "-O1 -fnon-call-exceptions -fdump-tree-optimized" } */

#include <stdio.h>

void foo (int) { printf ("Bar\n"); }

int
main (void)
{
  int a = 1 / 0;	// { dg-warning "division by zero" }
  printf ("Foo\n");
  foo (a);
}

// The expression 1 / 0 should not be propagated into the call to foo() if it
// may trap.
// { dg-final { scan-tree-dump-times "foo \\(1 \\/ 0\\)" 0 "optimized" } }
// { dg-final { cleanup-tree-dump "optimized" } }