begin at 2005-01-19 18:02:28 +0900
Airac: analyzing atkbd.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: "atkbd.c":714: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":714: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":714: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":716: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":716: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":716: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":775: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":775: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":775: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":777: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":777: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "atkbd.c":777: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     33494 ast nodes 
       411 global variables
       390 function definitions
      2075 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: 5
  Fixpoint iterations with narrowing......

  There are some overflows and underflows that may be bugs.
     Overflow (name: delay, size: [4, 4])
	Index: [1, +Inf]  (file: "atkbd.c", line: 442, column: 48)
	Index: [1, +Inf]  (file: "atkbd.c", line: 444, column: 49)

     Overflow (name: period, size: [32, 32])
	Index: [1, +Inf]  (file: "atkbd.c", line: 441, column: 50)
	Index: [1, +Inf]  (file: "atkbd.c", line: 443, column: 50)

  Number of alarms (buffers: 2, accesses: 4)
  User + system time: 1.990000 s
  Wall-clock time: 2 s
end at 2005-01-19 18:02:32 +0900