begin at 2005-01-19 17:19:01 +0900
Airac: analyzing mptbase.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: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":1299: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2344: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2344: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2416: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2563: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2691: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":2691: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3120: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3120: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3375: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3375: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3447: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3447: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3540: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3540: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3568: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3568: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3602: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3602: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3697: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":3697: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4031: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4031: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4081: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4081: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4161: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4932: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":4962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "mptbase.c":5076: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     93296 ast nodes 
       811 global variables
       640 function definitions
      4897 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: 10
  Fixpoint iterations with narrowing.......................

  There are some overflows and underflows that may be bugs.
     Overflow (name: mpt_ioc_proc_list, size: [2, 2])
	Index: [2, +Inf]  (file: "mptbase.c", line: 5237, column: 72)

  Number of alarms (buffers: 1, accesses: 1)
  User + system time: 0.790000 s
  Wall-clock time: 1 s
end at 2005-01-19 17:19:04 +0900