Home
last modified time | relevance | path

Searched refs:__smatch_absolute_max (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_absolute2.c12 __smatch_absolute_max(a); in func()
14 __smatch_absolute_max(x); in func()
H A Dsm_absolute1.c9 __smatch_absolute_max(y); in func()
/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.h23 static inline void __smatch_absolute_max(long long val){} in __smatch_absolute_max() function