Searched refs:__range__ (Results 1 – 4 of 4) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/validation/ |
| H A D | range-syntax.c | 4 __range__(a, 0, 8); in ok()
5 __range__(a, b, c); in ok()
10 __range__ a, 0, 8; in ko()
11 __range__ a, b, c; in ko()
|
| H A D | reserved.c | 58 static int (__range__); variable
|
| /illumos-gate/usr/src/tools/smatch/src/validation/linear/ |
| H A D | range-op.c | 3 __range__(a, 0, 8); in foo()
8 __range__(a, b, c); in bar()
|
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | ident-list.h | 73 IDENT_RESERVED(__range__);
|