The goal of this series is to fix the bogus "crazy progammer" warnings issued by sparse when running on the git tree. This "crazy programmer" warning is issued when there is a circulary dependency between pseudos but in the present case this circulary dependence was only an consequence of optimizations applied on a wrong state. With this bug fixed, there is only a single sparse warnings left in the git tree (and it's most probably a bogus one). Big congrats to them! For comparison the Linux kernel has more than 1000 errors and close to 24000 warnings (on an allyesconfig for x86-64), plenty of bogus ones but also a lot of real ones. For the adventurous ones, this series is also available at: git://github.com/lucvoo/sparse.git fix-eager-ttsbb Luc Van Oostenryck (2): fix OP_PHI usage in try_to_simplify_bb() only when non-bogus fix: try_to_simplify_bb eargerness flow.c | 47 ++++++++++++++++++++++++++--------------------- validation/crazy03.c | 33 +++++++++++++++++++++++++++++++++ 2 files changed, 59 insertions(+), 21 deletions(-) create mode 100644 validation/crazy03.c -- 2.13.0 -- 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
