https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66335
--- Comment #3 from vfdff <zhongyunde at huawei dot com> --- (In reply to Richard Biener from comment #2) > No, it's working as intended - we just print where we _could_ hoist it to > (together with the cost). you mean function `determine_max_movement` will check the cost, so after condition 'determine_max_movement (stmt, pos == MOVE_PRESERVE_EXECUTION)' we can make sure the 'stmt' always _could_ be hoist ?