On 04/05/2013 02:33 PM, Jakub Jelinek wrote:
On Fri, Apr 05, 2013 at 02:21:57PM -0600, Jeff Law wrote:
On 04/05/2013 09:22 AM, Marek Polacek wrote:
This patch prevents segfault when using --param min-crossjump-insns=0.
What can happen in that case is that flow_find_cross_jump returns 0,
thus nmatch is 0, then
nmatch < PARAM_VALUE (PARAM_MIN_CROSSJUMP_INSNS)
doesn't hold, thus we continue, but we segfault later on when
doing split_block. I think it's better to just bail out in that
case; moreover setting min-crossjump-insns to 0 isn't very common...
Regtested/bootstrapped on x86_64-linux, ok for trunk/4.8?
2013-04-05 Marek Polacek <pola...@redhat.com>
PR rtl-optimization/48182
* cfgcleanup.c (try_crossjump_to_edge): Bail out if
PARAM_MIN_CROSSJUMP_INSNS is 0.
* gcc.dg/pr48182.c: New test.
OK for the trunk. Release manager's decision for 4.8.
Wouldn't it be better to change params.def to instead say:
5, 1, 0)
Because with the cfgcleanup.c change, --param min-crossjump-insns=0
is handled as =infinity rather than something smaller than 0.
? I must be missing something, the change causes an early bail out from
try_crossjump_to_edge.
We don't want to raise the min to > 0 as that doesn't allow the user to
turn on this specific transformation.
jeff