aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/preprocessor
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-01-05 00:01:08 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-01-26 22:49:11 +0100
commitb5a4f039a159ade2f01af7b10cd7615cbc42ba35 (patch)
tree3cf080491c66dd46fa5dba538772d746e17fac52 /validation/preprocessor
parent5db6d62e83623808fc29f6a6da636ddf5c658110 (diff)
downloadsparse-dev-b5a4f039a159ade2f01af7b10cd7615cbc42ba35.tar.gz
cmps: simplify signed compares with SMIN or SMAX
Simplify away signed compares with SMIN or SMAX which can be statically be determined to be always true or always false. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions