Home
last modified time | relevance | path

Searched refs:__smatch_note (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_select3.c9 __smatch_note("Test #1 a ? 1 : c"); in func()
22 __smatch_note("Test #2 a ? 0 : c"); in func()
37 __smatch_note("Test #3 a ? b : 1"); in func()
52 __smatch_note("Test #2 a ? b : 0"); in func()
/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.h36 static inline void __smatch_note(const char *note){} in __smatch_note() function