diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 42955284bc3..e6a2763e6e8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-12-14 Jakub Jelinek + + PR rtl-optimization/68730 + * cfgrtl.c (cfg_layout_finalize): Free dominators. + 2015-12-13 Alexandre Oliva PR debug/67355 diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index b8cfd5c5b89..fbfc7cd6790 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -4299,6 +4299,7 @@ void cfg_layout_finalize (void) { checking_verify_flow_info (); + free_dominance_info (CDI_DOMINATORS); force_one_exit_fallthru (); rtl_register_cfg_hooks (); if (reload_completed && !targetm.have_epilogue ()) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 19950748279..2b900bfabac 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-12-14 Jakub Jelinek + + PR rtl-optimization/68730 + * gcc.dg/pr68730.c: New test. + 2015-12-14 Thomas Preud'homme PR testsuite/68629 diff --git a/gcc/testsuite/gcc.dg/pr68730.c b/gcc/testsuite/gcc.dg/pr68730.c new file mode 100644 index 00000000000..8ec6f19ca55 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68730.c @@ -0,0 +1,51 @@ +/* PR rtl-optimization/68730 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -fno-if-conversion" } */ +/* { dg-additional-options "-march=x86-64" { target { i?86-*-* x86_64-*-* } } } */ + +int b, d, e; +unsigned long long c = 4100543410106915; + +void +foo (void) +{ + short f, g = 4 % c; + int h = c; + if (h) + { + int i = ~c; + if (~c) + i = 25662; + f = g = i; + h = c - g + ~-f; + c = ~(c * h - f); + } + f = g; + unsigned long long k = g || c; + short l = c ^ g ^ k; + if (g > 25662 || c == 74074520320 || !(g < 2)) + { + k = c; + l = g; + c = ~((k && c) + ~l); + f = ~(f * (c ^ k) | l); + if (c > k) + __builtin_printf ("%d\n", f); + } + short m = -f; + unsigned long long n = c; + c = m * f | n % c; + if (n) + __builtin_printf ("%d\n", f); + while (f < -31807) + ; + c = ~(n | c) | f; + if (n < c) + __builtin_printf ("%lld\n", (long long) f); + for (; d;) + for (; e;) + for (;;) + ; + c = h; + c = l % c; +}