begin at 2005-01-19 17:18:42 +0900
Airac: analyzing eata_pio.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/linux/genhd.h":162: assuming alignof() has 0 value.
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: "linux-2.6.4/include/linux/pagemap.h":205: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":205: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":215: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":215: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":225: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":225: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":231: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/linux/pagemap.h":231: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":378: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":511: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":511: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":734: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "eata_pio.c":735: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     51249 ast nodes 
       620 global variables
       591 function definitions
      3306 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: 6
  Fixpoint iterations with narrowing.....................

  There are some overflows and underflows that may be bugs.
     Overflow (name: EISAbases, size: [16, 16])
	Index: [0, +Inf]  (file: "eata_pio.c", line: 858, column: 49)

     Overflow (name: ISAbases, size: [4, 4])
	Index: [0, +Inf]  (file: "eata_pio.c", line: 823, column: 40)

  These alarms are suspected as bugs.
     Overflow (name: reg_IRQ, size: [16, 16])
	Index: [0, 16]  (file: "eata_pio.c", line: 941, column: 30)

  Number of alarms (buffers: 3, accesses: 3)
  User + system time: 7.500000 s
  Wall-clock time: 7 s
end at 2005-01-19 17:18:51 +0900