Preprocessing forcedeth.merged.c gcc -D_GNUCC -E -DCIL=1 forcedeth.merged.c -o /tmp/cil-V4v6v15k.i /scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-FsNkmiuI.cil.c --verbose --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dowhat annot-prop forcedeth.annot.txt ../common/COLORS.txt CG.dot forcedeth.all_annots.txt /tmp/cil-V4v6v15k.i Frontc is parsing /tmp/cil-V4v6v15k.i Converting CABS->CIL /scratch/sym/ipc_drivers/forcedeth/forcedeth_annotated.c:6253: Warning: /scratch/sym/ipc_drivers/forcedeth/forcedeth_annotated.c:6253: CIL only supports attribute((alias)) for functions. 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(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(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(0)... scanning globals(1)... ****** ISOLATING :::: nv_get_ringparam ::::::::::odftPerforimg heapify nv_get_ringparamscanning 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(0)... scanning globals(1)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(2)... scanning globals(1)... scanning globals(0)... scanning globals(0)... skipped generating err reports. ====================Hardware dependence bugs====================== Infinite polling: 2. Unsafe static array deference: 0 Dynamic array deference: 0 Unsafe halt code: 0 Missing error report on device failure: 3 Missing error report on device timeout: 9 Existing device failures reported: 0 Other(ignore)dma 12. ====================Detailed Summary(with line numbers)================= Infinite Loop:935 Missing report:1108 Missing timeout:1133 Missing timeout:3402 Missing timeout:3519 Missing timeout:3633 Missing timeout:3742 Missing timeout:3790 npa:4547 Infinite Loop:4825 Missing timeout:5190 Missing timeout:5200 Missing timeout:5806 Note: When CIL cannot compute line numbers: Line numbers show up as -1. Computing FTPA... !!!!! NOTE !!!!! : FPTA analysis was not done: function-pointer targets will be empty Computing callgraph + funcptrs... !!!!! NOTE !!!!! : Block @end of function nv_get_sset_count ** Reading file forcedeth.annot.txt ** ** Reading file ../common/COLORS.txt ** Costgraph has 259 nodes Costgraph has 856 edges STATS: total=0 total_LOC=0 no_annotation=-1 no_annotation_LOC=-1 kern_funcs=75 kern_funcs_LOC=-1 ======================================================= ======================================================= #### Total execution time: 1.595756 printing file /tmp/cil-FsNkmiuI.cil.c ****** ISOLATING :::: nv_get_ringparam ::::::::::odftPerforimg heapify nv_get_ringparamticks 2 newstmt 0 mem bugs 0 hlt 0 ret 3 rtc 9 pk 0 dma 12. Timings: TOTAL 0.000 s Timing used Memory statistics: total=644.22MB, max=41.65MB, minor=642.77MB, major=49.71MB, promoted=48.27MB minor collections=2453 major collections=14 compactions=0 Preprocessing /tmp/cil-FsNkmiuI.cil.c gcc -D_GNUCC -E /tmp/cil-FsNkmiuI.cil.c -o /tmp/cil-gzpRbmaU.cil.i