It's appropriate for a DFG phase to assume that the Check flags are correct (i.e. lack of Check flag means that something was proved to not need a check), so LICM should make sure to set those flags if it hoists something that would need a check in the loop pre-header even though it maybe doesn't in the loop.
*** This bug has been marked as a duplicate of bug 180852 ***