Searched refs:frob (Results 1 - 25 of 46) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_casts2.c3 unsigned int frob();
13 frob();
15 frob();
17 frob();
19 frob();
21 frob();
23 frob();
H A Dsm_float1.c3 float frob(float x) function
10 __smatch_implied((long long)frob(3.14));
18 sm_float1.c:10 main() implied: frob(3.140000e+00) = '3'
H A Dsm_implied8.c3 void frob();
10 if (({int test = !!x; frob(); frob(); frob(); test;}))
16 if (({test2 = !(x == 3); frob(); frob(); frob(); test2;}))
H A Dsm_implied9.c3 void frob(void){} function
9 if (({int test2 = !!(y < 0 || y >= 10); frob(); frob(); frob(); test2;}))
20 if (({int test3 = y < -98; frob(); frob(); frob(); test3;}))
H A Dsm_implied10.c3 void frob(void){} function
9 if (({int test2 = !!(!y || !*y); frob(); frob(); frob(); test2;}))
14 if (({int test2 = !!(offset >= 10u || x[offset] == 1); frob(); frob(); frob(); test2;}))
H A Dsm_loops5.c3 int frob(void);
10 frob();
H A Dsm_precedence.c5 int frob();
11 frob();
13 frob();
15 frob();
17 frob();
19 frob();
22 frob();
24 frob();
26 frob();
28 frob();
[all...]
H A Dsm_casts.c1 void frob(void);
14 frob();
16 frob();
18 frob();
20 frob();
H A Dsm_compare11.c3 int frob();
7 int a = frob();
8 int b = frob();
9 int c = frob();
10 int d = frob();
H A Dsm_inline1.c5 int frob(int *x) function
16 frob(x);
18 frob(x);
22 frob(&y);
24 frob(&y);
H A Dsm_implied11.c7 void *frob();
21 if (frob())
22 a = frob();
H A Dsm_implied12.c7 void *frob();
24 if (frob())
25 a = frob();
H A Dsm_locking3.c9 if (!({frob(); frob(); _spin_trylock(mylock);}))
12 frob();
H A Dsm_compare17.c3 int frob();
13 while (frob()) {
H A Dsm_impossible3.c3 int frob(void);
9 x = frob();
H A Dsm_inline2.c5 int frob(int *x) function
14 frob(x);
H A Dsm_select4.c3 int frob();
12 if ((!(a) ? -19 : (((b && c) ? frob() : -515))))
H A Dsm_indirection1.c5 int frob(int size) function
20 sm_indirection1.c:10 frob() implied: a = '42'
H A Dsm_implied16.c3 int frob(void);
8 int x = frob();
H A Dsm_implied17.c3 int frob(void);
8 int x = frob();
H A Dsm_implied18.c5 int frob(int *data) function
20 ret = frob(&x);
H A Dsm_switch3.c5 int frob(void);
11 if (({switch (frob()) {
H A Dsm_locking7.c6 void frob();
22 frob();
H A Dsm_deref_check_deref.c19 frob();
21 frob();
23 frob();
25 frob();
H A Dsm_compare12.c8 int frob();
12 int a = frob();
13 int b = frob();
14 int c = frob();
15 int d = frob();

Completed in 78 milliseconds

12