Showing error 88

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.cil.c
Line in file: 39933
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

 39903#line 757
 39904  seq_printf(m, "PCI ID: 0x%04x\n", __cil_tmp25);
 39905#line 758
 39906  __cil_tmp26 = error->eir;
 39907#line 758
 39908  seq_printf(m, "EIR: 0x%08x\n", __cil_tmp26);
 39909#line 759
 39910  __cil_tmp27 = error->pgtbl_er;
 39911#line 759
 39912  seq_printf(m, "PGTBL_ER: 0x%08x\n", __cil_tmp27);
 39913  }
 39914  {
 39915#line 760
 39916  __cil_tmp28 = dev->dev_private;
 39917#line 760
 39918  __cil_tmp29 = (struct drm_i915_private *)__cil_tmp28;
 39919#line 760
 39920  __cil_tmp30 = __cil_tmp29->info;
 39921#line 760
 39922  __cil_tmp31 = __cil_tmp30->gen;
 39923#line 760
 39924  __cil_tmp32 = (unsigned char )__cil_tmp31;
 39925#line 760
 39926  __cil_tmp33 = (unsigned int )__cil_tmp32;
 39927#line 760
 39928  if (__cil_tmp33 > 5U) {
 39929    {
 39930#line 761
 39931    __cil_tmp34 = error->error;
 39932#line 761
 39933    seq_printf(m, "ERROR: 0x%08x\n", __cil_tmp34);
 39934#line 762
 39935    seq_printf(m, "Blitter command stream:\n");
 39936#line 763
 39937    __cil_tmp35 = error->bcs_acthd;
 39938#line 763
 39939    seq_printf(m, "  ACTHD:    0x%08x\n", __cil_tmp35);
 39940#line 764
 39941    __cil_tmp36 = error->bcs_ipeir;
 39942#line 764
 39943    seq_printf(m, "  IPEIR:    0x%08x\n", __cil_tmp36);
Show full sources