aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-02-09 02:30:40 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-04-18 17:21:37 +0200
commit28cd6d609ea460c6138f8cd17f89fc9885fb7dc2 (patch)
treef61fcccb21475bb526aded4eb391a6471aa5ba74 /validation
parent7ae82c3a41c71c977e409dd20679bc4aec19961c (diff)
downloadsparse-dev-28cd6d609ea460c6138f8cd17f89fc9885fb7dc2.tar.gz
add helper is_positive()
Add a small helper to test if a pseudo is a positive (= non-negative) constant (for a given bitsize). It's meant to make some conditions more readable. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions