[Bug tree-optimization/51491] ccp when converting from alloca should add a CLOBBER to right before __builtin_stack_restore

[vries at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51491

--- Comment #8 from vries at gcc dot gnu.org 2011-12-17 11:39:47 UTC ---
Author: vries
Date: Sat Dec 17 11:39:43 2011
New Revision: 182432

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182432
Log:
2011-12-17  Tom de Vries  <t...@codesourcery.com>

    PR tree-optimization/51491
    * tree-ssa-ccp.c (insert_clobber_before_stack_restore)
    (gsi_prev_dom_bb_nondebug, insert_clobbers_for_var): New function.
    (ccp_fold_stmt): Use insert_clobbers_for_var after a successful
    fold_builtin_alloca_with_align.
    (ccp_visit_stmt): Calculate and free dominator info.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-ccp.c