add warning option '-Wtautological-compare'
commit77ec9f360da23218a1d7447540302ff77e933a99
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Wed, 7 Dec 2016 16:32:57 +0000 (7 17:32 +0100)
committerChristopher Li <sparse@chrisli.org>
Mon, 13 Feb 2017 01:34:46 +0000 (13 09:34 +0800)
tree1f0fa5d1a193fef0afc699e8a2d0ebc21e831dd6
parent38bad4d8816cb2aaf4c86a972315dbdbecad2a80
add warning option '-Wtautological-compare'

Now that we optimize away expressions like 'x == x' or 'x < x',
also add a warning for it (but disabled by default).

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
lib.c
lib.h
simplify.c
validation/tautological-compare.c [new file with mode: 0644]