Showing error 172

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/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 1387
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1357  unsigned int __cil_tmp23 ;
1358
1359  {
1360  {
1361#line 132
1362  ret = -22;
1363#line 134
1364  __cil_tmp3 = & ks0108_port;
1365#line 134
1366  __cil_tmp4 = *__cil_tmp3;
1367#line 134
1368  __cil_tmp5 = (unsigned long )__cil_tmp4;
1369#line 134
1370  ks0108_parport = parport_find_base(__cil_tmp5);
1371  }
1372  {
1373#line 135
1374  __cil_tmp6 = (void *)0;
1375#line 135
1376  __cil_tmp7 = (unsigned long )__cil_tmp6;
1377#line 135
1378  __cil_tmp8 = (unsigned long )ks0108_parport;
1379#line 135
1380  if (__cil_tmp8 == __cil_tmp7) {
1381    {
1382#line 136
1383    __cil_tmp9 = & ks0108_port;
1384#line 136
1385    __cil_tmp10 = *__cil_tmp9;
1386#line 136
1387    printk("<3>ks0108: ERROR: parport didn\'t find %i port\n", __cil_tmp10);
1388    }
1389#line 138
1390    goto none;
1391  } else {
1392
1393  }
1394  }
1395  {
1396#line 141
1397  __cil_tmp11 = (void *)0;
Show full sources
↑