Project

General

Profile

Bug #3931 » ErrorPathCore.txt

Mikhail Mandrykin, 02/08/2013 05:30 PM

 
1
Line 24330:	N18078 -{long int subdev_do_ioctl(struct file *file, unsigned int cmd, void *arg);}-> N18079
2
Line 25428:	N11746 -{struct file *var_group1;}-> N11747
3
Line 25430:	N11748 -{unsigned int var_subdev_ioctl_5_p1;}-> N11749
4
Line 25431:	N11749 -{unsigned long var_subdev_ioctl_5_p2;}-> N11750
5
Line 25443:	N11756 -{ldv_initialize()}-> N16573
6
Line 32508:	N16577 -{ldv_mutex_lock_of_video_device = 1;}-> N16578
7
Line 32516:	N16581 -{return;}-> N16572
8
Line 25509:	N11801 -{tmp___0 = nondet_int();}-> N11802
9
Line 25511:	N11802 -{[tmp___0 != 0]}-> N11804
10
Line 25513:	N11804 -{Goto: ldv_25189}-> N11759
11
Line 25448:	N11759 -{tmp = nondet_int();}-> N11760
12
Line 25488:	N11779 -{[tmp == 2]}-> N11787
13
Line 25490:	N11787 -{ldv_handler_precall();}-> N11789
14
Line 25492:	N11789 -{subdev_ioctl(var_group1, var_subdev_ioctl_5_p1, var_subdev_ioctl_5_p2)}-> N11601
15
Line 25172:	N11603 -{video_usercopy(file, cmd, arg, &subdev_do_ioctl)}-> N5169
16
Line 14903:	N5182 -{int tmp___1;}-> N5183
17
Line 14910:	N5186 -{mbuf = 0;}-> N5187
18
Line 14916:	N5189 -{array_size = 0UL;}-> N5190
19
Line 14918:	N5190 -{user_ptr = 0;}-> N5191
20
Line 14920:	N5191 -{kernel_ptr = 0;}-> N5192
21
Line 14922:	N5192 -{[(cmd >> 30) != 0U]}-> N5194
22
Line 14924:	N5194 -{[!(((cmd >> 16) & 16383U) <= 128U)]}-> N5198
23
Line 14929:	N5198 -{kmalloc(((size_t )(cmd >> 16)) & 16383UL, 208U)}-> N72
24
Line 5793:	N74 -{tmp___2 = __kmalloc(size, flags);}-> N75
25
Line 5795:	N75 -{return tmp___2;}-> N71
26
Line 14931:	N5200 -{[!(((unsigned long)mbuf) == ((unsigned long)((void *)0)))]}-> N5203
27
Line 14938:	N5201 -{parg = mbuf;}-> N5205
28
Line 14943:	N5206 -{[!((cmd & 1073741824U) != 0U)]}-> N5209
29
Line 14980:	N5209 -{memset(parg, 0, ((size_t )(cmd >> 16)) & 16383UL);}-> N5229
30
Line 14986:	N5193 -{check_array_args(cmd, parg, &array_size, &user_ptr, &kernel_ptr)}-> N5094
31
Line 14790:	N5099 -{ret = 0;}-> N5100
32
Line 14793:	N5101 -{[!(cmd == 3227014749U)]}-> N5105
33
Line 14794:	N5105 -{[!(cmd == 3227014665U)]}-> N5107
34
Line 14795:	N5107 -{[!(cmd == 3227014671U)]}-> N5109
35
Line 14796:	N5109 -{[!(cmd == 3227014673U)]}-> N5111
36
Line 14823:	N5111 -{[!(cmd == 3223868968U)]}-> N5129
37
Line 14824:	N5129 -{[!(cmd == 3223868969U)]}-> N5131
38
Line 14851:	N5131 -{[!(cmd == 3223344712U)]}-> N5147
39
Line 14852:	N5147 -{[!(cmd == 3223344711U)]}-> N5149
40
Line 14853:	N5149 -{[!(cmd == 3223344713U)]}-> N5151
41
Line 14883:	N5166 -{return ret;}-> N5093
42
Line 14988:	N5230 -{err = (long)tmp___1;}-> N5231
43
Line 14990:	N5231 -{[!(err < 0L)]}-> N5234
44
Line 14997:	N5232 -{has_array_args = err != 0L;}-> N5236
45
Line 14999:	N5236 -{[((int)has_array_args) == 0]}-> N5239
46
Line 15028:	N5237 -{(*func)(file, cmd, parg)}-> N11031
47
Line 24436:	N11129 -{vfh = (struct v4l2_fh *)(file->private_data);}-> N11130
48
Line 24478:	N11161 -{[cmd == 2156418649U]}-> N11164
49
Line 24480:	N11164 -{[!(((sd->flags) & 8U) == 0U)]}-> N11168
50
Line 24487:	N11166 -{v4l2_event_dequeue(vfh, (struct v4l2_event *)arg, ((int)(file->f_flags)) & 2048)}-> N6163
51
Line 16871:	N6171 -{[!(nonblocking != 0)]}-> N6174
52
Line 16880:	N6172 -{[((unsigned long)(fh->vdev->lock)) != ((unsigned long)((struct mutex *)0))]}-> N6178
53
Line 16882:	N6178 -{ldv_mutex_unlock_106(fh->vdev->lock)}-> N6550
54
Line 17558:	N6551 -{ldv_mutex_unlock_lock_of_video_device(ldv_func_arg1)}-> N16288
55
Line 31964:	N16289 -{[!(ldv_mutex_lock_of_video_device == 2)]}-> N16292
56
Line 31968:	N16292 -{ldv_error()}-> N15920
57
Line 31266:	N15921 -{Label: LDV_ERROR}-> N15922
58
Line 31268:	N15922 -{Goto: LDV_ERROR}-> N15922
(2-2/2)