Preprocessing ens1371.merged.c gcc -D_GNUCC -E -DCIL=1 ens1371.merged.c -o /tmp/cil-OqZXvInd.i /scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-WTxRvmO3.cil.c --verbose --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dowhat find-roots ens1371.entry_points.txt /tmp/cil-OqZXvInd.i Frontc is parsing /tmp/cil-OqZXvInd.i Converting CABS->CIL /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:107: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:109: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:111: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:115: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:123: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:125: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:466: Warning: /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:466: CIL only supports attribute((alias)) for functions. /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:1681: Warning: CALL in constant /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:2095: Warning: Return statement without a value in function returning int /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:2097: Warning: Body of function ens1371_checkpoint falls-through. Adding a return statement /scratch/sym/ipc_drivers/ens1371/ens1371_annotated.c:2121: Warning: Body of function ens1371_restore falls-through. Adding a return statement Removing unused temporaries Running CIL feature drivers (device-driver analysis) ************************************************************** Generating Root annotations ************************************************************** ROOT 3 failed: sizeof(index) / sizeof(index[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(index[0]) ROOT 3 failed: index ROOT 3 failed: __param_str_index ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(id) / sizeof(id[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_charp ROOT 5 failed: struct kparam_array const ROOT 2: param_get_charp ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(id[0]) ROOT 3 failed: id ROOT 3 failed: __param_str_id ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(enable) / sizeof(enable[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_bool ROOT 5 failed: struct kparam_array const ROOT 2: param_get_bool ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(enable[0]) ROOT 3 failed: enable ROOT 3 failed: __param_str_enable ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(joystick_port) / sizeof(joystick_port[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(joystick_port[0]) ROOT 3 failed: joystick_port ROOT 3 failed: __param_str_joystick_port ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(spdif) / sizeof(spdif[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(spdif[0]) ROOT 3 failed: spdif ROOT 3 failed: __param_str_spdif ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(lineio) / sizeof(lineio[0]) + (sizeof(char [1]) - 1UL) ROOT 3 failed: 0 ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(lineio[0]) ROOT 3 failed: lineio ROOT 3 failed: __param_str_lineio ROOT 3 failed: 292U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: 4724 ROOT 3 failed: 4977 ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 4724 ROOT 3 failed: 22656 ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 4354 ROOT 3 failed: 35128 ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 3000 * (1 << 15) ROOT 3 failed: 48000 * (1 << 15) ROOT 3 failed: 3000U ROOT 3 failed: 1 << 15 ROOT 3 failed: 1 ROOT 2: es1371_dac_clock ROOT 5 failed: struct snd_pcm_hw_constraint_ratdens ROOT 3 failed: 48000 << 15 ROOT 3 failed: 32768U ROOT 3 failed: 393216U ROOT 3 failed: 1U ROOT 3 failed: 1 ROOT 2: es1371_adc_clock ROOT 5 failed: struct snd_pcm_hw_constraint_ratnums ROOT 3 failed: 4784387U ROOT 3 failed: (1ULL << 1) | (1ULL << 2) ROOT 3 failed: (1 << 30) | (((((((1 << 1) | (1 << 2)) | (1 << 3)) | (1 << 4)) | (1 << 5)) | (1 << 6)) | (1 << 7)) ROOT 3 failed: 4000U ROOT 3 failed: 48000U ROOT 3 failed: 1U ROOT 3 failed: 2U ROOT 3 failed: 131072 ROOT 3 failed: 64 ROOT 3 failed: 131072 ROOT 3 failed: 1U ROOT 3 failed: 1024U ROOT 3 failed: 0 ROOT 3 failed: 4784387U ROOT 3 failed: (1ULL << 1) | (1ULL << 2) ROOT 3 failed: (1 << 30) | (((((((1 << 1) | (1 << 2)) | (1 << 3)) | (1 << 4)) | (1 << 5)) | (1 << 6)) | (1 << 7)) ROOT 3 failed: 4000U ROOT 3 failed: 48000U ROOT 3 failed: 1U ROOT 3 failed: 2U ROOT 3 failed: 131072 ROOT 3 failed: 64 ROOT 3 failed: 131072 ROOT 3 failed: 1U ROOT 3 failed: 1024U ROOT 3 failed: 0 ROOT 3 failed: 4260099U ROOT 3 failed: (1ULL << 1) | (1ULL << 2) ROOT 3 failed: (1 << 30) | (((((((1 << 1) | (1 << 2)) | (1 << 3)) | (1 << 4)) | (1 << 5)) | (1 << 6)) | (1 << 7)) ROOT 3 failed: 4000U ROOT 3 failed: 48000U ROOT 3 failed: 1U ROOT 3 failed: 2U ROOT 3 failed: 131072 ROOT 3 failed: 64 ROOT 3 failed: 131072 ROOT 3 failed: 1U ROOT 3 failed: 1024U ROOT 3 failed: 0 ROOT 2: snd_ensoniq_playback1_open ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback1_close ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_pcm_lib_ioctl ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_params ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_free ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback1_prepare ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_trigger ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback1_pointer ROOT 5 failed: struct snd_pcm_ops ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: snd_ensoniq_playback2_open ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback2_close ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_pcm_lib_ioctl ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_params ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_free ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback2_prepare ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_trigger ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_playback2_pointer ROOT 5 failed: struct snd_pcm_ops ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: snd_ensoniq_capture_open ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_capture_close ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_pcm_lib_ioctl ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_params ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_hw_free ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_capture_prepare ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_trigger ROOT 5 failed: struct snd_pcm_ops ROOT 2: snd_ensoniq_capture_pointer ROOT 5 failed: struct snd_pcm_ops ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 2 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "IEC958 Playback Switch" ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 2: snd_ctl_boolean_mono_info ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_es1371_spdif_get ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_es1371_spdif_put ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 3 failed: 0UL ROOT 3 failed: 3 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "IEC958 Playback Default" ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 2: snd_ens1373_spdif_info ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_ens1373_spdif_default_get ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_ens1373_spdif_default_put ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 3 failed: 0UL ROOT 3 failed: 3 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "IEC958 Playback Mask" ROOT 3 failed: 0U ROOT 3 failed: 1U ROOT 3 failed: 0U ROOT 2: snd_ens1373_spdif_info ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_ens1373_spdif_mask_get ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 3 failed: 0 ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 3 failed: 0UL ROOT 3 failed: 3 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "IEC958 Playback PCM Stream" ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 2: snd_ens1373_spdif_info ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_ens1373_spdif_stream_get ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 2: snd_ens1373_spdif_stream_put ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 5 failed: struct snd_kcontrol_new [4] ROOT 3 failed: 0UL ROOT 3 failed: 2 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "AC97 2ch->4ch Copy Switch" ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 2: snd_ctl_boolean_mono_info ROOT 5 failed: struct snd_kcontrol_new ROOT 2: snd_es1373_rear_get ROOT 5 failed: struct snd_kcontrol_new ROOT 2: snd_es1373_rear_put ROOT 5 failed: struct snd_kcontrol_new ROOT 5 failed: struct snd_kcontrol_new ROOT 3 failed: 0UL ROOT 3 failed: 2 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: "Line In->Rear Out Switch" ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 2: snd_ctl_boolean_mono_info ROOT 5 failed: struct snd_kcontrol_new ROOT 2: snd_es1373_line_get ROOT 5 failed: struct snd_kcontrol_new ROOT 2: snd_es1373_line_put ROOT 5 failed: struct snd_kcontrol_new ROOT 5 failed: struct snd_kcontrol_new ROOT 3 failed: 0UL ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)2 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)3 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)4 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)4977 ROOT 3 failed: (unsigned char)7 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)4977 ROOT 3 failed: (unsigned char)8 ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: (unsigned char)0 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)8192 ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)5208 ROOT 3 failed: (unsigned short)40960 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: snd_es1371_codec_write ROOT 5 failed: struct snd_ac97_bus_ops ROOT 2: snd_es1371_codec_read ROOT 5 failed: struct snd_ac97_bus_ops ROOT 2: snd_es1371_codec_wait ROOT 5 failed: struct snd_ac97_bus_ops ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)4219 ROOT 3 failed: (unsigned short)8528 ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)5053 ROOT 3 failed: (unsigned short)4108 ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)4354 ROOT 3 failed: (unsigned short)22840 ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)4354 ROOT 3 failed: (unsigned short)35128 ROOT 3 failed: 0 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)2 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)3 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)22656 ROOT 3 failed: (unsigned char)4 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)4977 ROOT 3 failed: (unsigned char)7 ROOT 3 failed: (unsigned short)4724 ROOT 3 failed: (unsigned short)4977 ROOT 3 failed: (unsigned char)8 ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: (unsigned char)0 ROOT 2: snd_ensoniq_dev_free ROOT 5 failed: struct snd_device_ops ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: snd_ensoniq_midi_output_open ROOT 5 failed: struct snd_rawmidi_ops ROOT 2: snd_ensoniq_midi_output_close ROOT 5 failed: struct snd_rawmidi_ops ROOT 2: snd_ensoniq_midi_output_trigger ROOT 5 failed: struct snd_rawmidi_ops ROOT 3 failed: 0 ROOT 2: snd_ensoniq_midi_input_open ROOT 5 failed: struct snd_rawmidi_ops ROOT 2: snd_ensoniq_midi_input_close ROOT 5 failed: struct snd_rawmidi_ops ROOT 2: snd_ensoniq_midi_input_trigger ROOT 5 failed: struct snd_rawmidi_ops ROOT 3 failed: 0 ROOT 3 failed: "ENS1371" ROOT 3 failed: snd_audiopci_ids ROOT 2: snd_audiopci_probe ROOT 2: snd_audiopci_remove ROOT 2: snd_ensoniq_suspend ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: snd_ensoniq_resume ROOT 3 failed: 0 ROOT 3 failed: 0 snd_audiopci_interrupt interrupt snd_audiopci_remove remove_pci snd_audiopci_probe probe_pci init_module init_module cleanup_module cleanup_module snd_ensoniq_resume resume_pci ======================================================= ======================================================= #### Total execution time: 0.665898 printing file /tmp/cil-WTxRvmO3.cil.c Timings: TOTAL 0.000 s Timing used Memory statistics: total=299.01MB, max=21.33MB, minor=298.28MB, major=23.19MB, promoted=22.46MB minor collections=1138 major collections=13 compactions=0 Preprocessing /tmp/cil-WTxRvmO3.cil.c gcc -D_GNUCC -E /tmp/cil-WTxRvmO3.cil.c -o /tmp/cil-63UGFrnJ.cil.i