On Tue, Nov 7, 2017 at 11:59 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > Some branch simplifications are only valid if the branch is free > of side-effects. The check is done in flow.c:bb_has_side_effects() > but currently deosn't take in account the fact that a volatile load > is also a side-effect. > > Fix this by adding the appropriate check. > > Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> Looks good to me. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
