begin at 2005-01-19 18:00:49 +0900
Airac: analyzing usb-midi.c main.cn
NOTE: Airac ignores all assembly codes during analysis.
      Airac ignores all compilation directives such as inline, attribute, etc.

Warning: "linux-2.6.4/include/asm/rwsem.h":175: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm/apic.h":31: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":342: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":342: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":352: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":352: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":713: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "usb-midi.c":713: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     57620 ast nodes 
       468 global variables
       470 function definitions
      3193 initial abstract memory entries

Airac options: the inlining/unrolling depth 1 
               the unrolling bound 0

Analysis begins
  Fixpoint iterations with widening........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
  The number of alarm candidates: 25
  Fixpoint iterations with narrowing............................................

  There are some overflows and underflows that may be bugs.
     Overflow (name: mins, size: [15, 15])
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1600, column: 93)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1601, column: 38)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1692, column: 49)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1700, column: 38)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1724, column: 39)

     Overflow (name: mouts, size: [15, 15])
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1610, column: 98)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1611, column: 40)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1703, column: 51)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1711, column: 41)
	Index: [0, +Inf]  (file: "usb-midi.c", line: 1727, column: 40)

  Number of alarms (buffers: 2, accesses: 10)
  User + system time: 91.320000 s
  Wall-clock time: 93 s
end at 2005-01-19 18:02:24 +0900