begin at 2005-01-19 17:16:09 +0900
Airac: analyzing vmax301.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.)

Parsing and transformation done:
     25972 ast nodes 
       190 global variables
       345 function definitions
      1789 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: 12
  Fixpoint iterations with narrowing............

  These alarms are suspected as bugs.
     Overflow (name: vmax_mtd, size: [2, 2])
	Index: [2, 2]  (file: "vmax301.c", line: 229, column: 40)

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