java -ea -Xmx4000000000 -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc ../../../trunk/examples/toolchains/C-BPP.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--isdn--i4l--isdn.ko-entry_point_true-unreach-call.cil.out.c -------------------------------------------------------------------------------- This is Ultimate 0.1.23-10914cd [2018-11-09 12:50:17,181 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-11-09 12:50:17,187 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-11-09 12:50:17,222 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-11-09 12:50:17,223 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-11-09 12:50:17,227 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-11-09 12:50:17,232 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-11-09 12:50:17,238 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-11-09 12:50:17,243 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-11-09 12:50:17,244 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-11-09 12:50:17,249 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-11-09 12:50:17,249 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-11-09 12:50:17,250 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-11-09 12:50:17,255 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-11-09 12:50:17,267 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-11-09 12:50:17,271 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-11-09 12:50:17,272 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-11-09 12:50:17,277 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-11-09 12:50:17,284 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-11-09 12:50:17,290 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-11-09 12:50:17,294 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-11-09 12:50:17,298 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-11-09 12:50:17,308 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-11-09 12:50:17,308 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-11-09 12:50:17,308 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-11-09 12:50:17,310 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-11-09 12:50:17,316 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-11-09 12:50:17,317 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-11-09 12:50:17,321 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-11-09 12:50:17,322 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-11-09 12:50:17,326 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-11-09 12:50:17,328 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-11-09 12:50:17,329 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-11-09 12:50:17,329 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-11-09 12:50:17,330 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-11-09 12:50:17,337 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-11-09 12:50:17,338 INFO L98 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf [2018-11-09 12:50:17,377 INFO L110 SettingsManager]: Loading preferences was successful [2018-11-09 12:50:17,378 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-11-09 12:50:17,379 INFO L131 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2018-11-09 12:50:17,379 INFO L133 SettingsManager]: * to procedures, called more than once=true [2018-11-09 12:50:17,388 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-11-09 12:50:17,388 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-11-09 12:50:17,388 INFO L133 SettingsManager]: * Use SBE=true [2018-11-09 12:50:17,389 INFO L131 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2018-11-09 12:50:17,389 INFO L133 SettingsManager]: * Overapproximate operations on floating types=true [2018-11-09 12:50:17,389 INFO L133 SettingsManager]: * Check division by zero=IGNORE [2018-11-09 12:50:17,389 INFO L133 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2018-11-09 12:50:17,389 INFO L133 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2018-11-09 12:50:17,389 INFO L133 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2018-11-09 12:50:17,394 INFO L133 SettingsManager]: * Check if freed pointer was valid=false [2018-11-09 12:50:17,394 INFO L133 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2018-11-09 12:50:17,394 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-11-09 12:50:17,395 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-11-09 12:50:17,395 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-11-09 12:50:17,395 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-11-09 12:50:17,395 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-11-09 12:50:17,395 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-11-09 12:50:17,396 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-11-09 12:50:17,396 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-11-09 12:50:17,396 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-11-09 12:50:17,396 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-11-09 12:50:17,396 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-11-09 12:50:17,402 INFO L133 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2018-11-09 12:50:17,402 INFO L133 SettingsManager]: * To the following directory=dump/ [2018-11-09 12:50:17,532 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2018-11-09 12:50:17,565 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-11-09 12:50:17,574 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2018-11-09 12:50:17,578 INFO L271 PluginConnector]: Initializing CDTParser... [2018-11-09 12:50:17,583 INFO L276 PluginConnector]: CDTParser initialized [2018-11-09 12:50:17,584 INFO L418 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--isdn--i4l--isdn.ko-entry_point_true-unreach-call.cil.out.c [2018-11-09 12:50:17,746 INFO L218 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bbc97cb32/d22b15b642c345da8040871b052f7c99/FLAGa999f7e22 [2018-11-09 12:50:20,279 INFO L298 CDTParser]: Found 1 translation units. [2018-11-09 12:50:20,285 INFO L158 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--isdn--i4l--isdn.ko-entry_point_true-unreach-call.cil.out.c [2018-11-09 12:50:20,513 INFO L346 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bbc97cb32/d22b15b642c345da8040871b052f7c99/FLAGa999f7e22 [2018-11-09 12:50:20,562 INFO L354 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/bbc97cb32/d22b15b642c345da8040871b052f7c99 [2018-11-09 12:50:20,594 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2018-11-09 12:50:20,596 INFO L131 ToolchainWalker]: Walking toolchain with 2 elements. [2018-11-09 12:50:20,600 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2018-11-09 12:50:20,600 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2018-11-09 12:50:20,613 INFO L276 PluginConnector]: CACSL2BoogieTranslator initialized [2018-11-09 12:50:20,618 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.11 12:50:20" (1/1) ... [2018-11-09 12:50:20,627 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@65a9706d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:50:20, skipping insertion in model container [2018-11-09 12:50:20,627 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.11 12:50:20" (1/1) ... [2018-11-09 12:50:20,656 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2018-11-09 12:50:21,588 INFO L174 MainTranslator]: Built tables and reachable declarations [2018-11-09 12:50:57,486 INFO L201 PostProcessor]: Analyzing one entry point: main [2018-11-09 12:50:58,161 INFO L189 MainTranslator]: Completed pre-run [2018-11-09 12:51:21,286 INFO L201 PostProcessor]: Analyzing one entry point: main [2018-11-09 12:51:26,030 INFO L193 MainTranslator]: Completed translation [2018-11-09 12:51:26,031 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:51:26 WrapperNode [2018-11-09 12:51:26,031 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2018-11-09 12:51:26,039 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2018-11-09 12:51:26,040 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2018-11-09 12:51:26,041 INFO L276 PluginConnector]: Boogie Preprocessor initialized [2018-11-09 12:51:26,064 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:51:26" (1/1) ... [2018-11-09 12:51:26,065 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:51:26" (1/1) ... [2018-11-09 12:51:26,327 ERROR L1123 TypeChecker]: C: dev [8254]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,334 ERROR L1123 TypeChecker]: C: dev->drvmap[idx] [8254]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem315,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,337 ERROR L1123 TypeChecker]: C: dev [8255]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,337 ERROR L1123 TypeChecker]: C: dev->chanmap[idx] [8255]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem316,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,338 ERROR L1123 TypeChecker]: C: dev [8256]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,338 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] = lp->netdev [8256]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem317,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,338 ERROR L1123 TypeChecker]: C: dev [8257]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,339 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] = lp->netdev [8257]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem318,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,339 ERROR L1123 TypeChecker]: C: dev [8275]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,339 ERROR L1123 TypeChecker]: C: dev->rx_netdev[tmp] = (isdn_net_dev *)0 [8275]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~tmp~39,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,342 ERROR L1123 TypeChecker]: C: dev [8277]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,342 ERROR L1123 TypeChecker]: C: dev->st_netdev[tmp___0] = (isdn_net_dev *)0 [8277]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~tmp___0~12,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,343 ERROR L1123 TypeChecker]: C: dev [8297]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,347 ERROR L1123 TypeChecker]: C: dev->netdev [8297]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem334,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,347 ERROR L1123 TypeChecker]: C: dev [8308]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,348 ERROR L1123 TypeChecker]: C: dev->net_verbose [8308]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem338,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,348 ERROR L1123 TypeChecker]: C: dev [8364]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,349 ERROR L1123 TypeChecker]: C: dev->global_flags [8364]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem383,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,349 ERROR L1123 TypeChecker]: C: dev [8406]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,361 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] [8406]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem388,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,362 ERROR L1123 TypeChecker]: C: dev [8480]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,363 ERROR L1123 TypeChecker]: C: dev->usage[idx] [8480]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem436,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,363 ERROR L1123 TypeChecker]: C: dev [8480]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,363 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | 128 [8480]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem436,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,370 ERROR L1123 TypeChecker]: C: dev [8483]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,371 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] = p [8483]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~p~5,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,372 ERROR L1123 TypeChecker]: C: dev [8584]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,372 ERROR L1123 TypeChecker]: C: dev->netdev [8584]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem465,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,375 ERROR L1123 TypeChecker]: C: dev [8626]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,375 ERROR L1123 TypeChecker]: C: dev->global_flags [8626]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem491,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,375 ERROR L1123 TypeChecker]: C: dev [8627]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,376 ERROR L1123 TypeChecker]: C: dev->global_flags [8627]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem494,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,381 ERROR L1123 TypeChecker]: C: dev [8709]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,385 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )i, (char const *)(& cmd.parm.setup.phone)) [8709]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret553,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#cmd~1,],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~#cmd~1,],offset],IntegerLiteral[16]],IntegerLiteral[0]],IntegerLiteral[0]]]]]] [2018-11-09 12:51:26,386 ERROR L1123 TypeChecker]: C: dev [8710]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,386 ERROR L1123 TypeChecker]: C: dev->usage[i] [8710]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem554,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,386 ERROR L1123 TypeChecker]: C: dev [8710]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,387 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [8710]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem554,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,395 ERROR L1123 TypeChecker]: C: dev [9286]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,395 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [9286]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret800,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,395 ERROR L1123 TypeChecker]: C: dev [9294]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,404 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9294]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] [2018-11-09 12:51:26,404 ERROR L1123 TypeChecker]: C: dev [9304]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,405 ERROR L1123 TypeChecker]: C: dev->net_verbose [9304]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem813,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,405 ERROR L1123 TypeChecker]: C: dev [9316]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,405 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9316]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] [2018-11-09 12:51:26,405 ERROR L1123 TypeChecker]: C: dev [9325]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,406 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9325]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] [2018-11-09 12:51:26,406 ERROR L1123 TypeChecker]: C: dev [9332]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,406 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9332]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] [2018-11-09 12:51:26,406 ERROR L1123 TypeChecker]: C: dev [9339]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,407 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9339]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] [2018-11-09 12:51:26,410 ERROR L1123 TypeChecker]: C: dev [9482]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,411 ERROR L1123 TypeChecker]: C: dev->drv[lp->isdn_device] [9482]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem862,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem861,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,427 ERROR L1123 TypeChecker]: C: dev [9990]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,428 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] [9990]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1096,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,428 ERROR L1123 TypeChecker]: C: dev [10117]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,435 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10117]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1124,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,435 ERROR L1123 TypeChecker]: C: dev [10118]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,435 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10118]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1125,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,436 ERROR L1123 TypeChecker]: C: dev [10119]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,436 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10119]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1128,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,436 ERROR L1123 TypeChecker]: C: dev [10142]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,437 ERROR L1123 TypeChecker]: C: dev->netdev [10142]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1131,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,437 ERROR L1123 TypeChecker]: C: dev [10175]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,437 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10175]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1140,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,438 ERROR L1123 TypeChecker]: C: dev [10176]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,438 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10176]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1141,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,438 ERROR L1123 TypeChecker]: C: dev [10177]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,439 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10177]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1142,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,439 ERROR L1123 TypeChecker]: C: dev [10177]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,441 ERROR L1123 TypeChecker]: C: dev->usage[i1] = dev->usage[i1] & -65 [10177]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1142,],IntegerLiteral[-65]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,441 ERROR L1123 TypeChecker]: C: dev [10178]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,441 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10178]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1143,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,441 ERROR L1123 TypeChecker]: C: dev [10178]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,442 ERROR L1123 TypeChecker]: C: dev->usage[i1] = dev->usage[i1] | u2 [10178]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1143,],IdentifierExpression[~u2~0,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,442 ERROR L1123 TypeChecker]: C: dev [10179]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,442 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10179]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1144,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,442 ERROR L1123 TypeChecker]: C: dev [10179]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,443 ERROR L1123 TypeChecker]: C: dev->usage[i2] = dev->usage[i2] & -65 [10179]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1144,],IntegerLiteral[-65]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,443 ERROR L1123 TypeChecker]: C: dev [10180]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,443 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10180]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1145,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,443 ERROR L1123 TypeChecker]: C: dev [10180]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,443 ERROR L1123 TypeChecker]: C: dev->usage[i2] = dev->usage[i2] | u1 [10180]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1145,],IdentifierExpression[~u1~0,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,448 ERROR L1123 TypeChecker]: C: dev [10230]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,449 ERROR L1123 TypeChecker]: C: dev->net_verbose [10230]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1156,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,449 ERROR L1123 TypeChecker]: C: dev [10236]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,449 ERROR L1123 TypeChecker]: C: dev->net_verbose [10236]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1159,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,449 ERROR L1123 TypeChecker]: C: dev [10246]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,450 ERROR L1123 TypeChecker]: C: dev->netdev [10246]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1162,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,450 ERROR L1123 TypeChecker]: C: dev [10290]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,450 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10290]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1178,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,451 ERROR L1123 TypeChecker]: C: dev [10291]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,457 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10291]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1187,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,458 ERROR L1123 TypeChecker]: C: dev [10295]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,458 ERROR L1123 TypeChecker]: C: dev->usage[sidx] [10295]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1192,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~sidx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,458 ERROR L1123 TypeChecker]: C: dev [10296]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,459 ERROR L1123 TypeChecker]: C: dev->usage[sidx] [10296]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1193,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~sidx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,459 ERROR L1123 TypeChecker]: C: dev [10309]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,459 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10309]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1198,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,463 ERROR L1123 TypeChecker]: C: dev [10410]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,464 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10410]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1251,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,464 ERROR L1123 TypeChecker]: C: dev [10416]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,464 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10416]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] [2018-11-09 12:51:26,468 ERROR L1123 TypeChecker]: C: dev [10427]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,469 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10427]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] [2018-11-09 12:51:26,469 ERROR L1123 TypeChecker]: C: dev [10436]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,469 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10436]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] [2018-11-09 12:51:26,470 ERROR L1123 TypeChecker]: C: dev [10456]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,470 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10456]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1278,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,470 ERROR L1123 TypeChecker]: C: dev [10458]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,470 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10458]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1280,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,471 ERROR L1123 TypeChecker]: C: dev [10458]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,476 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] & 64 [10458]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1280,],IntegerLiteral[64]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,476 ERROR L1123 TypeChecker]: C: dev [10459]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,477 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10459]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1281,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,477 ERROR L1123 TypeChecker]: C: dev [10459]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,477 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | 3 [10459]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1281,],IntegerLiteral[3]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,477 ERROR L1123 TypeChecker]: C: dev [10460]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,478 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )idx, (char const *)(& nr)) [10460]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1282,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~#nr~0,]]] [2018-11-09 12:51:26,478 ERROR L1123 TypeChecker]: C: dev [10462]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,478 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] = lp->netdev [10462]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem1283,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,482 ERROR L1123 TypeChecker]: C: dev [10477]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,482 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10477]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] [2018-11-09 12:51:26,485 ERROR L1123 TypeChecker]: C: dev [10485]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,486 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10485]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] [2018-11-09 12:51:26,486 ERROR L1123 TypeChecker]: C: dev [10502]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,486 ERROR L1123 TypeChecker]: C: dev->net_verbose [10502]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1290,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,492 ERROR L1123 TypeChecker]: C: dev [10516]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,492 ERROR L1123 TypeChecker]: C: dev->netdev [10516]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1295,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,493 ERROR L1123 TypeChecker]: C: dev [10546]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,493 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10546]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1303,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,493 ERROR L1123 TypeChecker]: C: dev [10552]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,494 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10552]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] [2018-11-09 12:51:26,494 ERROR L1123 TypeChecker]: C: dev [10563]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,494 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10563]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] [2018-11-09 12:51:26,494 ERROR L1123 TypeChecker]: C: dev [10571]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,501 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10571]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] [2018-11-09 12:51:26,506 ERROR L1123 TypeChecker]: C: dev [10755]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,506 ERROR L1123 TypeChecker]: C: dev->netdev [10755]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1363,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,507 ERROR L1123 TypeChecker]: C: dev [10756]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,507 ERROR L1123 TypeChecker]: C: dev->netdev = netdev [10756]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~netdev~0,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,510 ERROR L1123 TypeChecker]: C: dev [10837]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,511 ERROR L1123 TypeChecker]: C: dev->drv[i] [10837]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1378,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,513 ERROR L1123 TypeChecker]: C: dev [10838]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,513 ERROR L1123 TypeChecker]: C: dev->drv[i] [10838]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1379,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,515 ERROR L1123 TypeChecker]: C: isdn_concap_reliable_dl_dops [10878]: Undeclared identifier ~#isdn_concap_reliable_dl_dops~0 in IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL] [2018-11-09 12:51:26,515 ERROR L1123 TypeChecker]: C: lp->dops = & isdn_concap_reliable_dl_dops [10878]: Wrong parameter type at index 0: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~lp~22,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~lp~22,],offset],IntegerLiteral[597]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,516 ERROR L1123 TypeChecker]: C: dev [10958]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,516 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10958]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1425,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,517 ERROR L1123 TypeChecker]: C: dev [10964]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,517 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10964]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~7,]]] [2018-11-09 12:51:26,517 ERROR L1123 TypeChecker]: C: dev [10969]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,517 ERROR L1123 TypeChecker]: C: dev->usage[i] = 64 [10969]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IntegerLiteral[64],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,517 ERROR L1123 TypeChecker]: C: dev [10971]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,523 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10971]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~7,]]] [2018-11-09 12:51:26,532 ERROR L1123 TypeChecker]: C: dev [11326]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,533 ERROR L1123 TypeChecker]: C: strncmp((char const *)(& dev->num) + (unsigned long )idx, "???", 3UL) [11326]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1567,]],strncmp,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[#t~string1566,GLOBAL],IntegerLiteral[3]]] [2018-11-09 12:51:26,533 ERROR L1123 TypeChecker]: C: dev [11332]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,537 ERROR L1123 TypeChecker]: C: strncpy((char *)(& phone->phone), (char const *)(& dev->num) + (unsigned long )idx, 32UL) [11332-11333]: Wrong parameter type at index 1: CallStatement[false,[VariableLHS[#t~ret1568,]],strncpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~phone,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~phone,],offset],IntegerLiteral[10]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IntegerLiteral[32]]] [2018-11-09 12:51:26,537 ERROR L1123 TypeChecker]: C: dev [11334]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,538 ERROR L1123 TypeChecker]: C: dev->usage[idx] [11334]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1569,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,542 ERROR L1123 TypeChecker]: C: dev [11506]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,546 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11506]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1630,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,546 ERROR L1123 TypeChecker]: C: dev [11511]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,547 ERROR L1123 TypeChecker]: C: dev->netdev = (isdn_net_dev *)p->next [11511]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem1633,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,547 ERROR L1123 TypeChecker]: C: dev [11515]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,547 ERROR L1123 TypeChecker]: C: dev->netdev [11515]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1638,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,547 ERROR L1123 TypeChecker]: C: dev [11521]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,548 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11521]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~8,]]] [2018-11-09 12:51:26,548 ERROR L1123 TypeChecker]: C: dev [11523]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,548 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11523]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1642,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,549 ERROR L1123 TypeChecker]: C: dev [11541]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,552 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11541]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~8,]]] [2018-11-09 12:51:26,552 ERROR L1123 TypeChecker]: C: dev [11542]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,553 ERROR L1123 TypeChecker]: C: dev->netdev [11542]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1645,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,553 ERROR L1123 TypeChecker]: C: dev [11562]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,553 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11562]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1647,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,553 ERROR L1123 TypeChecker]: C: dev [11564]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,556 ERROR L1123 TypeChecker]: C: dev->netdev [11564]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1649,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,556 ERROR L1123 TypeChecker]: C: dev [11570]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,556 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11570]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~9,]]] [2018-11-09 12:51:26,557 ERROR L1123 TypeChecker]: C: dev [11584]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,557 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11584]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~9,]]] [2018-11-09 12:51:26,561 ERROR L1123 TypeChecker]: C: dev [11585]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,561 ERROR L1123 TypeChecker]: C: dev->netdev [11585]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1654,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,562 ERROR L1123 TypeChecker]: C: dev [11601]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,562 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11601]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1655,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,562 ERROR L1123 TypeChecker]: C: dev [11605]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,562 ERROR L1123 TypeChecker]: C: dev->netdev [11605]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1657,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,562 ERROR L1123 TypeChecker]: C: dev [11606]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,563 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11606]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~10,]]] [2018-11-09 12:51:26,563 ERROR L1123 TypeChecker]: C: dev [11607]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,563 ERROR L1123 TypeChecker]: C: dev->netdev [11607]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1660,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,563 ERROR L1123 TypeChecker]: C: dev [11613]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,564 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11613]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1662,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,564 ERROR L1123 TypeChecker]: C: dev [11619]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,564 ERROR L1123 TypeChecker]: C: dev->netdev [11619]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1664,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,564 ERROR L1123 TypeChecker]: C: dev [11624]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,565 ERROR L1123 TypeChecker]: C: dev->netdev = (isdn_net_dev *)0 [11624]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,568 ERROR L1123 TypeChecker]: C: dev [11625]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,568 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11625]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~10,]]] [2018-11-09 12:51:26,578 ERROR L1123 TypeChecker]: C: dev [12672]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,580 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [12672]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1829,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~4,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,580 ERROR L1123 TypeChecker]: C: dev [12678]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,581 ERROR L1123 TypeChecker]: C: dev [12744]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,581 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [12744]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1842,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,581 ERROR L1123 TypeChecker]: C: dev [12750]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,586 ERROR L1123 TypeChecker]: C: dev [12826]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,587 ERROR L1123 TypeChecker]: C: dev->drv[di] [12826]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1894,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,587 ERROR L1123 TypeChecker]: C: dev [12838]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,587 ERROR L1123 TypeChecker]: C: dev->drv[di] [12838]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1898,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,590 ERROR L1123 TypeChecker]: C: dev [12839]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,590 ERROR L1123 TypeChecker]: C: dev->drv[di] [12839]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1900,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,590 ERROR L1123 TypeChecker]: C: dev [12839]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,591 ERROR L1123 TypeChecker]: C: dev->drv[di] [12839]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1902,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,593 ERROR L1123 TypeChecker]: C: dev [12841]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,593 ERROR L1123 TypeChecker]: C: dev->modempoll [12841]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1907,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,598 ERROR L1123 TypeChecker]: C: dev [13072]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,599 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13072]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1947,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem1946,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,603 ERROR L1123 TypeChecker]: C: dev [13227]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,604 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13227]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1985,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,604 ERROR L1123 TypeChecker]: C: dev [13231]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,604 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13231]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~12,]]] [2018-11-09 12:51:26,604 ERROR L1123 TypeChecker]: C: dev [13234]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,605 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13234]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1989,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,605 ERROR L1123 TypeChecker]: C: dev [13235]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,605 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13235]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1990,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,610 ERROR L1123 TypeChecker]: C: dev [13237]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,610 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13237]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem1991,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,611 ERROR L1123 TypeChecker]: C: dev [13238]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,611 ERROR L1123 TypeChecker]: C: dev->usage[i] [13238]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1992,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,611 ERROR L1123 TypeChecker]: C: dev [13238]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,611 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13238]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1992,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,614 ERROR L1123 TypeChecker]: C: dev [13242]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,614 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13242]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~12,]]] [2018-11-09 12:51:26,615 ERROR L1123 TypeChecker]: C: dev [13277]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,615 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )i, (char const *)n) [13277]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2020,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~n,]]] [2018-11-09 12:51:26,616 ERROR L1123 TypeChecker]: C: dev [13347]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,617 ERROR L1123 TypeChecker]: C: dev->m_idx[info->drv_index] = -1 [13347]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IntegerLiteral[-1],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2038,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,623 ERROR L1123 TypeChecker]: C: dev [13444]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,623 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13444]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2052,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,623 ERROR L1123 TypeChecker]: C: dev [13448]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,624 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13448]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~13,]]] [2018-11-09 12:51:26,624 ERROR L1123 TypeChecker]: C: dev [13451]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,624 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13451]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2056,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,624 ERROR L1123 TypeChecker]: C: dev [13452]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,629 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13452]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2057,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,629 ERROR L1123 TypeChecker]: C: dev [13454]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,629 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13454]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2058,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,630 ERROR L1123 TypeChecker]: C: dev [13455]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,630 ERROR L1123 TypeChecker]: C: dev->usage[i] [13455]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2059,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,630 ERROR L1123 TypeChecker]: C: dev [13455]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,631 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13455]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2059,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,631 ERROR L1123 TypeChecker]: C: dev [13458]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,631 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13458]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~13,]]] [2018-11-09 12:51:26,635 ERROR L1123 TypeChecker]: C: dev [13554]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,635 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13554]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2087,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,638 ERROR L1123 TypeChecker]: C: dev [13558]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,638 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13558]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~14,]]] [2018-11-09 12:51:26,638 ERROR L1123 TypeChecker]: C: dev [13561]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,639 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13561]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2091,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,639 ERROR L1123 TypeChecker]: C: dev [13562]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,639 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13562]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2092,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,639 ERROR L1123 TypeChecker]: C: dev [13564]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,640 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13564]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2093,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,640 ERROR L1123 TypeChecker]: C: dev [13565]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,640 ERROR L1123 TypeChecker]: C: dev->usage[i] [13565]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2094,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,640 ERROR L1123 TypeChecker]: C: dev [13565]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,641 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13565]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2094,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,646 ERROR L1123 TypeChecker]: C: dev [13568]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,646 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13568]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~14,]]] [2018-11-09 12:51:26,652 ERROR L1123 TypeChecker]: C: dev [13777]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,653 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13777]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2157,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2156,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,654 ERROR L1123 TypeChecker]: C: dev [13778]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,655 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13778]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2161,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2160,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,664 ERROR L1123 TypeChecker]: C: dev [14210]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,665 ERROR L1123 TypeChecker]: C: dev [14245]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,665 ERROR L1123 TypeChecker]: C: dev->modempoll [14245]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2282,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,665 ERROR L1123 TypeChecker]: C: dev [14245]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,665 ERROR L1123 TypeChecker]: C: dev->modempoll = dev->modempoll + 1 [14245]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[BinaryExpression[ARITHPLUS,IdentifierExpression[#t~mem2282,],IntegerLiteral[1]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,671 ERROR L1123 TypeChecker]: C: dev [14318]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,671 ERROR L1123 TypeChecker]: C: dev->modempoll [14318]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2304,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,671 ERROR L1123 TypeChecker]: C: dev [14318]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,672 ERROR L1123 TypeChecker]: C: dev->modempoll = dev->modempoll - 1 [14318]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[BinaryExpression[ARITHMINUS,IdentifierExpression[#t~mem2304,],IntegerLiteral[1]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,677 ERROR L1123 TypeChecker]: C: dev [14459]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,677 ERROR L1123 TypeChecker]: C: dev->profd [14459]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2320,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4358]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,679 ERROR L1123 TypeChecker]: C: dev [14460]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,679 ERROR L1123 TypeChecker]: C: dev->profd [14460]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2321,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4358]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,680 ERROR L1123 TypeChecker]: C: dev [14497]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,688 ERROR L1123 TypeChecker]: C: dev [14611]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,691 ERROR L1123 TypeChecker]: C: dev [14624]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,691 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem [14624]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2391,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,692 ERROR L1123 TypeChecker]: C: dev [14625]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,692 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem [14625]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2393,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,692 ERROR L1123 TypeChecker]: C: dev [14626]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,692 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem = (struct tty_driver *)0 [14626]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,693 ERROR L1123 TypeChecker]: C: dev [14718]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,693 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [14718]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2410,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] [2018-11-09 12:51:26,697 ERROR L1123 TypeChecker]: C: dev [14723]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,697 ERROR L1123 TypeChecker]: C: dev [14731]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,698 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14731]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2421,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,698 ERROR L1123 TypeChecker]: C: dev [14742]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,698 ERROR L1123 TypeChecker]: C: dev->m_idx[idx] = info->line [14742]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2424,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,698 ERROR L1123 TypeChecker]: C: dev [14743]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,701 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14743]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2425,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,701 ERROR L1123 TypeChecker]: C: dev [14743]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,701 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] & 64 [14743]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem2425,],IntegerLiteral[64]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,702 ERROR L1123 TypeChecker]: C: dev [14745]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,702 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14745]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2428,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,702 ERROR L1123 TypeChecker]: C: dev [14745]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,703 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | tmp___0 [14745]: Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2428,],IdentifierExpression[~tmp___0~61,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,703 ERROR L1123 TypeChecker]: C: dev [14746]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,703 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )idx, (char const *)nr) [14746]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2429,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~nr~1,]]] [2018-11-09 12:51:26,704 ERROR L1123 TypeChecker]: C: dev [14752]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,707 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [14752]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~15,]]] [2018-11-09 12:51:26,707 ERROR L1123 TypeChecker]: C: dev [14775]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,708 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [14775]: Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~15,]]] [2018-11-09 12:51:26,708 ERROR L1123 TypeChecker]: C: dev [14776]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,708 ERROR L1123 TypeChecker]: C: dev->drv[di] [14776]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2440,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,711 ERROR L1123 TypeChecker]: C: dev [14793]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,711 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [14793]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2446,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,712 ERROR L1123 TypeChecker]: C: dev [14795]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,728 ERROR L1123 TypeChecker]: C: dev [14886]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,732 ERROR L1123 TypeChecker]: C: dev->usage[i] [14886]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2494,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,733 ERROR L1123 TypeChecker]: C: dev [14896]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,733 ERROR L1123 TypeChecker]: C: dev->usage[i] [14896]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2497,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,734 ERROR L1123 TypeChecker]: C: dev [14935]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,738 ERROR L1123 TypeChecker]: C: dev [15029]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,739 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15029]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2522,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2521,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,739 ERROR L1123 TypeChecker]: C: dev [15088]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,749 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15088]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2537,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2536,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,749 ERROR L1123 TypeChecker]: C: dev [15090]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,750 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15090]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2541,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2540,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,750 ERROR L1123 TypeChecker]: C: dev [15090]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,750 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15090]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2545,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2544,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,750 ERROR L1123 TypeChecker]: C: dev [15092]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,751 ERROR L1123 TypeChecker]: C: dev->modempoll [15092]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2550,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,761 ERROR L1123 TypeChecker]: C: dev [15271]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,761 ERROR L1123 TypeChecker]: C: isdn_tty_at_cout((char *)(& dev->num) + (unsigned long )info->drv_index, info) [15271-15272]: Wrong parameter type at index 0: CallStatement[false,[],isdn_tty_at_cout,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~info,]]] [2018-11-09 12:51:26,762 ERROR L1123 TypeChecker]: C: dev [15307]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,762 ERROR L1123 TypeChecker]: C: isdn_tty_at_cout((char *)(& dev->num) + (unsigned long )info->drv_index, info) [15307]: Wrong parameter type at index 0: CallStatement[false,[],isdn_tty_at_cout,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~info,]]] [2018-11-09 12:51:26,774 ERROR L1123 TypeChecker]: C: dev [15948]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,778 ERROR L1123 TypeChecker]: C: strcpy((char *)(& info->last_num), (char const *)(& dev->num) + (unsigned long )info->drv_index) [15948]: Wrong parameter type at index 1: CallStatement[false,[VariableLHS[#t~ret2832,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~info,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~info,],offset],IntegerLiteral[1030]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]]]] [2018-11-09 12:51:26,780 ERROR L1123 TypeChecker]: C: dev [16031]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,780 ERROR L1123 TypeChecker]: C: dev->global_features [16031]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2880,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,780 ERROR L1123 TypeChecker]: C: dev [16044]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,780 ERROR L1123 TypeChecker]: C: dev->global_features [16044]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2883,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,781 ERROR L1123 TypeChecker]: C: dev [16065]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,781 ERROR L1123 TypeChecker]: C: dev->global_features [16065]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2889,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,781 ERROR L1123 TypeChecker]: C: dev [16070]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,782 ERROR L1123 TypeChecker]: C: dev->global_features [16070]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2892,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,799 ERROR L1123 TypeChecker]: C: dev [16835]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,803 ERROR L1123 TypeChecker]: C: dev->usage[i] [16835]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3152,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~14,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,803 ERROR L1123 TypeChecker]: C: dev [16836]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,803 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [16836]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3153,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~14,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,804 ERROR L1123 TypeChecker]: C: dev [16838]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,804 ERROR L1123 TypeChecker]: C: dev [16879]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,804 ERROR L1123 TypeChecker]: C: dev [16908]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,805 ERROR L1123 TypeChecker]: C: dev [16939]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,822 ERROR L1123 TypeChecker]: C: dev [18307]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,823 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18307]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3358,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,823 ERROR L1123 TypeChecker]: C: dev [18313]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,823 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18313]: Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:26,824 ERROR L1123 TypeChecker]: C: dev [18344]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,824 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18344]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3381,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3380,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,824 ERROR L1123 TypeChecker]: C: dev [18368]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,827 ERROR L1123 TypeChecker]: C: atomic_dec((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18368]: Wrong parameter type at index 0: CallStatement[false,[],atomic_dec,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:26,827 ERROR L1123 TypeChecker]: C: dev [18373]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,827 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18373]: Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:26,827 ERROR L1123 TypeChecker]: C: dev [18374]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,828 ERROR L1123 TypeChecker]: C: atomic_dec_and_test((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18374]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret3388,]],atomic_dec_and_test,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:26,828 ERROR L1123 TypeChecker]: C: dev [18376]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,828 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18376]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3389,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,828 ERROR L1123 TypeChecker]: C: dev [18377]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,829 ERROR L1123 TypeChecker]: C: dev->v110[idx] = (isdn_v110_stream *)0 [18377]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,829 ERROR L1123 TypeChecker]: C: dev [18403]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,829 ERROR L1123 TypeChecker]: C: dev->v110emu[idx] [18403]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3390,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167386]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,829 ERROR L1123 TypeChecker]: C: dev [18403]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,829 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18403]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3391,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,833 ERROR L1123 TypeChecker]: C: dev [18404]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,835 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18404]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3394,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3393,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,835 ERROR L1123 TypeChecker]: C: dev [18405]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,835 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18405]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3398,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3397,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,835 ERROR L1123 TypeChecker]: C: dev [18406]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,836 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18406]: Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:26,836 ERROR L1123 TypeChecker]: C: dev [18407]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,836 ERROR L1123 TypeChecker]: C: dev->v110emu[idx] [18407]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3401,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167386]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] [2018-11-09 12:51:26,836 ERROR L1123 TypeChecker]: C: dev [18409]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,842 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(3, hdrlen, maxsize) [18409]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3403,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,842 ERROR L1123 TypeChecker]: C: dev [18412]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,843 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(15, hdrlen, maxsize) [18412]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3404,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,843 ERROR L1123 TypeChecker]: C: dev [18415]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,843 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(255, hdrlen, maxsize) [18415]: Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3405,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,843 ERROR L1123 TypeChecker]: C: dev [18420]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,844 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18420]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3406,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,844 ERROR L1123 TypeChecker]: C: dev [18426]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,844 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18426]: Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3419,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3418,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] [2018-11-09 12:51:26,844 ERROR L1123 TypeChecker]: C: dev [18446]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-11-09 12:51:26,847 ERROR L1123 TypeChecker]: C: atomic_dec((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18446]: Wrong parameter type at index 0: CallStatement[false,[],atomic_dec,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] [2018-11-09 12:51:27,183 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:51:26" (1/1) ... [2018-11-09 12:51:27,186 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.11 12:51:26" (1/1) ... [2018-11-09 12:51:27,663 FATAL L292 ToolchainWalker]: The Plugin de.uni_freiburg.informatik.ultimate.boogie.preprocessor has thrown an exception: java.lang.ClassCastException: de.uni_freiburg.informatik.ultimate.boogie.type.BoogiePrimitiveType cannot be cast to de.uni_freiburg.informatik.ultimate.boogie.type.BoogieStructType at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpression(StructExpander.java:309) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.expandExpression(StructExpander.java:371) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpressions(StructExpander.java:482) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processExpression(BoogieTransformer.java:736) at de.uni_freiburg.informatik.ultimate.boogie.CachingBoogieTransformer.processExpression(CachingBoogieTransformer.java:51) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpression(StructExpander.java:341) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.expandExpression(StructExpander.java:371) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpressions(StructExpander.java:482) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processStatement(BoogieTransformer.java:388) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processStatement(StructExpander.java:803) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processStatements(BoogieTransformer.java:339) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processBody(BoogieTransformer.java:280) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processDeclaration(BoogieTransformer.java:154) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.expandDeclaration(StructExpander.java:682) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.process(StructExpander.java:207) at de.uni_freiburg.informatik.ultimate.core.coreplugin.modelwalker.DFSTreeWalker.runObserver(DFSTreeWalker.java:65) at de.uni_freiburg.informatik.ultimate.core.coreplugin.modelwalker.BaseWalker.runObserver(BaseWalker.java:93) at de.uni_freiburg.informatik.ultimate.core.coreplugin.modelwalker.BaseWalker.run(BaseWalker.java:86) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:167) at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:156) 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:316) at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55) [2018-11-09 12:51:27,677 INFO L168 Benchmark]: Toolchain (without parser) took 67079.23 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.6 GB in the end (delta: 320.0 MB). Peak memory consumption was 320.0 MB. Max. memory is 3.9 GB. [2018-11-09 12:51:27,687 INFO L168 Benchmark]: CDTParser took 0.21 ms. Allocated memory is still 2.0 GB. Free memory is still 2.0 GB. There was no memory consumed. Max. memory is 3.9 GB. [2018-11-09 12:51:27,688 INFO L168 Benchmark]: CACSL2BoogieTranslator took 65439.00 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.7 GB in the end (delta: 207.3 MB). Peak memory consumption was 644.7 MB. Max. memory is 3.9 GB. [2018-11-09 12:51:27,690 INFO L168 Benchmark]: Boogie Preprocessor took 1632.57 ms. Allocated memory is still 2.0 GB. Free memory was 1.7 GB in the beginning and 1.6 GB in the end (delta: 112.8 MB). Peak memory consumption was 112.8 MB. Max. memory is 3.9 GB. [2018-11-09 12:51:27,696 INFO L336 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - GenericResult: Assertions are enabled Assertions are enabled - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.21 ms. Allocated memory is still 2.0 GB. Free memory is still 2.0 GB. There was no memory consumed. Max. memory is 3.9 GB. * CACSL2BoogieTranslator took 65439.00 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.7 GB in the end (delta: 207.3 MB). Peak memory consumption was 644.7 MB. Max. memory is 3.9 GB. * Boogie Preprocessor took 1632.57 ms. Allocated memory is still 2.0 GB. Free memory was 1.7 GB in the beginning and 1.6 GB in the end (delta: 112.8 MB). Peak memory consumption was 112.8 MB. Max. memory is 3.9 GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 8254]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8254]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem315,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8255]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8255]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem316,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8256]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8256]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem317,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8257]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8257]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem318,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8275]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8275]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~tmp~39,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8277]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8277]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~tmp___0~12,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8297]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8297]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem334,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8308]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8308]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem338,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8364]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8364]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem383,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8406]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8406]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem388,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8480]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8480]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem436,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8480]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8480]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem436,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8483]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8483]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~p~5,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8584]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8584]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem465,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 8626]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8626]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem491,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8627]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8627]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem494,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[166]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8709]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8709]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret553,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#cmd~1,],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~#cmd~1,],offset],IntegerLiteral[16]],IntegerLiteral[0]],IntegerLiteral[0]]]]]] - TypeErrorResult [Line: 8710]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8710]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem554,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 8710]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8710]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem554,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 9286]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9286]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret800,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 9294]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9294]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] - TypeErrorResult [Line: 9304]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9304]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem813,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 9316]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9316]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] - TypeErrorResult [Line: 9325]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9325]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] - TypeErrorResult [Line: 9332]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9332]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] - TypeErrorResult [Line: 9339]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9339]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~4,]]] - TypeErrorResult [Line: 9482]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9482]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem862,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem861,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 9990]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9990]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1096,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165338]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10117]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10117]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1124,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10118]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10118]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1125,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10119]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10119]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1128,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~drvidx~0,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10142]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10142]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1131,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10175]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10175]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1140,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10176]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10176]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1141,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10177]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10177]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1142,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10177]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10177]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1142,],IntegerLiteral[-65]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10178]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10178]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1143,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10178]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10178]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1143,],IdentifierExpression[~u2~0,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10179]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10179]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1144,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10179]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10179]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1144,],IntegerLiteral[-65]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10180]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10180]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1145,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10180]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10180]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1145,],IdentifierExpression[~u1~0,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10230]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10230]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1156,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10236]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10236]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1159,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10246]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10246]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1162,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10290]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10290]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1178,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10291]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10291]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1187,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10295]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10295]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1192,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~sidx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10296]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10296]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1193,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~sidx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10309]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10309]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1198,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10410]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10410]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1251,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 10416]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10416]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] - TypeErrorResult [Line: 10427]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10427]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] - TypeErrorResult [Line: 10436]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10436]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] - TypeErrorResult [Line: 10456]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10456]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1278,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 10458]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10458]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1280,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10458]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10458]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem1280,],IntegerLiteral[64]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10459]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10459]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1281,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10459]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10459]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1281,],IntegerLiteral[3]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10460]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10460]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1282,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~#nr~0,]]] - TypeErrorResult [Line: 10462]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10462]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem1283,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[165850]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10477]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10477]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] - TypeErrorResult [Line: 10485]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10485]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~5,]]] - TypeErrorResult [Line: 10502]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10502]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1290,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[86]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10516]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10516]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1295,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10546]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10546]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1303,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 10552]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10552]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] - TypeErrorResult [Line: 10563]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10563]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] - TypeErrorResult [Line: 10571]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10571]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~6,]]] - TypeErrorResult [Line: 10755]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10755]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1363,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10756]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10756]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~netdev~0,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10837]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10837]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1378,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10838]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10838]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1379,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10878]: Type Error Undeclared identifier ~#isdn_concap_reliable_dl_dops~0 in IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL] - TypeErrorResult [Line: 10878]: Type Error Wrong parameter type at index 0: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~lp~22,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~lp~22,],offset],IntegerLiteral[597]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 10958]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10958]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1425,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 10964]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10964]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~7,]]] - TypeErrorResult [Line: 10969]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10969]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IntegerLiteral[64],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~2,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 10971]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10971]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~7,]]] - TypeErrorResult [Line: 11326]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11326]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1567,]],strncmp,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[#t~string1566,GLOBAL],IntegerLiteral[3]]] - TypeErrorResult [Line: 11332]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11332]: Type Error Wrong parameter type at index 1: CallStatement[false,[VariableLHS[#t~ret1568,]],strncpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~phone,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~phone,],offset],IntegerLiteral[10]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~0,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IntegerLiteral[32]]] - TypeErrorResult [Line: 11334]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11334]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1569,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~0,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 11506]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11506]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1630,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 11511]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11511]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~mem1633,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11515]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11515]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1638,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11521]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11521]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~8,]]] - TypeErrorResult [Line: 11523]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11523]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1642,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 11541]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11541]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~8,]]] - TypeErrorResult [Line: 11542]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11542]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1645,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11562]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11562]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1647,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 11564]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11564]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1649,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11570]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11570]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~9,]]] - TypeErrorResult [Line: 11584]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11584]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~9,]]] - TypeErrorResult [Line: 11585]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11585]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1654,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11601]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11601]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1655,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 11605]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11605]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1657,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11606]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11606]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~10,]]] - TypeErrorResult [Line: 11607]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11607]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1660,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11613]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11613]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1662,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 11619]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11619]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1664,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11624]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11624]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3710]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 11625]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11625]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~10,]]] - TypeErrorResult [Line: 12672]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12672]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1829,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~4,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 12678]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12744]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12744]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1842,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 12750]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12826]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12826]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1894,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12838]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12838]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1898,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12839]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12839]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1900,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12839]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12839]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1902,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 12841]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12841]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1907,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13072]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13072]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1947,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem1946,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13227]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13227]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret1985,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 13231]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13231]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~12,]]] - TypeErrorResult [Line: 13234]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13234]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1989,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13235]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13235]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1990,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13237]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13237]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem1991,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13238]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13238]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem1992,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13238]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13238]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem1992,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~5,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13242]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13242]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~12,]]] - TypeErrorResult [Line: 13277]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13277]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2020,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~5,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~n,]]] - TypeErrorResult [Line: 13347]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13347]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IntegerLiteral[-1],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2038,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13444]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13444]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2052,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 13448]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13448]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~13,]]] - TypeErrorResult [Line: 13451]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13451]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2056,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13452]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13452]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2057,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13454]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13454]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2058,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13455]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13455]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2059,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13455]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13455]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2059,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~6,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13458]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13458]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~13,]]] - TypeErrorResult [Line: 13554]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13554]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2087,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 13558]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13558]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~14,]]] - TypeErrorResult [Line: 13561]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13561]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2091,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[638]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13562]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13562]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2092,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[382]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13564]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13564]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2093,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13565]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13565]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2094,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13565]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13565]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2094,],IntegerLiteral[128]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~7,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 13568]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13568]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~14,]]] - TypeErrorResult [Line: 13777]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13777]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2157,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2156,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 13778]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13778]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2161,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2160,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14210]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14245]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14245]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2282,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14245]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14245]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[BinaryExpression[ARITHPLUS,IdentifierExpression[#t~mem2282,],IntegerLiteral[1]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14318]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14318]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2304,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14318]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14318]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[BinaryExpression[ARITHMINUS,IdentifierExpression[#t~mem2304,],IntegerLiteral[1]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14459]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14459]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2320,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4358]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14460]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14460]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2321,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4358]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14497]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14611]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14624]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14624]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2391,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14625]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14625]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2393,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14626]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14626]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[4366]],IntegerLiteral[4]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14718]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14718]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2410,]],spinlock_check,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]]]] - TypeErrorResult [Line: 14723]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14731]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14731]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2421,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14742]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14742]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[IdentifierExpression[#t~mem2424,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14743]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14743]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2425,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14743]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14743]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseAnd,[IdentifierExpression[#t~mem2425,],IntegerLiteral[64]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14745]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14745]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2428,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14745]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14745]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~int,[FunctionApplication[~bitwiseOr,[IdentifierExpression[#t~mem2428,],IdentifierExpression[~tmp___0~61,]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx~1,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14746]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14746]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret2429,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx~1,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~nr~1,]]] - TypeErrorResult [Line: 14752]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14752]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~15,]]] - TypeErrorResult [Line: 14775]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14775]: Type Error Wrong parameter type at index 0: CallStatement[false,[],spin_unlock_irqrestore,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[8]]]],IdentifierExpression[~flags~15,]]] - TypeErrorResult [Line: 14776]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14776]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2440,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[~di,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 14793]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14793]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2446,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14795]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14886]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14886]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2494,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14896]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14896]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2497,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 14935]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15029]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15029]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2522,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2521,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 15088]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15088]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2537,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2536,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 15090]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15090]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2541,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2540,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 15090]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15090]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2545,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem2544,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 15092]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15092]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2550,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[90]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 15271]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15271]: Type Error Wrong parameter type at index 0: CallStatement[false,[],isdn_tty_at_cout,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2603,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~info,]]] - TypeErrorResult [Line: 15307]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15307]: Type Error Wrong parameter type at index 0: CallStatement[false,[],isdn_tty_at_cout,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2620,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]],IdentifierExpression[~info,]]] - TypeErrorResult [Line: 15948]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15948]: Type Error Wrong parameter type at index 1: CallStatement[false,[VariableLHS[#t~ret2832,]],strcpy,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~info,],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~info,],offset],IntegerLiteral[1030]]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[1150]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[#t~mem2831,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[1]]]]]]] - TypeErrorResult [Line: 16031]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16031]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2880,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 16044]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16044]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2883,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 16065]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16065]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2889,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 16070]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16070]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem2892,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[168558]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 16835]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16835]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3152,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[894]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~14,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 16836]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16836]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3153,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3198]],BinaryExpression[ARITHMUL,IdentifierExpression[~i~14,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 16838]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16879]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16908]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16939]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18307]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18307]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3358,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18313]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18313]: Type Error Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - TypeErrorResult [Line: 18344]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18344]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3381,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3380,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18368]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18368]: Type Error Wrong parameter type at index 0: CallStatement[false,[],atomic_dec,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - TypeErrorResult [Line: 18373]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18373]: Type Error Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - TypeErrorResult [Line: 18374]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18374]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~ret3388,]],atomic_dec_and_test,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - TypeErrorResult [Line: 18376]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18376]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3389,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18377]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18377]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[StructConstructor[[base,offset],[IntegerLiteral[0],IntegerLiteral[0]]],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18403]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18403]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3390,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167386]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 18403]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18403]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3391,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18404]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18404]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3394,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3393,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18405]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18405]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3398,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3397,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18406]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18406]: Type Error Wrong parameter type at index 0: CallStatement[false,[],atomic_inc,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - TypeErrorResult [Line: 18407]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18407]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3401,]],read~int,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167386]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[4]]]]],IntegerLiteral[4]]] - TypeErrorResult [Line: 18409]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18409]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3403,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18412]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18412]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3404,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18415]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18415]: Type Error Wrong parameter type at index 1: CallStatement[false,[],write~$Pointer$,[IdentifierExpression[#t~ret3405,],StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18420]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18420]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3406,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167898]],BinaryExpression[ARITHMUL,IdentifierExpression[~idx,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18426]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18426]: Type Error Wrong parameter type at index 0: CallStatement[false,[VariableLHS[#t~mem3419,]],read~$Pointer$,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[3454]],BinaryExpression[ARITHMUL,IdentifierExpression[#t~mem3418,],IntegerLiteral[8]]]]],IntegerLiteral[8]]] - TypeErrorResult [Line: 18446]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18446]: Type Error Wrong parameter type at index 0: CallStatement[false,[],atomic_dec,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~dev~0,GLOBAL],offset],IntegerLiteral[167642]],BinaryExpression[ARITHMUL,IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~idx,],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]],IntegerLiteral[4]]]]]]] - ExceptionOrErrorResult: ClassCastException: de.uni_freiburg.informatik.ultimate.boogie.type.BoogiePrimitiveType cannot be cast to de.uni_freiburg.informatik.ultimate.boogie.type.BoogieStructType de.uni_freiburg.informatik.ultimate.boogie.preprocessor: ClassCastException: de.uni_freiburg.informatik.ultimate.boogie.type.BoogiePrimitiveType cannot be cast to de.uni_freiburg.informatik.ultimate.boogie.type.BoogieStructType: de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpression(StructExpander.java:309) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request...