aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-28 02:14:28 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-11-08 02:12:04 +0100
commit85c234ab3cde86b2f06e7e148b741d2673928473 (patch)
treec4dafb72844f9aecf6ffb20f5f5ab13ded0948d9 /validation
parent452ea1741e587b3bfd495e6ac35b47e7659abc70 (diff)
downloadsparse-dev-85c234ab3cde86b2f06e7e148b741d2673928473.tar.gz
cmp: use a few helpers for the simplification of compares
The current code for the simplification of compares is quite simple but also repetitive because everything must be done 4 times, one for each operations (<,<=,>=,>). So, add 2 helpers to factor out the details of the common parts. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions