Showing error 772

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 1178
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

1148#line 157
1149  __cil_tmp15 = (struct pardevice *)0;
1150#line 157
1151  __cil_tmp16 = (unsigned long )__cil_tmp15;
1152#line 157
1153  __cil_tmp17 = (unsigned long )ks0108_pardevice;
1154#line 157
1155  if (__cil_tmp17 == __cil_tmp16) {
1156    {
1157#line 158
1158    printk("<3>ks0108: ERROR: parport didn\'t register new device\n");
1159    }
1160#line 160
1161    goto none;
1162  } else {
1163
1164  }
1165  }
1166  {
1167#line 163
1168  result = parport_claim(ks0108_pardevice);
1169  }
1170#line 164
1171  if (result != 0) {
1172    {
1173#line 165
1174    __cil_tmp18 = & ks0108_port;
1175#line 165
1176    __cil_tmp19 = *__cil_tmp18;
1177#line 165
1178    printk("<3>ks0108: ERROR: can\'t claim %i parport, maybe in use\n", __cil_tmp19);
1179#line 167
1180    ret = result;
1181    }
1182#line 168
1183    goto registered;
1184  } else {
1185
1186  }
1187#line 171
1188  ks0108_inited = (unsigned char)1;
Show full sources