./Ultimate.py --spec ../../sv-benchmarks/c/properties/valid-memsafety.prp --file ../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i --full-output --architecture 64bit -------------------------------------------------------------------------------- Checking for memory safety (deref-memtrack) Using default analysis Version 38b53e6a Calling Ultimate with: /usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 2ac9f535af8244b093bc9b2ebba67ea5b28a2022739cf8ea5f1809dc862f0515 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 17:25:24,389 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 17:25:24,392 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 17:25:24,427 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 17:25:24,427 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 17:25:24,428 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 17:25:24,430 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 17:25:24,432 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 17:25:24,434 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 17:25:24,435 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 17:25:24,436 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 17:25:24,438 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 17:25:24,438 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 17:25:24,440 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 17:25:24,441 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 17:25:24,443 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 17:25:24,444 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 17:25:24,445 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 17:25:24,447 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 17:25:24,449 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 17:25:24,451 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 17:25:24,452 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 17:25:24,454 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 17:25:24,455 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 17:25:24,459 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 17:25:24,460 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 17:25:24,460 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 17:25:24,462 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 17:25:24,462 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 17:25:24,464 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 17:25:24,464 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 17:25:24,474 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 17:25:24,477 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 17:25:24,481 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 17:25:24,483 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 17:25:24,485 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 17:25:24,486 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 17:25:24,487 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 17:25:24,487 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 17:25:24,488 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 17:25:24,489 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 17:25:24,491 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Default.epf [2022-11-25 17:25:24,515 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 17:25:24,515 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 17:25:24,516 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 17:25:24,516 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 17:25:24,517 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 17:25:24,517 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 17:25:24,518 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 17:25:24,519 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 17:25:24,519 INFO L138 SettingsManager]: * Use SBE=true [2022-11-25 17:25:24,519 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 17:25:24,520 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 17:25:24,520 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 17:25:24,520 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 17:25:24,521 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 17:25:24,521 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 17:25:24,521 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 17:25:24,522 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 17:25:24,522 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 17:25:24,522 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 17:25:24,523 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 17:25:24,523 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-25 17:25:24,523 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 17:25:24,524 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 17:25:24,524 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 17:25:24,525 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 17:25:24,525 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2022-11-25 17:25:24,525 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2022-11-25 17:25:24,526 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-11-25 17:25:24,526 INFO L138 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2022-11-25 17:25:24,526 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-25 17:25:24,527 INFO L138 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 2ac9f535af8244b093bc9b2ebba67ea5b28a2022739cf8ea5f1809dc862f0515 [2022-11-25 17:25:24,872 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 17:25:24,917 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 17:25:24,921 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 17:25:24,923 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 17:25:24,924 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 17:25:24,925 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i [2022-11-25 17:25:28,126 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 17:25:28,977 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 17:25:28,978 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i [2022-11-25 17:25:29,027 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/ef28e645f/2f06998c949e4e20bd659aad9cb6a68d/FLAGfdccb38e7 [2022-11-25 17:25:29,045 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/ef28e645f/2f06998c949e4e20bd659aad9cb6a68d [2022-11-25 17:25:29,050 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 17:25:29,052 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 17:25:29,058 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 17:25:29,059 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 17:25:29,063 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 17:25:29,064 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 05:25:29" (1/1) ... [2022-11-25 17:25:29,065 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@5a942f47 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 05:25:29, skipping insertion in model container [2022-11-25 17:25:29,066 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 05:25:29" (1/1) ... [2022-11-25 17:25:29,074 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 17:25:29,290 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 17:25:30,819 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,829 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:30,839 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 17:25:30,842 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 17:25:30,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,857 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,863 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,867 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,875 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:30,880 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:30,884 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,889 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,891 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,907 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,929 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,931 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,945 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,960 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:30,971 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:30,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,978 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:30,982 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:30,983 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,990 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,992 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,994 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,996 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:30,998 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,007 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,010 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:31,030 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,040 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,052 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,058 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,060 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,064 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,073 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,081 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,083 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,086 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,087 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,088 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,093 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,103 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,109 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,113 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,123 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,129 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,131 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:31,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,133 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,137 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,142 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,144 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,147 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,148 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,149 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,150 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,151 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,155 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,155 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,168 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,174 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,176 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:31,177 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,186 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,188 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,190 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,191 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,195 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,197 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,199 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,204 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,205 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,205 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,206 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,208 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,210 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,213 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,214 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,216 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,227 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,233 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,234 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:31,235 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,240 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,241 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,247 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,248 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,251 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,252 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,254 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,255 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,256 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,256 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,258 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,260 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,280 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,290 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,291 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:31,292 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,294 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,299 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,301 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,307 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,310 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,312 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,312 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,314 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,315 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,316 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,319 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,319 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,321 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,322 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,323 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,324 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,336 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,345 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,349 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:31,350 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,355 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,356 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,357 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,358 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,359 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,360 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,361 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,362 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,364 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,365 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,381 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,383 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:31,384 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:31,387 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:31,390 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,394 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,402 WARN L569 CHandler]: More than one settings change for restart is not yet implemented; using only the first one to be reported [2022-11-25 17:25:31,408 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,411 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,412 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:31,413 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:31,415 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:31,416 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,431 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,439 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,451 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,452 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,453 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,454 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,454 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 17:25:31,456 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 17:25:31,458 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,460 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 17:25:31,486 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,495 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,505 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,513 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,524 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,533 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,544 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,553 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,566 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,575 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,584 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,595 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,610 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,619 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:31,777 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 17:25:31,783 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_6 [2022-11-25 17:25:31,784 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:31,784 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:31,788 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_3 [2022-11-25 17:25:31,788 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:31,789 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:31,793 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_7 [2022-11-25 17:25:31,793 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:31,794 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:31,797 WARN L623 FunctionHandler]: Unknown extern function ldv_release_9 [2022-11-25 17:25:31,797 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_9 [2022-11-25 17:25:31,800 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_2 [2022-11-25 17:25:31,801 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:31,801 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:31,802 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 17:25:31,803 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:31,804 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:31,804 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 17:25:31,805 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 17:25:31,806 WARN L623 FunctionHandler]: Unknown extern function ldv_reset_resume_1 [2022-11-25 17:25:31,809 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_4 [2022-11-25 17:25:31,809 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:31,810 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:31,813 WARN L623 FunctionHandler]: Unknown extern function ldv_release_10 [2022-11-25 17:25:31,813 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_10 [2022-11-25 17:25:31,816 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_5 [2022-11-25 17:25:31,817 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:31,817 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:31,819 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,820 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,820 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,821 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:31,822 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,822 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,823 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,823 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,824 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,824 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 17:25:31,825 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 17:25:31,875 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,876 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,877 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,877 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,878 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,879 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,880 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,881 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,882 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,882 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,884 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,885 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,886 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,887 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,888 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,890 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,893 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,894 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,896 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,897 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,898 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,902 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,903 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,906 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:31,907 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,907 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,907 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:31,908 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:31,908 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,909 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:31,909 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,018 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,019 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,020 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,021 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,022 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,023 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,024 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,030 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,031 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,032 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,033 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,033 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,039 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,040 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,041 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,041 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,047 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,048 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,049 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,050 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,057 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,058 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,059 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,059 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,065 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,066 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,072 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,073 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,074 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,075 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,076 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,076 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,077 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,078 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,084 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,090 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,096 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,102 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,104 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,110 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,112 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,113 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,120 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,123 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,124 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,125 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,127 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,129 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,130 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,132 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,134 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,135 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,137 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,139 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,141 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,142 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,143 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,145 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,146 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,165 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,167 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,168 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,168 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,168 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:32,169 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,169 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,170 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,171 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible [2022-11-25 17:25:32,171 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,224 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,225 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,226 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,235 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,237 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,239 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,245 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,247 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,248 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,249 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,250 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,251 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,252 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,253 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,259 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,261 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,261 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,262 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,263 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,264 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,264 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,265 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,266 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,276 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,277 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,278 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,279 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,280 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,280 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,292 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,293 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,300 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,300 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,302 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,308 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,309 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,309 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,310 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,311 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,318 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,318 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,319 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,320 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:32,320 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,322 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,322 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,323 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:32,324 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,324 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,325 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,325 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,325 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,325 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:32,326 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,327 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,327 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,327 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:32,328 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,328 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:32,329 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:32,334 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i[421041,421054] [2022-11-25 17:25:32,621 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 17:25:32,703 ERROR L326 MainTranslator]: Unsupported Syntax: Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) [2022-11-25 17:25:32,704 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@5e285148 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 05:25:32, skipping insertion in model container [2022-11-25 17:25:32,704 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2022-11-25 17:25:32,704 INFO L184 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2022-11-25 17:25:32,708 INFO L158 Benchmark]: Toolchain (without parser) took 3653.18ms. Allocated memory was 161.5MB in the beginning and 228.6MB in the end (delta: 67.1MB). Free memory was 113.3MB in the beginning and 128.5MB in the end (delta: -15.2MB). Peak memory consumption was 92.4MB. Max. memory is 16.1GB. [2022-11-25 17:25:32,708 INFO L158 Benchmark]: CDTParser took 1.14ms. Allocated memory is still 109.1MB. Free memory is still 63.7MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 17:25:32,710 INFO L158 Benchmark]: CACSL2BoogieTranslator took 3645.88ms. Allocated memory was 161.5MB in the beginning and 228.6MB in the end (delta: 67.1MB). Free memory was 113.3MB in the beginning and 128.5MB in the end (delta: -15.2MB). Peak memory consumption was 92.4MB. Max. memory is 16.1GB. [2022-11-25 17:25:32,711 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 1.14ms. Allocated memory is still 109.1MB. Free memory is still 63.7MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 3645.88ms. Allocated memory was 161.5MB in the beginning and 228.6MB in the end (delta: 67.1MB). Free memory was 113.3MB in the beginning and 128.5MB in the end (delta: -15.2MB). Peak memory consumption was 92.4MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - UnsupportedSyntaxResult [Line: 7617]: Unsupported Syntax Found a cast between two array/pointer types of different sizes while using memory model HoenickeLindenmann_Original (while Not using bitvector translation) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Using bit-precise analysis Retrying with bit-precise analysis ### Bit-precise run ### Calling Ultimate with: /usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -Dosgi.configuration.area=/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/config -Xmx15G -Xms4m -jar /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data -tc /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/AutomizerMemDerefMemtrack.xml -i ../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i -s /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 2ac9f535af8244b093bc9b2ebba67ea5b28a2022739cf8ea5f1809dc862f0515 --- Real Ultimate output --- [0.001s][warning][os,container] Duplicate cpuset controllers detected. Picking /sys/fs/cgroup/cpuset, skipping /sys/fs/cgroup/cpuset. This is Ultimate 0.2.2-dev-38b53e6 [2022-11-25 17:25:35,263 INFO L177 SettingsManager]: Resetting all preferences to default values... [2022-11-25 17:25:35,267 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2022-11-25 17:25:35,326 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2022-11-25 17:25:35,327 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2022-11-25 17:25:35,331 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2022-11-25 17:25:35,335 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2022-11-25 17:25:35,342 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2022-11-25 17:25:35,345 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2022-11-25 17:25:35,349 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2022-11-25 17:25:35,350 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2022-11-25 17:25:35,353 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2022-11-25 17:25:35,354 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2022-11-25 17:25:35,360 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2022-11-25 17:25:35,361 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2022-11-25 17:25:35,366 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2022-11-25 17:25:35,371 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2022-11-25 17:25:35,372 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2022-11-25 17:25:35,374 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2022-11-25 17:25:35,377 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2022-11-25 17:25:35,382 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2022-11-25 17:25:35,385 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2022-11-25 17:25:35,386 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2022-11-25 17:25:35,387 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2022-11-25 17:25:35,391 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2022-11-25 17:25:35,392 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2022-11-25 17:25:35,392 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2022-11-25 17:25:35,393 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2022-11-25 17:25:35,394 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2022-11-25 17:25:35,395 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2022-11-25 17:25:35,396 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2022-11-25 17:25:35,397 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2022-11-25 17:25:35,398 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2022-11-25 17:25:35,399 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2022-11-25 17:25:35,401 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2022-11-25 17:25:35,401 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2022-11-25 17:25:35,402 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2022-11-25 17:25:35,403 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2022-11-25 17:25:35,403 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2022-11-25 17:25:35,404 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2022-11-25 17:25:35,405 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2022-11-25 17:25:35,406 INFO L101 SettingsManager]: Beginning loading settings from /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/config/svcomp-DerefFreeMemtrack-64bit-Automizer_Bitvector.epf [2022-11-25 17:25:35,453 INFO L113 SettingsManager]: Loading preferences was successful [2022-11-25 17:25:35,453 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2022-11-25 17:25:35,454 INFO L136 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2022-11-25 17:25:35,454 INFO L138 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2022-11-25 17:25:35,455 INFO L136 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2022-11-25 17:25:35,455 INFO L138 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2022-11-25 17:25:35,456 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2022-11-25 17:25:35,456 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2022-11-25 17:25:35,457 INFO L138 SettingsManager]: * Use SBE=true [2022-11-25 17:25:35,457 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2022-11-25 17:25:35,458 INFO L138 SettingsManager]: * Check unreachability of error function in SV-COMP mode=false [2022-11-25 17:25:35,458 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2022-11-25 17:25:35,459 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2022-11-25 17:25:35,459 INFO L138 SettingsManager]: * Check for the main procedure if all allocated memory was freed=true [2022-11-25 17:25:35,459 INFO L138 SettingsManager]: * Bitprecise bitfields=true [2022-11-25 17:25:35,459 INFO L138 SettingsManager]: * SV-COMP memtrack compatibility mode=true [2022-11-25 17:25:35,460 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2022-11-25 17:25:35,460 INFO L138 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2022-11-25 17:25:35,460 INFO L138 SettingsManager]: * Use bitvectors instead of ints=true [2022-11-25 17:25:35,460 INFO L138 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2022-11-25 17:25:35,461 INFO L138 SettingsManager]: * Use constant arrays=true [2022-11-25 17:25:35,461 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2022-11-25 17:25:35,461 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2022-11-25 17:25:35,462 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2022-11-25 17:25:35,462 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2022-11-25 17:25:35,462 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2022-11-25 17:25:35,462 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2022-11-25 17:25:35,463 INFO L138 SettingsManager]: * Trace refinement strategy=WOLF [2022-11-25 17:25:35,463 INFO L138 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2022-11-25 17:25:35,463 INFO L138 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2022-11-25 17:25:35,464 INFO L138 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2022-11-25 17:25:35,464 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2022-11-25 17:25:35,464 INFO L138 SettingsManager]: * Logic for external solver=AUFBV [2022-11-25 17:25:35,465 INFO L138 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int) WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations WARNING: All illegal access operations will be denied in a future release Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 2ac9f535af8244b093bc9b2ebba67ea5b28a2022739cf8ea5f1809dc862f0515 [2022-11-25 17:25:35,886 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2022-11-25 17:25:35,911 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2022-11-25 17:25:35,915 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2022-11-25 17:25:35,916 INFO L271 PluginConnector]: Initializing CDTParser... [2022-11-25 17:25:35,917 INFO L275 PluginConnector]: CDTParser initialized [2022-11-25 17:25:35,922 INFO L432 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/../../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i [2022-11-25 17:25:39,488 INFO L500 CDTParser]: Created temporary CDT project at NULL [2022-11-25 17:25:40,229 INFO L351 CDTParser]: Found 1 translation units. [2022-11-25 17:25:40,230 INFO L172 CDTParser]: Scanning /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i [2022-11-25 17:25:40,304 INFO L394 CDTParser]: About to delete temporary CDT project at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/d0a35cbd8/19cbd1ba6f8b42c0b28430d6e8972b55/FLAG6487e9ba2 [2022-11-25 17:25:40,334 INFO L402 CDTParser]: Successfully deleted /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/bin/uautomizer-ZsLfNo2U6R/data/d0a35cbd8/19cbd1ba6f8b42c0b28430d6e8972b55 [2022-11-25 17:25:40,337 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2022-11-25 17:25:40,339 INFO L131 ToolchainWalker]: Walking toolchain with 6 elements. [2022-11-25 17:25:40,343 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2022-11-25 17:25:40,343 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2022-11-25 17:25:40,347 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2022-11-25 17:25:40,348 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 05:25:40" (1/1) ... [2022-11-25 17:25:40,349 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@ba1b631 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 25.11 05:25:40, skipping insertion in model container [2022-11-25 17:25:40,350 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 25.11 05:25:40" (1/1) ... [2022-11-25 17:25:40,359 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2022-11-25 17:25:40,554 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 17:25:42,134 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,149 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,157 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 17:25:42,160 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 17:25:42,163 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,174 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,175 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,180 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,184 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,192 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,196 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,197 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,202 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,203 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,206 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,216 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,222 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,223 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,244 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,246 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,258 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,287 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,290 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,294 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,296 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,297 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,298 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,301 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,306 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,308 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,309 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,311 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,321 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,322 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:42,344 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,351 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,369 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,373 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,376 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,392 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,396 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,397 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,398 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,399 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,403 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,420 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,424 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,438 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,440 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,446 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,448 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,450 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,473 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,475 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,477 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,478 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,479 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,481 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,482 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,486 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,486 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,512 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,514 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,515 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,527 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,528 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,530 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,534 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,535 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,537 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,542 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,543 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,545 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,546 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,547 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,549 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,553 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,554 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,555 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,556 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,572 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,579 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,580 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,592 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,593 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,594 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,595 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,601 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,602 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,602 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,604 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,605 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,638 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,641 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,641 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,643 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,646 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,649 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,652 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,657 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,658 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,660 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,662 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,663 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,665 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,666 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,667 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,669 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,672 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,672 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,674 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,674 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,689 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,690 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:42,691 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,692 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,693 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,694 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,694 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,695 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,696 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,696 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,697 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,698 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,698 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,716 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:42,717 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:42,718 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:42,720 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,720 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,730 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,731 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,731 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:42,732 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:42,733 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:42,734 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,750 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,750 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,751 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,751 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,752 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,753 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,753 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 17:25:42,755 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 17:25:42,756 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:42,757 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 17:25:42,785 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,793 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,802 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,810 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,819 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,828 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,837 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,864 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,873 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,881 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,890 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,899 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,909 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:42,918 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:43,070 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 17:25:43,075 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_6 [2022-11-25 17:25:43,076 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:43,076 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:43,079 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_3 [2022-11-25 17:25:43,079 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:43,079 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:43,082 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_7 [2022-11-25 17:25:43,082 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:43,083 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:43,084 WARN L623 FunctionHandler]: Unknown extern function ldv_release_9 [2022-11-25 17:25:43,085 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_9 [2022-11-25 17:25:43,087 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_2 [2022-11-25 17:25:43,087 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:43,088 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:43,089 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 17:25:43,090 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:43,090 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:43,091 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 17:25:43,091 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 17:25:43,091 WARN L623 FunctionHandler]: Unknown extern function ldv_reset_resume_1 [2022-11-25 17:25:43,094 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_4 [2022-11-25 17:25:43,094 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:43,095 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:43,097 WARN L623 FunctionHandler]: Unknown extern function ldv_release_10 [2022-11-25 17:25:43,097 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_10 [2022-11-25 17:25:43,100 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_5 [2022-11-25 17:25:43,100 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:43,101 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:43,102 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,103 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,103 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,104 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:43,104 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,104 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,105 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,105 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,105 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,106 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 17:25:43,107 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 17:25:43,160 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,161 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,162 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,163 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,164 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,165 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,165 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,166 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,167 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,168 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,169 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,170 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,171 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,172 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,173 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,173 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,174 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,217 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,219 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,219 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,227 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,229 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,230 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,231 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,232 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,233 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,234 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,235 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,236 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,238 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,239 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,239 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,240 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,240 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,253 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:43,254 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,255 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,255 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,367 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,368 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,369 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,371 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,371 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,372 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,373 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,374 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,374 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,381 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,383 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,384 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,384 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,385 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,396 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,397 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,398 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,399 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,405 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,406 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,406 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,407 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,407 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,414 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,419 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,420 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,421 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,421 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,428 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,428 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,429 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,436 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,436 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,438 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,439 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,440 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,441 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,442 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,450 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,456 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,463 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,470 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,472 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,479 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,490 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,494 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,495 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,496 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,498 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,502 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,505 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,506 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,508 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,510 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,511 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,512 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,513 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,516 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,518 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,524 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,525 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,527 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,527 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,528 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,528 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:43,529 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,529 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,529 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,530 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible [2022-11-25 17:25:43,530 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,589 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,590 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,591 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,592 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,594 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,602 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,603 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,613 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,614 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,615 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,631 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,639 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,641 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,642 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,642 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,643 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,644 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,645 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,645 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,646 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,647 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,669 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,670 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,671 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,672 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,672 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,673 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,674 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,675 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,688 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,689 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,697 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,697 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,699 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,706 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,707 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,707 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,708 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,709 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,717 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,718 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,719 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,720 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:43,721 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,721 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,722 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,723 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,724 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:43,726 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,726 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,726 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,727 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,727 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,727 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:43,728 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,729 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,729 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,730 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:43,730 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,731 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:43,731 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:43,738 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i[421041,421054] [2022-11-25 17:25:44,090 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 17:25:44,162 INFO L200 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2022-11-25 17:25:44,282 INFO L178 MainTranslator]: Built tables and reachable declarations [2022-11-25 17:25:44,470 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,471 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,472 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_write [2022-11-25 17:25:44,473 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_generic_rw [2022-11-25 17:25:44,474 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,475 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,475 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,477 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,479 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,481 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,482 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,483 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,484 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,484 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,485 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,486 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,489 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,490 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,500 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,501 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,503 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,507 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,534 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,535 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,535 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,535 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,536 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,537 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,537 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,538 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,538 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,539 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,541 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,542 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,545 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,546 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,546 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,548 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,549 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,550 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,550 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,551 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,551 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,553 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,554 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,557 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,557 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,558 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,558 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,559 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,559 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,560 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,560 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,561 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,562 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,562 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,562 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,563 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,563 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,567 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,568 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,568 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,569 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,570 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,571 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,571 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,571 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,572 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,572 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,573 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,574 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,574 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,574 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,575 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,575 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,575 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,576 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,576 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,580 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,581 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,581 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,582 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,582 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,583 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,584 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,585 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,586 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,587 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,588 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,588 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,589 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,590 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,590 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,594 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,595 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,595 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,596 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,597 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,598 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,599 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,600 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,601 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,602 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,602 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,603 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,603 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,604 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,604 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,608 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,609 WARN L623 FunctionHandler]: Unknown extern function usb_set_interface [2022-11-25 17:25:44,609 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,610 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,611 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,612 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,612 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,613 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,613 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,614 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,614 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,618 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,618 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,619 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,619 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,620 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,622 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,623 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,623 WARN L623 FunctionHandler]: Unknown extern function __request_module [2022-11-25 17:25:44,624 WARN L623 FunctionHandler]: Unknown extern function __symbol_get [2022-11-25 17:25:44,624 WARN L623 FunctionHandler]: Unknown extern function __symbol_put [2022-11-25 17:25:44,625 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,628 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,629 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,630 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,630 WARN L623 FunctionHandler]: Unknown extern function __mutex_init [2022-11-25 17:25:44,632 WARN L623 FunctionHandler]: Unknown extern function tveeprom_read [2022-11-25 17:25:44,632 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,633 WARN L623 FunctionHandler]: Unknown extern function tveeprom_hauppauge_analog [2022-11-25 17:25:44,635 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,637 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,639 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,640 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,642 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,673 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,676 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,679 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,682 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,684 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,687 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,690 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,693 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,696 WARN L623 FunctionHandler]: Unknown extern function __dynamic_pr_debug [2022-11-25 17:25:44,725 WARN L623 FunctionHandler]: Unknown extern function ldv_initialize [2022-11-25 17:25:44,729 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_6 [2022-11-25 17:25:44,729 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:44,730 WARN L623 FunctionHandler]: Unknown extern function ldv_release_6 [2022-11-25 17:25:44,732 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_3 [2022-11-25 17:25:44,733 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:44,733 WARN L623 FunctionHandler]: Unknown extern function ldv_release_3 [2022-11-25 17:25:44,735 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_7 [2022-11-25 17:25:44,736 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:44,736 WARN L623 FunctionHandler]: Unknown extern function ldv_release_7 [2022-11-25 17:25:44,738 WARN L623 FunctionHandler]: Unknown extern function ldv_release_9 [2022-11-25 17:25:44,739 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_9 [2022-11-25 17:25:44,741 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_2 [2022-11-25 17:25:44,742 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:44,742 WARN L623 FunctionHandler]: Unknown extern function ldv_release_2 [2022-11-25 17:25:44,743 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_probe [2022-11-25 17:25:44,744 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:44,745 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_disconnect [2022-11-25 17:25:44,745 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_suspend [2022-11-25 17:25:44,746 WARN L623 FunctionHandler]: Unknown extern function dvb_usbv2_resume [2022-11-25 17:25:44,746 WARN L623 FunctionHandler]: Unknown extern function ldv_reset_resume_1 [2022-11-25 17:25:44,749 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_4 [2022-11-25 17:25:44,749 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:44,750 WARN L623 FunctionHandler]: Unknown extern function ldv_release_4 [2022-11-25 17:25:44,752 WARN L623 FunctionHandler]: Unknown extern function ldv_release_10 [2022-11-25 17:25:44,753 WARN L623 FunctionHandler]: Unknown extern function ldv_probe_10 [2022-11-25 17:25:44,755 WARN L623 FunctionHandler]: Unknown extern function ldv_setup_5 [2022-11-25 17:25:44,755 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:44,756 WARN L623 FunctionHandler]: Unknown extern function ldv_release_5 [2022-11-25 17:25:44,758 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,758 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,758 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,759 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:44,759 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,760 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,760 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,761 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,761 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,761 WARN L623 FunctionHandler]: Unknown extern function usb_register_driver [2022-11-25 17:25:44,762 WARN L623 FunctionHandler]: Unknown extern function usb_deregister [2022-11-25 17:25:44,768 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,769 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,770 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,770 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,771 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,772 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,773 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,774 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,775 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,777 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,778 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,779 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,781 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,782 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,783 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,786 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,787 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,787 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,789 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,790 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,791 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,792 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,793 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,794 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,795 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,795 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,796 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,813 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,815 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,816 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,816 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,817 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,817 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,818 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:44,818 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,818 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,819 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,820 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,821 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,822 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,823 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,824 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,825 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,826 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,827 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,829 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,830 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,831 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,832 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,833 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,834 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,835 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,836 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,837 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,838 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,839 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,840 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,841 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,841 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,842 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,843 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,844 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,845 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,846 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,847 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,848 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,849 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,850 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,851 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,852 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,854 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,855 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,856 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,858 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,859 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,862 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,863 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,865 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,869 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,870 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,872 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,874 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,876 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,877 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,879 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,881 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,882 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,884 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,897 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,899 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,900 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,901 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,904 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,905 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,911 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,912 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,914 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,914 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,915 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,915 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:44,916 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,916 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,916 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,917 WARN L623 FunctionHandler]: Unknown extern function mutex_lock_interruptible [2022-11-25 17:25:44,917 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,918 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,919 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,920 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,921 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,922 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,923 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,924 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,950 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,951 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,952 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,952 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,953 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,954 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,955 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,955 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,956 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,957 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,958 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,959 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,959 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,960 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,961 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,962 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,972 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,973 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,973 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,974 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,975 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,976 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,977 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,979 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,979 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,980 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,980 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,981 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,981 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,981 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,982 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,983 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,983 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,984 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,984 WARN L623 FunctionHandler]: Unknown extern function i2c_transfer [2022-11-25 17:25:44,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,985 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,986 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:44,987 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,987 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,987 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,987 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,988 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,988 WARN L623 FunctionHandler]: Unknown extern function msleep [2022-11-25 17:25:44,988 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,989 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,989 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,989 WARN L623 FunctionHandler]: Unknown extern function mutex_trylock [2022-11-25 17:25:44,989 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,990 WARN L623 FunctionHandler]: Unknown extern function mutex_unlock [2022-11-25 17:25:44,990 WARN L623 FunctionHandler]: Unknown extern function mutex_lock [2022-11-25 17:25:44,990 WARN L237 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_3fc551cb-655b-464f-9a7c-7acc0f122163/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-entry_point.cil.out.i[421041,421054] [2022-11-25 17:25:45,015 INFO L210 PostProcessor]: Analyzing one entry point: main [2022-11-25 17:25:45,048 INFO L203 MainTranslator]: Completed pre-run [2022-11-25 17:25:45,268 WARN L623 FunctionHandler]: Unknown extern function printk [2022-11-25 17:25:45,269 FATAL L? ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator has thrown an exception: java.lang.UnsupportedOperationException: Bitfield reference at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1457) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:364) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:727) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:372) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1420) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:326) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1094) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:334) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.FunctionHandler.handleFunctionDefinition(FunctionHandler.java:371) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1496) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:289) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.processTUchild(CHandler.java:3320) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:2395) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:600) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainDispatcher.dispatch(MainDispatcher.java:270) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.performMainRun(MainTranslator.java:244) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.translate(MainTranslator.java:206) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.run(MainTranslator.java:115) at de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.MainTranslator.(MainTranslator.java:93) at de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver.finish(CACSL2BoogieTranslatorObserver.java:128) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104) at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) [2022-11-25 17:25:45,274 INFO L158 Benchmark]: Toolchain (without parser) took 4934.10ms. Allocated memory was 83.9MB in the beginning and 184.5MB in the end (delta: 100.7MB). Free memory was 44.7MB in the beginning and 98.6MB in the end (delta: -53.9MB). Peak memory consumption was 95.3MB. Max. memory is 16.1GB. [2022-11-25 17:25:45,274 INFO L158 Benchmark]: CDTParser took 0.88ms. Allocated memory is still 56.6MB. Free memory is still 34.7MB. There was no memory consumed. Max. memory is 16.1GB. [2022-11-25 17:25:45,275 INFO L158 Benchmark]: CACSL2BoogieTranslator took 4929.58ms. Allocated memory was 83.9MB in the beginning and 184.5MB in the end (delta: 100.7MB). Free memory was 44.4MB in the beginning and 98.6MB in the end (delta: -54.2MB). Peak memory consumption was 95.3MB. Max. memory is 16.1GB. [2022-11-25 17:25:45,276 INFO L339 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.88ms. Allocated memory is still 56.6MB. Free memory is still 34.7MB. There was no memory consumed. Max. memory is 16.1GB. * CACSL2BoogieTranslator took 4929.58ms. Allocated memory was 83.9MB in the beginning and 184.5MB in the end (delta: 100.7MB). Free memory was 44.4MB in the beginning and 98.6MB in the end (delta: -54.2MB). Peak memory consumption was 95.3MB. Max. memory is 16.1GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - ExceptionOrErrorResult: UnsupportedOperationException: Bitfield reference de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Bitfield reference: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:140) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request... --- End real Ultimate output --- Execution finished normally Writing output log to file Ultimate.log Result: ERROR: ExceptionOrErrorResult: UnsupportedOperationException: Bitfield reference