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

Warning: "af_inet.c":1071: assuming alignof() has 0 value.
Warning: "af_inet.c":1072: assuming alignof() has 0 value.
Warning: "af_inet.c":1073: assuming alignof() has 0 value.
Warning: "af_inet.c":1074: assuming alignof() has 0 value.
Warning: "af_inet.c":1075: assuming alignof() has 0 value.
Warning: "af_inet.c":1076: assuming alignof() has 0 value.
Warning: "af_inet.c":1077: assuming alignof() has 0 value.
Warning: "af_inet.c":1078: assuming alignof() has 0 value.
Warning: "af_inet.c":1079: assuming alignof() has 0 value.
Warning: "af_inet.c":1080: 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/filter.h":43: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/sock.h":962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/sock.h":1027: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":243: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/ip.h":244: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/tcp.h":805: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":727: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":728: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "af_inet.c":1101: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     83251 ast nodes 
      1292 global variables
      1020 function definitions
      6350 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: 2
  Fixpoint iterations with narrowing...................................

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