http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54796
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-03 17:35:44 UTC --- Perhaps it would suffice to reserve another rtx flag bit on VALUE for SP_BASED_VALUE_P, and just from var-tracking if hard_frame_pointer_adjustment is != -1 (i.e. frame_pointer_needed and hfp = assignment has been seen) mark that way sp values that are created afterwards, and change find_base_term in alias.c so that it returns static_reg_base_value[STACK_POINTER_REGNUM] when seeing VALUEs marked that way.