aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2015-07-09 07:47:38 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2015-07-09 07:47:38 +0000
commit830ff0020a5a52b8ec4783d28224f4f6a2c6f3a7 (patch)
treee736c622ccece9061d29c73f330f3de37eac646e /gcc
parentebd765d41a0a57fce59ed5fa752d6d7e22bc8eb7 (diff)
downloadgcc-830ff0020a5a52b8ec4783d28224f4f6a2c6f3a7.zip
gcc-830ff0020a5a52b8ec4783d28224f4f6a2c6f3a7.tar.gz
gcc-830ff0020a5a52b8ec4783d28224f4f6a2c6f3a7.tar.bz2
re PR middle-end/66807 (--enable-libmpx failed)
2015-07-09 Richard Biener <rguenther@suse.de> PR tree-optimization/66807 * tree-chkp-opt.c (chkp_opt_fini): Free post dominator info. From-SVN: r225600
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-chkp-opt.c2
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7747a59..a615dd2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-07-09 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/66807
+ * tree-chkp-opt.c (chkp_opt_fini): Free post dominator info.
+
2015-07-08 Kito Cheng <kito.cheng@gmail.com>
* function.c (stack_protect_epilogue): Use if rather than switch for
diff --git a/gcc/tree-chkp-opt.c b/gcc/tree-chkp-opt.c
index 0ec2b8a..66c99bd 100644
--- a/gcc/tree-chkp-opt.c
+++ b/gcc/tree-chkp-opt.c
@@ -1282,6 +1282,8 @@ static void
chkp_opt_fini (void)
{
chkp_fix_cfg ();
+
+ free_dominance_info (CDI_POST_DOMINATORS);
}
/* Checker optimization pass function. */