Preprocessing psmousebase.merged.c gcc -D_GNUCC -E -DCIL=1 psmousebase.merged.c -o /tmp/cil-igkva964.i /scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-XJLjt2sf.cil.c --verbose --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dowhat annot-prop psmousebase.annot.txt ../common/COLORS.txt CG.dot psmousebase.all_annots.txt /tmp/cil-igkva964.i Frontc is parsing /tmp/cil-igkva964.i Converting CABS->CIL 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(1)... ****** ISOLATING :::: psmouse_set_resolution ::::::::::odftPerforimg heapify psmouse_set_resolutionscanning globals(1)... ****** ISOLATING :::: psmouse_set_rate ::::::::::odftPerforimg heapify psmouse_set_ratescanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(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 :::: psmouse_show_int_attr ::::::::::odftPerforimg heapify psmouse_show_int_attrscanning globals(1)... ****** ISOLATING :::: psmouse_set_int_attr ::::::::::odftPerforimg heapify psmouse_set_int_attrscanning globals(1)... ****** ISOLATING :::: psmouse_attr_show_protocol ::::::::::odftPerforimg heapify psmouse_attr_show_protocolscanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... ****** ISOLATING :::: psmouse_set_maxproto ::::::::::odftPerforimg heapify psmouse_set_maxprotoscanning globals(1)... ****** ISOLATING :::: psmouse_get_maxproto ::::::::::odftPerforimg heapify psmouse_get_maxprotoscanning globals(2)... 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)... No bugs found. Computing FTPA... !!!!! NOTE !!!!! : FPTA analysis was not done: function-pointer targets will be empty Computing callgraph + funcptrs... !!!!! NOTE !!!!! : Block @end of function synaptics_validate_byte !!!!! NOTE !!!!! : Block @end of function psmouse_reconnect ** Reading file psmousebase.annot.txt ** ** Reading file ../common/COLORS.txt ** Costgraph has 220 nodes Costgraph has 378 edges STATS: total=0 total_LOC=0 no_annotation=-1 no_annotation_LOC=-1 kern_funcs=54 kern_funcs_LOC=-1 ======================================================= ======================================================= #### Total execution time: 0.621905 printing file /tmp/cil-XJLjt2sf.cil.c ****** ISOLATING :::: psmouse_set_resolution ::::::::::odftPerforimg heapify psmouse_set_resolution****** ISOLATING :::: psmouse_set_rate ::::::::::odftPerforimg heapify psmouse_set_rate****** ISOLATING :::: psmouse_show_int_attr ::::::::::odftPerforimg heapify psmouse_show_int_attr****** ISOLATING :::: psmouse_set_int_attr ::::::::::odftPerforimg heapify psmouse_set_int_attr****** ISOLATING :::: psmouse_attr_show_protocol ::::::::::odftPerforimg heapify psmouse_attr_show_protocol****** ISOLATING :::: psmouse_set_maxproto ::::::::::odftPerforimg heapify psmouse_set_maxproto****** ISOLATING :::: psmouse_get_maxproto ::::::::::odftPerforimg heapify psmouse_get_maxprotoTimings: TOTAL 0.000 s Timing used Memory statistics: total=279.43MB, max=18.28MB, minor=279.11MB, major=22.49MB, promoted=22.18MB minor collections=1064 major collections=13 compactions=0 Preprocessing /tmp/cil-XJLjt2sf.cil.c gcc -D_GNUCC -E /tmp/cil-XJLjt2sf.cil.c -o /tmp/cil-m98jD6Pa.cil.i