MONITORED SOURCE FILE : acl.c

*** TER 100%  (  0/  0) of SOURCE FILE acl.c


MONITORED SOURCE FILE : file.c

246   0   22 FUNCTION alloc_fd_array()
246   0   27 if (size <= ( 1UL << 12 ))
          29 else
246       31 return new_fds
*** TER  75%  (  3/  4) of FUNCTION alloc_fd_array()


251 244   34 FUNCTION free_fd_array()
  0 251   38 if (! array)
  0       40   return
  7 244   43 if (num <= 32)
  7       44   return
244   0   45 else if (size <= ( 1UL << 12 ))
          47 else
*** TER  67%  (  6/  9) of FUNCTION free_fd_array()


246   0   56 FUNCTION expand_fd_array()
  0 246   63 if (files -> max_fds >= ( 1024 * 1024 ) || nr..
  0       63   T || _
  0       63   F || T
    246   63   F || F
  0       64   goto out
          67 do
  0 246   67 do-while (0)
          74 do
245 239   76   if (nfds < 256)
239   0   80   else if (nfds < ( ( 1UL << 12 ) / sizeof ( ..
          82   else
  0   0   84     if (nfds > ( 1024 * 1024 ))
238 246   87 do-while (nfds <= nr)
  0 246   92 if (! new_fds)
  0       93   goto out
246   0   97 if (nfds > files -> max_fds)
  8 238  106   if (i)
         112     do
  0   8  112     do-while (0)
         116 else
         118   do
  0   0  118   do-while (0)
246      124 return error
*** TER  52%  ( 15/ 29) of FUNCTION expand_fd_array()


  0   0  131 FUNCTION alloc_fdset()
  0   0  136 if (size <= ( 1UL << 12 ))
         138 else
  0      140 return new_fdset
*** TER   0%  (  0/  4) of FUNCTION alloc_fdset()


  0   0  143 FUNCTION free_fdset()
  0   0  147 if (! array)
  0      149   return
  0   0  152 if (num <= 1024)
  0      153   return
  0   0  154 else if (size <= ( 1UL << 12 ))
         156 else
*** TER   0%  (  0/  9) of FUNCTION free_fdset()


  0   0  164 FUNCTION expand_fdset()
  0   0  170 if (files -> max_fdset >= ( 1024 * 1024 ) || ..
  0      170   T || _
  0      170   F || T
      0  170   F || F
  0      171   goto out
         174 do
  0   0  174 do-while (0)
         177 do
  0   0  178   if (nfds < ( ( 1UL << 12 ) * 8 ))
         180   else
  0   0  182     if (nfds > ( 1024 * 1024 ))
  0   0  185 do-while (nfds <= nr)
  0   0  191 if (! new_openset || ! new_execset)
  0      191   T || _
  0      191   F || T
      0  191   F || F
  0      192   goto out
  0   0  197 if (nfds > files -> max_fdset)
  0   0  205   if (i)
         215   do
  0   0  215   do-while (0)
  0      219   return 0
         224 do
  0   0  224 do-while (0)
  0   0  225 if (new_openset)
  0   0  227 if (new_execset)
  0      230 return error
*** TER   0%  (  0/ 35) of FUNCTION expand_fdset()


*** TER  27%  ( 24/ 90) of SOURCE FILE file.c


MONITORED SOURCE FILE : ctype.c

*** TER 100%  (  0/  0) of SOURCE FILE ctype.c


MONITORED SOURCE FILE : skbuff.c

  0   0   89 FUNCTION skb_over_panic()
          93 do
  0   0   93 do-while (0)
*** TER   0%  (  0/  3) of FUNCTION skb_over_panic()


  0   0  106 FUNCTION skb_under_panic()
         110 do
  0   0  110 do-while (0)
*** TER   0%  (  0/  3) of FUNCTION skb_under_panic()


153   0  113 FUNCTION skb_head_from_pool()
111  42  117 if (skb_queue_len ( list ))
111      124   return skb
 42      126 return ( ( void * ) 0 )
*** TER 100%  (  5/  5) of FUNCTION skb_head_from_pool()


112   0  129 FUNCTION skb_head_to_pool()
112   0  133 if (skb_queue_len ( list ) < sysctl_hot_list_..
112      140   return
*** TER  75%  (  3/  4) of FUNCTION skb_head_to_pool()


143   0  165 FUNCTION alloc_skb()
  0 143  170 if (( { int __cpu = 0 ;( ( ( void ) ( ( __cpu..
  0      170   (T) && (T)
     10  170   (T) && (F)
    133  170   (F) && (_)
  0   0  172   if (++ count < 5)
         175     do
  0   0  175     do-while (0)
 38 105  182 if (skb == ( ( void * ) 0 ))
  0  38  184   if (skb == ( ( void * ) 0 ))
  0      185     goto nohead
  0 143  191 if (data == ( ( void * ) 0 ))
  0      192   goto nodata
143      209 return skb
  0      214 return ( ( void * ) 0 )
*** TER  45%  (  9/ 20) of FUNCTION alloc_skb()


160 160  221 FUNCTION skb_headerinit()
*** TER 100%  (  1/  1) of FUNCTION skb_headerinit()


112 112  255 FUNCTION kfree_skbmem()
102  10  257 if (! skb -> cloned || atomic_dec_and_test ( ..
101      257   T || _
  1      257   F || T
     10  257   F || F
*** TER 100%  (  6/  6) of FUNCTION kfree_skbmem()


112 112  272 FUNCTION __kfree_skb()
  0 112  274 if (skb -> list)
         277   do
  0   0  277   do-while (0)
102  10  281 if (skb -> destructor)
  0 102  282   if (( ( ( void ) ( ( 0 ) ) , irq_stat [ 0 ]..
*** TER  56%  (  5/  9) of FUNCTION __kfree_skb()


 10   0  309 FUNCTION skb_clone()
  4   6  314 if (! n)
  0   4  316   if (! n)
  0      317     return ( ( void * ) 0 )
 10      334 return n
*** TER  71%  (  5/  7) of FUNCTION skb_clone()


  0   0  337 FUNCTION copy_skb_header()
*** TER   0%  (  0/  1) of FUNCTION copy_skb_header()


  0   0  388 FUNCTION skb_copy()
  0   0  397 if (n == ( ( void * ) 0 ))
  0      398   return ( ( void * ) 0 )
  0      409 return n
*** TER   0%  (  0/  5) of FUNCTION skb_copy()


  0   0  432 FUNCTION skb_copy_expand()
  0   0  445 if (n == ( ( void * ) 0 ))
  0      446   return ( ( void * ) 0 )
  0      457 return n
*** TER   0%  (  0/  5) of FUNCTION skb_copy_expand()


  1   1  473 FUNCTION skb_init()
  0   1  482 if (! skbuff_head_cache)
  1   1  485 for (;i < 1;)
*** TER  80%  (  4/  5) of FUNCTION skb_init()


*** TER  51%  ( 38/ 74) of SOURCE FILE skbuff.c


MONITORED SOURCE FILE : udp.c

  0   0  131 FUNCTION udp_v4_get_port()
         133 do
         133   do
  0   0  133   do-while (0)
  0   0  133 do-while (0)
  0   0  134 if (snum == 0)
  0   0  138   if (udp_port_rover > sysctl_local_port_rang..
  0      138     T || _
  0      138     F || T
      0  138     F || F
  0   0  142   for (;i < 128;)
  0   0  147     if (! sk)
  0   0  148       if (result > sysctl_local_port_range [ ..
  0      152       goto gotit
         155     do
  0   0  156       if (++ size >= best_size_so_far)
  0      157         goto next
  0   0  158     do-while (( sk = sk -> next ) != ( ( void..
  0   0  164   for (;1;)
  0   0  165     if (result > sysctl_local_port_range [ 1 ])
  0   0  169     if (! udp_lport_inuse ( result ))
  0      170       break
         174 else
  0   0  178   for (;sk2 != ( ( void * ) 0 );)
  0   0  186     if (sk2 -> num == snum && sk2 != sk && sk..
  0      186       T && T && T && (T || _ || _) && (T || _)
  0      186       T && T && T && (T || _ || _) && (F || T)
  0      186       T && T && T && (F || T || _) && (T || _)
  0      186       T && T && T && (F || T || _) && (F || T)
  0      186       T && T && T && (F || F || T) && (T || _)
  0      186       T && T && T && (F || F || T) && (F || T)
      0  186       T && T && T && (T || _ || _) && (F || F)
      0  186       T && T && T && (F || T || _) && (F || F)
      0  186       T && T && T && (F || F || T) && (F || F)
      0  186       T && T && T && (F || F || F) && (_ || _)
      0  186       T && T && F && (_ || _ || _) && (_ || _)
      0  186       T && F && _ && (_ || _ || _) && (_ || _)
      0  186       F && _ && _ && (_ || _ || _) && (_ || _)
  0      187       goto fail
  0   0  191 if (sk -> pprev == ( ( void * ) 0 ))
  0   0  193   if (( sk -> next = * skp ) != ( ( void * ) ..
         200 do
         200   do
  0   0  200   do-while (0)
         200   do
  0   0  200   do-while (0)
  0   0  200 do-while (0)
  0      201 return 0
         204 do
         204   do
  0   0  204   do-while (0)
         204   do
  0   0  204   do-while (0)
  0   0  204 do-while (0)
  0      205 return 1
*** TER   0%  (  0/ 67) of FUNCTION udp_v4_get_port()


  0   0  208 FUNCTION udp_v4_hash()
         210 do
  0   0  210 do-while (0)
*** TER   0%  (  0/  3) of FUNCTION udp_v4_hash()


  4   4  213 FUNCTION udp_v4_unhash()
         215 do
         215   do
  0   4  215   do-while (0)
  0   4  215 do-while (0)
  0   4  216 if (sk -> pprev)
  0   0  217   if (sk -> next)
         225 do
         225   do
  0   4  225   do-while (0)
         225   do
  0   4  225   do-while (0)
  0   4  225 do-while (0)
*** TER  47%  (  7/ 15) of FUNCTION udp_v4_unhash()


  0   0  231 FUNCTION udp_v4_lookup_longway()
  0   0  237 for (;sk != ( ( void * ) 0 );)
  0   0  238   if (sk -> num == hnum)
  0   0  240     if (sk -> rcv_saddr)
  0   0  241       if (sk -> rcv_saddr != daddr)
  0      242         continue
  0   0  245     if (sk -> daddr)
  0   0  246       if (sk -> daddr != saddr)
  0      247         continue
  0   0  250     if (sk -> dport)
  0   0  251       if (sk -> dport != sport)
  0      252         continue
  0   0  255     if (sk -> bound_dev_if)
  0   0  256       if (sk -> bound_dev_if != dif)
  0      257         continue
  0   0  260     if (score == 4)
  0      262       break
  0   0  263     else if (score > badness)
  0      269 return result
*** TER   0%  (  0/ 31) of FUNCTION udp_v4_lookup_longway()


  0   0  272 FUNCTION udp_v4_lookup()
  0   0  278 if (sk)
         280 do
  0   0  280 do-while (0)
  0      281 return sk
*** TER   0%  (  0/  6) of FUNCTION udp_v4_lookup()


  5   0  284 FUNCTION udp_v4_mcast_next()
  0   5  291 for (;s;)
  0   0  296   if (( s -> num != hnum ) || ( s -> daddr &&..
  0      296     (T) || (_ && _) || (_ && _) || (_ && _) |..
  0      296     (F) || (T && T) || (_ && _) || (_ && _) |..
  0      296     (F) || (T && F) || (T && T) || (_ && _) |..
  0      296     (F) || (T && F) || (T && F) || (T && T) |..
  0      296     (F) || (T && F) || (T && F) || (T && F) |..
  0      296     (F) || (T && F) || (T && F) || (F && _) |..
  0      296     (F) || (T && F) || (F && _) || (T && T) |..
  0      296     (F) || (T && F) || (F && _) || (T && F) |..
  0      296     (F) || (T && F) || (F && _) || (F && _) |..
  0      296     (F) || (F && _) || (T && T) || (_ && _) |..
  0      296     (F) || (F && _) || (T && F) || (T && T) |..
  0      296     (F) || (F && _) || (T && F) || (T && F) |..
  0      296     (F) || (F && _) || (T && F) || (F && _) |..
  0      296     (F) || (F && _) || (F && _) || (T && T) |..
  0      296     (F) || (F && _) || (F && _) || (T && F) |..
  0      296     (F) || (F && _) || (F && _) || (F && _) |..
      0  296     (F) || (T && F) || (T && F) || (T && F) |..
      0  296     (F) || (T && F) || (T && F) || (T && F) |..
      0  296     (F) || (T && F) || (T && F) || (F && _) |..
      0  296     (F) || (T && F) || (T && F) || (F && _) |..
      0  296     (F) || (T && F) || (F && _) || (T && F) |..
      0  296     (F) || (T && F) || (F && _) || (T && F) |..
      0  296     (F) || (T && F) || (F && _) || (F && _) |..
      0  296     (F) || (T && F) || (F && _) || (F && _) |..
      0  296     (F) || (F && _) || (T && F) || (T && F) |..
      0  296     (F) || (F && _) || (T && F) || (T && F) |..
      0  296     (F) || (F && _) || (T && F) || (F && _) |..
      0  296     (F) || (F && _) || (T && F) || (F && _) |..
      0  296     (F) || (F && _) || (F && _) || (T && F) |..
      0  296     (F) || (F && _) || (F && _) || (T && F) |..
      0  296     (F) || (F && _) || (F && _) || (F && _) |..
      0  296     (F) || (F && _) || (F && _) || (F && _) |..
  0      297     continue
  0      298   break
  5      300 return s
*** TER   8%  (  3/ 40) of FUNCTION udp_v4_mcast_next()


  0   0  314 FUNCTION udp_err()
  0   0  325 if (len < ( iph -> ihl << 2 ) + sizeof ( stru..
  0      327   return
  0   0  331 if (sk == ( ( void * ) 0 ))
  0      333   return
         340 switch ( type )
  0      341 default:
  0      342 case 11:
  0      344   break
  0      345 case 4:
  0      346   goto out
  0      347 case 12:
  0      351   break
  0      352 case 3:
  0   0  353   if (code == 4)
  0   0  354     if (sk -> protinfo . af_inet . pmtudisc !..
  0      358       break
  0      360     goto out
  0   0  363   if (code <= 15)
  0      367   break
  0   0  374 if (! sk -> protinfo . af_inet . recverr)
  0   0  375   if (! harderr || sk -> state != TCP_ESTABLI..
  0      375     T || _
  0      375     F || T
      0  375     F || F
  0      376     goto out
         377 else
*** TER   0%  (  0/ 32) of FUNCTION udp_err()


  0   0  387 FUNCTION udp_check()
  0      389 return ( csum_tcpudp_magic ( saddr , daddr , ..
*** TER   0%  (  0/  2) of FUNCTION udp_check()


  0   0  408 FUNCTION udp_getfrag()
  0   0  411 if (offset == 0)
  0   0  413   if (csum_partial_copy_fromiovecend ( to + s..
  0      414     return - 14
  0   0  420   if (ufh -> uh . check == 0)
  0      423   return 0
  0   0  426 if (csum_partial_copy_fromiovecend ( to , ufh..
  0      427   return - 14
  0      428 return 0
*** TER   0%  (  0/ 13) of FUNCTION udp_getfrag()


  0   0  438 FUNCTION udp_getfrag_nosum()
  0   0  442 if (offset == 0)
  0      445   return memcpy_fromiovecend ( to + sizeof ( ..
  0      448 return memcpy_fromiovecend ( to , ufh -> iov ..
*** TER   0%  (  0/  5) of FUNCTION udp_getfrag_nosum()


  0   0  451 FUNCTION udp_sendmsg()
  0   0  474 if (len < 0 || len > 0xFFFF)
  0      474   T || _
  0      474   F || T
      0  474   F || F
  0      475   return - 90
  0   0  481 if (msg -> msg_flags & 1)
  0      482   return - 95
  0   0  488 if (msg -> msg_name)
  0   0  490   if (msg -> msg_namelen < sizeof ( * usin ))
  0      491     return - 22
  0   0  492   if (usin -> sin_family != 2)
  0   0  493     if (usin -> sin_family != 0)
  0      494       return - 22
  0   0  499   if (ufh . uh . dest == 0)
  0      500     return - 22
         501 else
  0   0  502   if (sk -> state != TCP_ESTABLISHED)
  0      503     return - 107
  0   0  516 if (msg -> msg_controllen)
  0   0  518   if (err)
  0      519     return err
  0   0  520   if (ipc . opt)
  0   0  524 if (! ipc . opt)
  0   0  530 if (ipc . opt && ipc . opt -> srr)
  0      530   T && T
      0  530   T && F
      0  530   F && _
  0   0  531   if (! daddr)
  0      532     return - 22
  0   0  538 if (sk -> localroute || ( msg -> msg_flags & ..
  0      538   T || (_) || (_ && _)
  0      538   F || (T) || (_ && _)
  0      538   F || (F) || (T && T)
      0  538   F || (F) || (T && F)
      0  538   F || (F) || (F && _)
  0   0  543 if (( ( ( daddr ) & ( __builtin_constant_p ( ..
  0   0  544   if (! ipc . oif)
  0   0  546   if (! ufh . saddr)
  0   0  551 if (connected)
  0   0  554 if (rt == ( ( void * ) 0 ))
  0   0  556   if (err)
  0      557     goto out
  0   0  560   if (rt -> rt_flags & 0x10000000 && ! sk -> ..
  0      560     T && T
      0  560     T && F
      0  560     F && _
  0      561     goto out
  0   0  562   if (connected)
  0   0  566 if (msg -> msg_flags & 0x800)
  0      567   goto do_confirm
  0   0  571 if (! ipc . addr)
  0   0  590 if (free)
  0   0  592 if (! err)
  0      594   return len
  0      596 return err
  0   0  600 if (! ( msg -> msg_flags & 0x10 ) || len)
  0      600   !(T) || T
  0      600   !(F) || _
      0  600   !(T) || F
  0      601   goto back_from_confirm
  0      603 goto out
*** TER   0%  (  0/ 89) of FUNCTION udp_sendmsg()


 13   0  610 FUNCTION udp_ioctl()
         612 switch ( cmd )
  0      614 case 0x5411:
  0      617     return ( { long __pu_err = - 14 ; __typeo..
  0      620 case 0x541B:
         626     do
  0   0  626     do-while (0)
  0   0  628     if (skb != ( ( void * ) 0 ))
         636     do
         636       do
  0   0  636       do-while (0)
  0   0  636     do-while (0)
  0      637     return ( { long __pu_err = - 14 ; __typeo..
 13      640 default:
 13      641   return - 515
  0      643 return ( 0 )
*** TER  19%  (  3/ 16) of FUNCTION udp_ioctl()


  0   0  646 FUNCTION __udp_checksum_complete()
  0      648 return ( unsigned short ) csum_fold ( csum_pa..
*** TER   0%  (  0/  2) of FUNCTION __udp_checksum_complete()


  0   0  651 FUNCTION udp_checksum_complete()
  0      654 return skb -> ip_summed != 2 && __udp_checksu..
*** TER   0%  (  0/  2) of FUNCTION udp_checksum_complete()


  0   0  662 FUNCTION udp_recvmsg()
  0   0  672 if (addr_len)
  0   0  675 if (flags & 0x2000)
  0      676   return ip_recv_error ( sk , msg , len )
  0   0  684 if (! skb)
  0      685   goto out
  0   0  688 if (copied > len)
  0   0  693 if (skb -> ip_summed == 2)
  0   0  696 else if (msg -> msg_flags & 0x20)
  0   0  697   if (__udp_checksum_complete ( skb ))
  0      698     goto csum_copy_err
         701 else
  0   0  704   if (err)
  0      705     goto csum_copy_err
  0   0  708 if (err)
  0      709   goto out_free
  0   0  714 if (sin)
  0   0  721 if (sk -> protinfo . af_inet . cmsg_flags)
  0      728 return err
  0   0  734 if (flags & 2)
         736   do
  0   0  736   do-while (0)
  0   0  737   if (skb == skb_peek ( & sk -> receive_queue..
         741   do
         741     do
  0   0  741     do-while (0)
  0   0  741   do-while (0)
  0   0  742   if (clear)
  0      748 return - 11
*** TER   0%  (  0/ 42) of FUNCTION udp_recvmsg()


  0   0  751 FUNCTION udp_connect()
  0   0  758 if (addr_len < sizeof ( * usin ))
  0      759   return - 22
  0   0  761 if (usin -> sin_family != 2)
  0      762   return - 97
  0   0  768 if (err)
  0      769   return err
  0   0  770 if (( rt -> rt_flags & 0x10000000 ) && ! sk -..
  0      770   (T) && T
      0  770   (T) && F
      0  770   (F) && _
  0      772   return - 13
  0   0  774 if (! sk -> saddr)
  0   0  776 if (! sk -> rcv_saddr)
  0      783 return ( 0 )
*** TER   0%  (  0/ 21) of FUNCTION udp_connect()


  0   0  786 FUNCTION udp_disconnect()
  0   0  796 if (! ( sk -> userlocks & 4 ))
  0   0  804 if (! ( sk -> userlocks & 8 ))
  0      809 return 0
*** TER   0%  (  0/  6) of FUNCTION udp_disconnect()


  4   4  812 FUNCTION udp_close()
*** TER 100%  (  1/  1) of FUNCTION udp_close()


  0   0  817 FUNCTION udp_queue_rcv_skb()
  0   0  836 if (sock_queue_rcv_skb ( sk , skb ) < 0)
  0      841   return - 1
  0      844 return 0
*** TER   0%  (  0/  5) of FUNCTION udp_queue_rcv_skb()


  5   0  853 FUNCTION udp_v4_mcast_deliver()
  0   5  863 if (sk)
         866   do
  0   0  871     if (sknext)
  0   0  874     if (skb1)
  0   0  877   do-while (sknext)
         878 else
         880 do
  0   5  880 do-while (0)
  5      881 return 0
*** TER  33%  (  4/ 12) of FUNCTION udp_v4_mcast_deliver()


  5   0  889 FUNCTION udp_checksum_init()
  0   5  892 if (uh -> check == 0)
  0   5  894 else if (skb -> ip_summed == 1)
  0   0  895   if (udp_check ( uh , ulen , saddr , daddr ,..
  0      896     return - 1
  5   0  898 else if (skb -> ip_summed != 2)
  5      903 return 0
*** TER  45%  (  5/ 11) of FUNCTION udp_checksum_init()


  5   0  910 FUNCTION udp_rcv()
  0   5  934 if (ulen > len || ulen < sizeof ( * uh ))
  0      934   T || _
  0      934   F || T
      5  934   F || F
         935   do
  0   0  935   do-while (0)
  0      938   return ( 0 )
  0   5  942 if (udp_checksum_init ( skb , uh , ulen , sad..
  0      943   goto csum_error
  5   0  945 if (rt -> rt_flags & ( 0x10000000 | 0x2000000..
  5      946   return udp_v4_mcast_deliver ( skb , uh , sa..
  0   0  950 if (sk != ( ( void * ) 0 ))
  0      953   return 0
  0   0  957 if (udp_checksum_complete ( skb ))
  0      958   goto csum_error
  0      968 return ( 0 )
         975 do
  0   0  980 do-while (0)
  0      983 return ( 0 )
*** TER  24%  (  6/ 25) of FUNCTION udp_rcv()


  0   0  986 FUNCTION get_udp_sock()
*** TER   0%  (  0/  1) of FUNCTION get_udp_sock()


  0   0 1005 FUNCTION udp_get_info()
  0   0 1012 if (offset < 128)
  0   0 1018 for (;i < 128;)
  0   0 1021   for (;sk;)
  0   0 1022     if (sk -> family != 2)
  0     1023       continue
  0   0 1025     if (pos <= offset)
  0     1026       continue
  0   0 1029     if (len >= length)
  0     1030       goto out
        1034 do
  0   0 1034 do-while (0)
  0   0 1038 if (len > length)
  0   0 1040 if (len < 0)
  0     1042 return len
*** TER   0%  (  0/ 23) of FUNCTION udp_get_info()


*** TER   6%  ( 29/470) of SOURCE FILE udp.c


MONITORED SOURCE FILE : elevator.c

4E4 4E4   33 FUNCTION elevator_linus()
4E6 2E4   42 while (( entry = entry -> prev ) != head)
2E4 4E6   44   if (( ( ( ( tmp ) -> rq_dev == ( req ) -> r..
2E4       44     (((T && T)) || _)
  0       44     (((T && F)) || T)
 43       44     (((F && _)) || T)
    4E6   44     (((T && F)) || F)
    1E5   44     (((F && _)) || F)
2E4       45     break
  0 4E6   46   if (! tmp -> elevator_sequence)
  0       47     break
*** TER  79%  ( 11/ 14) of FUNCTION elevator_linus()


6E5   0   53 FUNCTION elevator_linus_merge()
5E5 2E4   61 if (q -> head_active && ! q -> plugged)
5E5       61   T && T
    2E4   61   T && F
      0   61   F && _
2E7 7E4   64 while (( entry = entry -> prev ) != head)
  0 2E7   66   if (__rq -> sem)
  0       67     continue
4E5 2E7   68   if (__rq -> cmd != rw)
4E5       69     continue
1E7 1E7   70   if (__rq -> nr_sectors + count > * max_sect..
1E7       71     continue
1E6 1E7   72   if (__rq -> rq_dev != bh -> b_rdev)
1E6       73     continue
5E5 9E6   74   if (__rq -> sector + __rq -> nr_sectors == ..
5E5       76     break
  0 9E6   78   if (! __rq -> elevator_sequence)
  0       79     break
6E3 9E6   80   if (__rq -> sector - count == bh -> b_rsect..
6E3       83     break
5E5 7E4   90 if (ret != 0 && * req)
5E5       90   T && T
      0   90   T && F
    7E4   90   F && _
1E7 5E5   91   while (( entry = entry -> next ) != & q -> ..
6E5       97 return ret
*** TER  84%  ( 31/ 37) of FUNCTION elevator_linus_merge()


  0   0  103 FUNCTION elevator_noop()
*** TER   0%  (  0/  1) of FUNCTION elevator_noop()


  0   0  113 FUNCTION elevator_noop_merge()
  0   0  120 if (q -> head_active && ! q -> plugged)
  0      120   T && T
      0  120   T && F
      0  120   F && _
  0   0  124 while (( entry = entry -> prev ) != head)
  0   0  126   if (__rq -> sem)
  0      127     continue
  0   0  128   if (__rq -> cmd != rw)
  0      129     continue
  0   0  130   if (__rq -> nr_sectors + count > * max_sect..
  0      131     continue
  0   0  132   if (__rq -> rq_dev != bh -> b_rdev)
  0      133     continue
  0   0  134   if (__rq -> sector + __rq -> nr_sectors == ..
  0      135     return 2
  0   0  136   if (__rq -> sector - count == bh -> b_rsect..
  0      137     return 1
  0      139 return 0
*** TER   0%  (  0/ 27) of FUNCTION elevator_noop_merge()


4E4 4E4  145 FUNCTION elevator_noop_dequeue()
*** TER 100%  (  1/  1) of FUNCTION elevator_noop_dequeue()


  0   0  147 FUNCTION blkelvget_ioctl()
  0   0  156 if (( __builtin_constant_p ( sizeof ( blkelv_..
  0      157   return - 14
  0      159 return 0
*** TER   0%  (  0/  5) of FUNCTION blkelvget_ioctl()


  0   0  162 FUNCTION blkelvset_ioctl()
  0   0  166 if (( __builtin_constant_p ( sizeof ( blkelv_..
  0      167   return - 14
  0   0  169 if (input . read_latency < 0)
  0      170   return - 22
  0   0  171 if (input . write_latency < 0)
  0      172   return - 22
  0      176 return 0
*** TER   0%  (  0/ 11) of FUNCTION blkelvset_ioctl()


  3   3  179 FUNCTION elevator_init()
*** TER 100%  (  1/  1) of FUNCTION elevator_init()


*** TER  45%  ( 44/ 97) of SOURCE FILE elevator.c


MONITORED SOURCE FILE : ide-probe.c

  2   0   53 FUNCTION do_identify()
          61 do
  0   2   61 do-while (0)
  0   2   63 if (id -> word156 == 0x4d42)
  2   0   67 if (! drive -> forced_lun)
  1   1   86 if (cmd == 0xA1)
  0   1   89   if (( id -> model [ 0 ] == 'N' && id -> mod..
  0       89     (T && T) || (_ && _) || (_ && _)
  0       89     (T && F) || (T && T) || (_ && _)
  0       89     (T && F) || (T && F) || (T && T)
  0       89     (T && F) || (F && _) || (T && T)
  0       89     (F && _) || (T && T) || (_ && _)
  0       89     (F && _) || (T && F) || (T && T)
  0       89     (F && _) || (F && _) || (T && T)
      0   89     (T && F) || (T && F) || (T && F)
      0   89     (T && F) || (T && F) || (F && _)
      0   89     (T && F) || (F && _) || (T && F)
      0   89     (T && F) || (F && _) || (F && _)
      0   89     (F && _) || (T && F) || (T && F)
      0   89     (F && _) || (T && F) || (F && _)
      0   89     (F && _) || (F && _) || (T && F)
      1   89     (F && _) || (F && _) || (F && _)
  0   2   96 if (strstr ( id -> model , "E X A B Y T E N E..
  0       97   return
  1   1  106 if (cmd == 0xA1)
         116   switch ( type )
  0      117   case 0x0:
  0   0  118     if (! strstr ( id -> model , "CD-ROM" ))
  0   0  119       if (! strstr ( id -> model , "oppy" ) &..
  0      119         T && T && T
      0  119         T && T && F
      0  119         T && F && _
      0  119         F && _ && _
  0   0  121       if (drive -> media != 0x5)
  0      123         break
  1      127   case 0x5:
  1      138     break
  0      139   case 0x1:
  0      141     break
  0      142   case 0x7:
  0      145     break
  0      146   default:
  0      148     break
  1      152   return
  0   1  158 if (id -> config & ( 1 << 7 ))
  0   1  164 if (drive_is_flashcard ( drive ))
  0   0  166   if (! mate -> ata_flash)
  0   1  173   if (( ( ide_hwif_t * ) ( ( drive ) -> hwif ..
  1      174 return
*** TER  30%  ( 18/ 61) of FUNCTION do_identify()


  6   0  187 FUNCTION actual_try_to_identify()
  6   0  194 if (( ( ( ide_hwif_t * ) ( ( drive ) -> hwif ..
  0   6  199   if (( a ^ s ) & ~ 0x02)
         202   else
         205 else
  3   3  211 if (( cmd == 0xA1 ))
         226 do
  0  26  227   if (0 < ( signed long ) ( jiffies - timeout..
  0      228     return 1
 20   6  231 do-while (( byte ) inb_p ( hd_status ) & 0x80)
  2   4  234 if (( ( ( ( byte ) inb_p ( ( ( ( ide_hwif_t *..
         242 else
  6      244 return rc
*** TER  73%  ( 11/ 15) of FUNCTION actual_try_to_identify()


  6   0  247 FUNCTION try_to_identify()
  2   4  253 if (( ( ( ide_hwif_t * ) ( ( drive ) -> hwif ..
  2      253   (T) && T
      4  253   (T) && F
      0  253   (F) && _
  2   4  261 if (autoprobe)
  2   0  267   if (! ( ( ide_hwif_t * ) ( ( drive ) -> hwi..
  2   0  268     if (irq > 0)
         270     else
  6      283 return retval
*** TER  77%  ( 10/ 13) of FUNCTION try_to_identify()


 23   0  303 FUNCTION do_probe()
  0  23  307 if (drive -> present)
  0   0  308   if (( drive -> media != 0x20 ) && ( cmd == ..
  0      308     (T) && (T)
      0  308     (T) && (F)
      0  308     (F) && (_)
  0      309     return 4
  0  23  317   if (hwif -> selectproc)
 18   5  319 if (( byte ) inb_p ( ( ( ( ide_hwif_t * ) ( (..
 18      319   T && T
      0  319   T && F
      5  319   F && _
 10   8  320   if (drive -> select . b . unit != 0)
  0  10  321       if (hwif -> selectproc)
 18      324   return 3
  4   1  328 if (( ( ( ( byte ) inb_p ( ( ( ( ide_hwif_t *..
  3      328   (T) || _ || _
  0      328   (F) || T || _
  1      328   (F) || F || T
      1  328   (F) || F || F
  2   2  330   if (( rc = try_to_identify ( drive , cmd ) ))
  0   4  332   if (rc == 1 && cmd == 0xA1 && drive -> auto..
  0      332     T && T && T
      0  332     T && T && F
      0  332     T && F && _
      4  332     F && _ && _
  0   0  340     while (( ( byte ) inb_p ( ( ( ( ide_hwif_..
  0      340       (T) && (T)
      0  340       (T) && (F)
      0  340       (F) && (_)
  0   4  344   if (rc == 1)
         347 else
  2   3  350 if (drive -> select . b . unit != 0)
  0   2  351     if (hwif -> selectproc)
  5      355 return rc
*** TER  53%  ( 25/ 47) of FUNCTION do_probe()


  0   0  361 FUNCTION enable_nest()
  0   0  366   if (( ( ide_hwif_t * ) ( ( drive ) -> hwif ..
         370 do
  0   0  371   if (jiffies > timeout)
  0      373     return
  0   0  376 do-while (( byte ) inb_p ( ( ( ( ide_hwif_t *..
  0   0  378 if (! ( ( ( ( byte ) inb_p ( ( ( ( ide_hwif_t..
         380 else
  0   0  382 if (do_probe ( drive , 0xEC ) >= 2)
*** TER   0%  (  0/ 12) of FUNCTION enable_nest()


 12   0  393 FUNCTION probe_for_drive()
  0  12  395 if (drive -> noprobe)
  0      396   return drive -> present
 11   1  397 if (do_probe ( drive , 0xEC ) >= 2)
  0  12  400 if (drive -> id && strstr ( drive -> id -> mo..
  0      400   T && T
      2  400   T && F
     10  400   F && _
 10   2  402 if (! drive -> present)
 10      403   return 0
  0   2  404 if (drive -> id == ( ( void * ) 0 ))
  0   0  405   if (drive -> media == 0x20)
  0   0  408   else if (drive -> media == 0x5)
         410   else
  2      414 return 1
*** TER  57%  ( 12/ 21) of FUNCTION probe_for_drive()


  6   0  423 FUNCTION hwif_check_regions()
  6   0  437 if (hwif -> io_ports [ ( 8 ) ])
  6      446 return ( region_errors )
*** TER  75%  (  3/  4) of FUNCTION hwif_check_regions()


  2   2  449 FUNCTION hwif_register()
  2   0  452 if (( ( unsigned long ) hwif -> io_ports [ ( ..
  2      455   goto jump_straight8
  0   0  458 if (hwif -> io_ports [ ( 0 ) ])
  0   0  460 if (hwif -> io_ports [ ( 1 ) ])
  0   0  462 if (hwif -> io_ports [ ( 2 ) ])
  0   0  464 if (hwif -> io_ports [ ( 3 ) ])
  0   0  466 if (hwif -> io_ports [ ( 4 ) ])
  0   0  468 if (hwif -> io_ports [ ( 5 ) ])
  0   0  470 if (hwif -> io_ports [ ( 6 ) ])
  0   0  472 if (hwif -> io_ports [ ( 7 ) ])
  2   0  476 if (hwif -> io_ports [ ( 8 ) ])
*** TER  18%  (  4/ 22) of FUNCTION hwif_register()


 10   6  488 FUNCTION probe_hwif()
  4   6  493 if (hwif -> noprobe)
  4      494   return
  1   5  496 if (hwif -> io_ports [ ( 0 ) ] == 0x1f0)
  0   6  507 if (( hwif -> chipset != ide_4drives || ! hwi..
  0      507   (T || _) && (T)
  0      507   (F || T) && (T)
      6  507   (T || _) && (F)
      0  507   (F || T) && (F)
      0  507   (F || F) && (_)
  0   0  509   for (;unit < 2;)
  0   0  511     if (drive -> present)
  0   0  517   if (! msgout)
  0      519   return
 12   6  528 for (;unit < 2;)
  2  10  531   if (drive -> present && ! hwif -> present)
  2      531     T && T
      0  531     T && F
     10  531     F && _
  2   0  533     if (hwif -> chipset != ide_4drives || ! h..
  2      533       T || _
  0      533       F || T
      0  533       F || F
  0   6  538 if (hwif -> io_ports [ ( 8 ) ] && hwif -> res..
  0      538   T && T
      6  538   T && F
      0  538   F && _
         546   do
  0   0  549   do-while (( stat & 0x80 ) && 0 < ( signed l..
  0      549     (T) && T
      0  549     (T) && F
      0  549     (F) && _
 12   6  553 for (;unit < 2;)
  2  10  555   if (drive -> present)
  0   2  557     if (tuneproc != ( ( void * ) 0 ) && drive..
  0      557       T && T
      0  557       T && F
      2  557       F && _
*** TER  47%  ( 24/ 51) of FUNCTION probe_hwif()


  0   0  575 FUNCTION save_match()
  0   0  579 if (m && m -> hwgroup && m -> hwgroup != new ..
  0      579   T && T && T
      0  579   T && T && F
      0  579   T && F && _
      0  579   F && _ && _
  0   0  580   if (! new -> hwgroup)
  0      581     return
  0   0  584 if (! m || m -> irq != hwif -> irq)
  0      584   T || _
  0      584   F || T
      0  584   F || F
*** TER   0%  (  0/ 15) of FUNCTION save_match()


  2   2  592 FUNCTION ide_init_queue()
*** TER 100%  (  1/  1) of FUNCTION ide_init_queue()


  2   0  613 FUNCTION init_irq()
 20   2  628 for (;index < 10;)
  1  19  630   if (h -> hwgroup)
  0   1  631     if (hwif -> irq == h -> irq)
  0   0  633       if (hwif -> chipset != ide_pci || h -> ..
  0      633         T || _
  0      633         F || T
      0  633         F || F
  0   1  637     if (hwif -> serialized)
  0   0  638       if (hwif -> mate && hwif -> mate -> irq..
  0      638         T && T
      0  638         T && F
      0  638         F && _
  0   1  641     if (h -> serialized)
  0   0  642       if (h -> mate && hwif -> irq == h -> ma..
  0      642         T && T
      0  642         T && F
      0  642         F && _
  0   2  651 if (match)
         653 else
  2   0  669 if (! match || match -> irq != hwif -> irq)
  2      669   T || _
  0      669   F || T
      0  669   F || F
  0   2  675   if (request_irq ( ( hwif -> irq ) , ( & ide..
  0   0  676     if (! match)
  0      679     return 1
  4   2  690 for (;index < 2;)
  2   2  692   if (! drive -> present)
  2      693     continue
  2   0  694   if (! hwgroup -> drive)
  0   2  700 if (! hwgroup -> hwif)
  0   2  722 if (match)
  2      726 return 0
*** TER  42%  ( 21/ 50) of FUNCTION init_irq()


  2   2  735 FUNCTION init_gendisk()
  4   0  743 for (;units > 0;)
  2   2  744   if (hwif -> drives [ units - 1 ] . present)
  2      745     break
128   2  761 for (;unit < minors;)
  2   2  771 for (;unit < units;)
  2   0  784 if (gd -> de_arr)
  2   0  786 if (gd -> flags)
  1   2  789 for (;* gdp;)
  2   2  792 for (;unit < units;)
  2   0  793   if (hwif -> drives [ unit ] . present)
*** TER  80%  ( 16/ 20) of FUNCTION init_gendisk()


 10   0  807 FUNCTION hwif_init()
  8   2  809 if (! hwif -> present)
  8      810   return 0
  0   2  811 if (! hwif -> irq)
  0   0  812   if (! ( hwif -> irq = ide_default_irq ( hwi..
  0      815     return ( hwif -> present = 0 )
  0   2  827 if (devfs_register_blkdev ( hwif -> major , h..
  0      829   return ( hwif -> present = 0 )
  0   2  832 if (init_irq ( hwif ))
  0   0  838   if (! ( hwif -> irq = ide_default_irq ( hwi..
  0      841     return ( hwif -> present = 0 )
  0   0  843   if (init_irq ( hwif ))
  0      847     return ( hwif -> present = 0 )
  2      866 return hwif -> present
*** TER  38%  (  8/ 21) of FUNCTION hwif_init()


  1   0  876 FUNCTION ideprobe_init()
         881 do
  0   1  881 do-while (0)
 10   1  883 for (;index < 10;)
 10   1  889 for (;index < 10;)
 10   0  890   if (probe [ index ])
 10   1  892 for (;index < 10;)
 10   0  893   if (probe [ index ])
  1   0  895 if (! ide_probe)
         897 do
  0   1  897 do-while (0)
  1      898 return 0
*** TER  72%  ( 13/ 18) of FUNCTION ideprobe_init()


*** TER  45%  (166/371) of SOURCE FILE ide-probe.c


MONITORED SOURCE FILE : bluesmoke.c

  0   0   13 FUNCTION do_machine_check()
  0   0   21 if (mcgstl & ( 1 << 0 ))
  0   0   26 for (;i < banks;)
  0   0   29   if (high & ( 1 << 31 ))
  0   0   31     if (high & ( 1 << 29 ))
  0   0   33     if (high & ( 1 << 25 ))
  0   0   37     if (high & ( 1 << 27 ))
  0   0   42     if (high & ( 1 << 26 ))
  0   0   55 if (recover & 2)
  0   0   57 if (recover & 1)
*** TER   0%  (  0/ 19) of FUNCTION do_machine_check()


  1   1   69 FUNCTION mcheck_init()
  0   1   75 if (c -> x86_vendor != 0)
  0       76   return
  0   1   78 if (! ( __builtin_constant_p ( ( 0 * 32 + 7 )..
  0       79   return
  0   1   81 if (! ( __builtin_constant_p ( ( 0 * 32 + 14 ..
  0       82   return
  1   0   86 if (done == 0)
  0   1   89 if (l & ( 1 << 8 ))
  0   1   92 for (;i < banks;)
  0   1   96 for (;i < banks;)
*** TER  44%  (  8/ 18) of FUNCTION mcheck_init()


*** TER  22%  (  8/ 37) of SOURCE FILE bluesmoke.c