This series contains a few deeply entangled issues regarding the handling of the REPEAT_... flags in the optimization loop. Luc Van Oostenryck (8): optim: add some more tests optim: add timeout for infinite optim loop tests optim: kill unreachable BBS after CFG simplification optim: no need to kill_unreachable_bbs() after main loop optim: fix optimization loop's condition optim: pack bb must set REPEAT_CFG optim: load simplification should repeat optimization optim: fix REPEAT_CFG_CLEANUP flow.c | 8 ++++++-- flow.h | 6 +++--- optimize.c | 9 ++++++--- validation/infinite-loop02.c | 1 + validation/infinite-loop03.c | 1 + validation/optim/dup-cond0.c | 19 +++++++++++++++++++ validation/optim/phi-ret.c | 21 +++++++++++++++++++++ 7 files changed, 57 insertions(+), 8 deletions(-) create mode 100644 validation/optim/dup-cond0.c create mode 100644 validation/optim/phi-ret.c -- 2.16.2 -- 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
