Searched defs:frob (Results 1 - 21 of 21) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A Dsm_compare.c5 static int frob(void) function
33 sm_compare.c:15 frob() a = empty
34 sm_compare.c:17 frob() b = s32min-5
35 sm_compare.c:19 frob() c = empty
36 sm_compare.c:21 frob() c = empty
37 sm_compare.c:23 frob() a = s32min-5
38 sm_compare.c:24 frob() b = s32min-5
39 sm_compare.c:25 frob() c = 5
H A Dsm_implied7.c3 int frob(void) { function
18 sm_implied7.c:7 frob() a = s32min-s32max
19 sm_implied7.c:9 frob() a = 0
20 sm_implied7.c:11 frob() a = s32min-s32max
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_indirection1.c5 int frob(int size) function
20 sm_indirection1.c:10 frob() implied: a = '42'
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_inline2.c5 int frob(int *x) function
14 frob(x);
H A Dsm_mod.c5 int frob(int size) function
33 sm_mod.c:10 frob() implied: a = '1-10'
34 sm_mod.c:12 frob() implied: a = '4,8'
35 sm_mod.c:18 frob() implied: b = '1-99'
36 sm_mod.c:20 frob() implied: b = '4-100'
H A Dsm_range4.c5 static int frob(void) function
30 sm_range4.c:8 frob() a = 6-s32max
31 sm_range4.c:12 frob() b = 7-s32max
32 sm_range4.c:16 frob() c = 6-s32max
33 sm_range4.c:19 frob() a = s32min-5
34 sm_range4.c:20 frob() b = s32min-6
35 sm_range4.c:21 frob() c = s32min-5
H A Dsm_null_deref2.c3 void frob(void) { function
22 sm_null_deref2.c:15 frob() error: we previously assumed 'ptr' could be null (see line 12)
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_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_implied15.c6 int frob(int *p) function
29 ret = frob(&var);
H A Dsm_implied18.c5 int frob(int *data) function
20 ret = frob(&x);
H A Dsm_implied19.c6 void frob(void) function
32 sm_implied19.c:24 frob() implied: vbus = 's32min-s32max'
H A Dsm_implied4.c4 void frob(void){} function
16 frob();
H A Dsm_range2.c4 int frob(void) { function
33 sm_range2.c:6 frob() a = s32min-(-1),1-s32max
34 sm_range2.c:8 frob() a = 0
35 sm_range2.c:9 frob() a = s32min-s32max
36 sm_range2.c:12 frob() b = 0
37 sm_range2.c:14 frob() b = s32min-s32max
38 sm_range2.c:17 frob() c = s32min-s32max
39 sm_range2.c:20 frob() d = (-3)-99
40 sm_range2.c:25 frob() d = (-3)-99
41 sm_range2.c:26 frob()
[all...]
H A Dsm_locking4.c4 void frob(void){} function
14 frob();
H A Dsm_indirection2.c16 void frob(struct bar *bar) function
27 frob(bar);
H A Dsm_skb2.c22 int frob(struct sk_buff *skb) function
48 sm_skb2.c:27 frob() user rl: '*skb->data' = '0-255'
49 sm_skb2.c:28 frob() user rl: 'skb->data + 1' = ''
50 sm_skb2.c:29 frob() user rl: '*skb->data' = 's32min-s32max'
51 sm_skb2.c:30 frob() user rl: 'skb->data - skb_network_header(skb)' = ''
52 sm_skb2.c:36 frob() user rl: 'p->a' = 's32min-s32max'
53 sm_skb2.c:37 frob() user rl: 'x' = 's32min-s32max'
54 sm_skb2.c:38 frob() user rl: 'y' = '0-255'
H A Dsm_skb3.c12 int frob(struct sk_buff *skb) function
27 sm_skb3.c:17 frob() user rl: 'p->a' = 's32min-s32max'
/illumos-gate/usr/src/cmd/vi/port/
H A Dex_argv.h52 var struct glob frob; variable in typeref:struct:glob

Completed in 77 milliseconds