Preprocessing cmipci.merged.c
gcc -D_GNUCC -E -DCIL=1 cmipci.merged.c -o /tmp/cil-XUO1EPFD.i
/scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-mSKf42GY.cil.c --verbose --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dowhat annot-prop cmipci.annot.txt ../common/COLORS.txt CG.dot cmipci.all_annots.txt /tmp/cil-XUO1EPFD.i
Frontc is parsing /tmp/cil-XUO1EPFD.i
Converting CABS->CIL
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:69: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:71: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:73: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:75: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:77: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:79: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:82: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:462: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:462: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:612: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:1141: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:1177: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:1598: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2682: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2694: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2707: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2725: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2734: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:2753: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3263: Warning: /scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3263: CIL only supports attribute((alias)) for functions.

/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3359: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3361: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3396: Warning: CALL in constant
/scratch/sym/ipc_drivers/cmipci/cmipci_annotated.c:3398: Warning: CALL in constant
Removing unused temporaries
Running CIL feature drivers (device-driver analysis)
**************************************************************
	Generating Annotations Using Propagation on Call-Graph
**************************************************************
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(1)...
scanning globals(1)...
scanning globals(1)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(1)...
scanning globals(0)...
scanning globals(1)...
scanning globals(1)...
scanning globals(1)...
scanning globals(0)...
scanning globals(0)...
scanning globals(0)...
scanning globals(1)...
scanning globals(1)...
scanning globals(1)...
scanning globals(1)...
scanning globals(0)...
scanning globals(0)...
scanning globals(2)...
scanning globals(1)...
scanning globals(0)...
scanning globals(0)...
No bugs found.
Computing FTPA...
!!!!! NOTE !!!!! :  FPTA analysis was not done: function-pointer targets will be empty
Computing callgraph + funcptrs...
** Reading file cmipci.annot.txt **
** Reading file ../common/COLORS.txt **
Costgraph has 230 nodes
Costgraph has 378 edges
STATS: total=0 total_LOC=0 no_annotation=-1 no_annotation_LOC=-1 kern_funcs=62 kern_funcs_LOC=-1
=======================================================
=======================================================
#### Total execution time: 0.723889
printing file /tmp/cil-mSKf42GY.cil.c
Timings:
TOTAL                           0.000 s
Timing used
Memory statistics: total=405.86MB, max=26.41MB, minor=405.02MB, major=29.06MB, promoted=28.22MB
    minor collections=193  major collections=9 compactions=0
Preprocessing /tmp/cil-mSKf42GY.cil.c
gcc -D_GNUCC -E /tmp/cil-mSKf42GY.cil.c -o /tmp/cil-5N5yUqZs.cil.i