Home
last modified time | relevance | path

Searched defs:ule (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dtautological-compare.c14 u32 ule(u32 a) { return a <= a; } in ule() function
/illumos-gate/usr/src/tools/smatch/src/validation/optim/
H A Dbinops-same-args.c22 u32 ule(u32 a) { return a <= a; } in ule() function