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-2da28c8 [2018-10-30 11:10:54,007 INFO L170 SettingsManager]: Resetting all preferences to default values... [2018-10-30 11:10:54,012 INFO L174 SettingsManager]: Resetting UltimateCore preferences to default values [2018-10-30 11:10:54,038 INFO L177 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2018-10-30 11:10:54,038 INFO L174 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2018-10-30 11:10:54,039 INFO L174 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2018-10-30 11:10:54,043 INFO L174 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2018-10-30 11:10:54,046 INFO L174 SettingsManager]: Resetting LassoRanker preferences to default values [2018-10-30 11:10:54,047 INFO L174 SettingsManager]: Resetting Reaching Definitions preferences to default values [2018-10-30 11:10:54,052 INFO L174 SettingsManager]: Resetting SyntaxChecker preferences to default values [2018-10-30 11:10:54,053 INFO L177 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2018-10-30 11:10:54,053 INFO L174 SettingsManager]: Resetting LTL2Aut preferences to default values [2018-10-30 11:10:54,054 INFO L174 SettingsManager]: Resetting PEA to Boogie preferences to default values [2018-10-30 11:10:54,059 INFO L174 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2018-10-30 11:10:54,063 INFO L174 SettingsManager]: Resetting ChcToBoogie preferences to default values [2018-10-30 11:10:54,063 INFO L174 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2018-10-30 11:10:54,066 INFO L174 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2018-10-30 11:10:54,068 INFO L174 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2018-10-30 11:10:54,084 INFO L174 SettingsManager]: Resetting CodeCheck preferences to default values [2018-10-30 11:10:54,087 INFO L174 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2018-10-30 11:10:54,099 INFO L174 SettingsManager]: Resetting RCFGBuilder preferences to default values [2018-10-30 11:10:54,106 INFO L174 SettingsManager]: Resetting TraceAbstraction preferences to default values [2018-10-30 11:10:54,110 INFO L177 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2018-10-30 11:10:54,110 INFO L177 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2018-10-30 11:10:54,110 INFO L174 SettingsManager]: Resetting TreeAutomizer preferences to default values [2018-10-30 11:10:54,111 INFO L174 SettingsManager]: Resetting IcfgTransformer preferences to default values [2018-10-30 11:10:54,116 INFO L174 SettingsManager]: Resetting Boogie Printer preferences to default values [2018-10-30 11:10:54,117 INFO L174 SettingsManager]: Resetting ReqPrinter preferences to default values [2018-10-30 11:10:54,123 INFO L174 SettingsManager]: Resetting Witness Printer preferences to default values [2018-10-30 11:10:54,127 INFO L177 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2018-10-30 11:10:54,128 INFO L174 SettingsManager]: Resetting CDTParser preferences to default values [2018-10-30 11:10:54,132 INFO L177 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2018-10-30 11:10:54,133 INFO L177 SettingsManager]: ReqParser provides no preferences, ignoring... [2018-10-30 11:10:54,133 INFO L174 SettingsManager]: Resetting SmtParser preferences to default values [2018-10-30 11:10:54,135 INFO L174 SettingsManager]: Resetting Witness Parser preferences to default values [2018-10-30 11:10:54,136 INFO L181 SettingsManager]: Finished resetting all preferences to default values... [2018-10-30 11:10:54,140 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-10-30 11:10:54,188 INFO L110 SettingsManager]: Loading preferences was successful [2018-10-30 11:10:54,188 INFO L112 SettingsManager]: Preferences different from defaults after loading the file: [2018-10-30 11:10:54,189 INFO L131 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2018-10-30 11:10:54,190 INFO L133 SettingsManager]: * to procedures, called more than once=true [2018-10-30 11:10:54,199 INFO L131 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2018-10-30 11:10:54,199 INFO L133 SettingsManager]: * Create parallel compositions if possible=false [2018-10-30 11:10:54,199 INFO L133 SettingsManager]: * Use SBE=true [2018-10-30 11:10:54,200 INFO L131 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2018-10-30 11:10:54,200 INFO L133 SettingsManager]: * Overapproximate operations on floating types=true [2018-10-30 11:10:54,200 INFO L133 SettingsManager]: * Check division by zero=IGNORE [2018-10-30 11:10:54,200 INFO L133 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2018-10-30 11:10:54,200 INFO L133 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2018-10-30 11:10:54,201 INFO L133 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2018-10-30 11:10:54,201 INFO L133 SettingsManager]: * Check if freed pointer was valid=false [2018-10-30 11:10:54,201 INFO L133 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2018-10-30 11:10:54,201 INFO L131 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2018-10-30 11:10:54,201 INFO L133 SettingsManager]: * Size of a code block=SequenceOfStatements [2018-10-30 11:10:54,202 INFO L133 SettingsManager]: * To the following directory=./dump/ [2018-10-30 11:10:54,205 INFO L133 SettingsManager]: * SMT solver=External_DefaultMode [2018-10-30 11:10:54,205 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2018-10-30 11:10:54,205 INFO L131 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2018-10-30 11:10:54,206 INFO L133 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2018-10-30 11:10:54,206 INFO L133 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2018-10-30 11:10:54,206 INFO L133 SettingsManager]: * Trace refinement strategy=CAMEL [2018-10-30 11:10:54,206 INFO L133 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2018-10-30 11:10:54,206 INFO L133 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2018-10-30 11:10:54,207 INFO L133 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2018-10-30 11:10:54,207 INFO L133 SettingsManager]: * To the following directory=dump/ [2018-10-30 11:10:54,328 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2018-10-30 11:10:54,360 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2018-10-30 11:10:54,368 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2018-10-30 11:10:54,373 INFO L271 PluginConnector]: Initializing CDTParser... [2018-10-30 11:10:54,374 INFO L276 PluginConnector]: CDTParser initialized [2018-10-30 11:10:54,378 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-10-30 11:10:54,514 INFO L218 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/adec472a3/2e3b67dba4bb415d8109c556bb6966f1/FLAG09ba7d0be [2018-10-30 11:10:56,973 INFO L298 CDTParser]: Found 1 translation units. [2018-10-30 11:10:56,974 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-10-30 11:10:57,186 INFO L346 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/adec472a3/2e3b67dba4bb415d8109c556bb6966f1/FLAG09ba7d0be [2018-10-30 11:10:57,233 INFO L354 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/adec472a3/2e3b67dba4bb415d8109c556bb6966f1 [2018-10-30 11:10:57,260 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2018-10-30 11:10:57,266 INFO L131 ToolchainWalker]: Walking toolchain with 2 elements. [2018-10-30 11:10:57,272 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2018-10-30 11:10:57,275 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2018-10-30 11:10:57,286 INFO L276 PluginConnector]: CACSL2BoogieTranslator initialized [2018-10-30 11:10:57,288 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 30.10 11:10:57" (1/1) ... [2018-10-30 11:10:57,298 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@daaf151 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:10:57, skipping insertion in model container [2018-10-30 11:10:57,298 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 30.10 11:10:57" (1/1) ... [2018-10-30 11:10:57,327 INFO L145 MainTranslator]: Starting translation in SV-COMP mode [2018-10-30 11:10:58,152 INFO L174 MainTranslator]: Built tables and reachable declarations [2018-10-30 11:11:34,332 INFO L202 PostProcessor]: Analyzing one entry point: main [2018-10-30 11:11:34,868 INFO L189 MainTranslator]: Completed pre-run [2018-10-30 11:11:52,375 INFO L202 PostProcessor]: Analyzing one entry point: main [2018-10-30 11:11:57,253 INFO L193 MainTranslator]: Completed translation [2018-10-30 11:11:57,254 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:11:57 WrapperNode [2018-10-30 11:11:57,254 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2018-10-30 11:11:57,255 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2018-10-30 11:11:57,255 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2018-10-30 11:11:57,255 INFO L276 PluginConnector]: Boogie Preprocessor initialized [2018-10-30 11:11:57,286 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:11:57" (1/1) ... [2018-10-30 11:11:57,286 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:11:57" (1/1) ... [2018-10-30 11:11:57,508 ERROR L1123 TypeChecker]: C: dev [8250]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,509 ERROR L1123 TypeChecker]: C: dev->drvmap[idx] [8250]: 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-10-30 11:11:57,510 ERROR L1123 TypeChecker]: C: dev [8251]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,510 ERROR L1123 TypeChecker]: C: dev->chanmap[idx] [8251]: 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-10-30 11:11:57,510 ERROR L1123 TypeChecker]: C: dev [8252]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,510 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] = lp->netdev [8252]: 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-10-30 11:11:57,511 ERROR L1123 TypeChecker]: C: dev [8253]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,522 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] = lp->netdev [8253]: 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-10-30 11:11:57,523 ERROR L1123 TypeChecker]: C: dev [8271]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,523 ERROR L1123 TypeChecker]: C: dev->rx_netdev[tmp] = (isdn_net_dev *)0 [8271]: 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-10-30 11:11:57,523 ERROR L1123 TypeChecker]: C: dev [8273]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,524 ERROR L1123 TypeChecker]: C: dev->st_netdev[tmp___0] = (isdn_net_dev *)0 [8273]: 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-10-30 11:11:57,524 ERROR L1123 TypeChecker]: C: dev [8293]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,524 ERROR L1123 TypeChecker]: C: dev->netdev [8293]: 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-10-30 11:11:57,530 ERROR L1123 TypeChecker]: C: dev [8304]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,531 ERROR L1123 TypeChecker]: C: dev->net_verbose [8304]: 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-10-30 11:11:57,531 ERROR L1123 TypeChecker]: C: dev [8360]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,532 ERROR L1123 TypeChecker]: C: dev->global_flags [8360]: 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-10-30 11:11:57,532 ERROR L1123 TypeChecker]: C: dev [8402]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,532 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] [8402]: 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-10-30 11:11:57,541 ERROR L1123 TypeChecker]: C: dev [8476]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,542 ERROR L1123 TypeChecker]: C: dev->usage[idx] [8476]: 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-10-30 11:11:57,542 ERROR L1123 TypeChecker]: C: dev [8476]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,543 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | 128 [8476]: 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-10-30 11:11:57,543 ERROR L1123 TypeChecker]: C: dev [8479]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,543 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] = p [8479]: 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-10-30 11:11:57,550 ERROR L1123 TypeChecker]: C: dev [8580]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,550 ERROR L1123 TypeChecker]: C: dev->netdev [8580]: 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-10-30 11:11:57,551 ERROR L1123 TypeChecker]: C: dev [8622]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,551 ERROR L1123 TypeChecker]: C: dev->global_flags [8622]: 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-10-30 11:11:57,551 ERROR L1123 TypeChecker]: C: dev [8623]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,555 ERROR L1123 TypeChecker]: C: dev->global_flags [8623]: 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-10-30 11:11:57,559 ERROR L1123 TypeChecker]: C: dev [8705]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,562 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )i, (char const *)(& cmd.parm.setup.phone)) [8705]: 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-10-30 11:11:57,562 ERROR L1123 TypeChecker]: C: dev [8706]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,563 ERROR L1123 TypeChecker]: C: dev->usage[i] [8706]: 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-10-30 11:11:57,563 ERROR L1123 TypeChecker]: C: dev [8706]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,563 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [8706]: 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-10-30 11:11:57,573 ERROR L1123 TypeChecker]: C: dev [9282]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,573 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [9282]: 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-10-30 11:11:57,574 ERROR L1123 TypeChecker]: C: dev [9290]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,574 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9290]: 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-10-30 11:11:57,574 ERROR L1123 TypeChecker]: C: dev [9300]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,574 ERROR L1123 TypeChecker]: C: dev->net_verbose [9300]: 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-10-30 11:11:57,575 ERROR L1123 TypeChecker]: C: dev [9312]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,575 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9312]: 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-10-30 11:11:57,575 ERROR L1123 TypeChecker]: C: dev [9321]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,576 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9321]: 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-10-30 11:11:57,582 ERROR L1123 TypeChecker]: C: dev [9328]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,583 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9328]: 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-10-30 11:11:57,583 ERROR L1123 TypeChecker]: C: dev [9335]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,583 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [9335]: 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-10-30 11:11:57,588 ERROR L1123 TypeChecker]: C: dev [9478]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,588 ERROR L1123 TypeChecker]: C: dev->drv[lp->isdn_device] [9478]: 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-10-30 11:11:57,609 ERROR L1123 TypeChecker]: C: dev [9986]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,610 ERROR L1123 TypeChecker]: C: dev->rx_netdev[idx] [9986]: 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-10-30 11:11:57,612 ERROR L1123 TypeChecker]: C: dev [10113]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,612 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10113]: 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-10-30 11:11:57,612 ERROR L1123 TypeChecker]: C: dev [10114]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,613 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10114]: 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-10-30 11:11:57,613 ERROR L1123 TypeChecker]: C: dev [10115]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,613 ERROR L1123 TypeChecker]: C: dev->drv[drvidx] [10115]: 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-10-30 11:11:57,616 ERROR L1123 TypeChecker]: C: dev [10138]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,616 ERROR L1123 TypeChecker]: C: dev->netdev [10138]: 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-10-30 11:11:57,619 ERROR L1123 TypeChecker]: C: dev [10171]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,620 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10171]: 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-10-30 11:11:57,620 ERROR L1123 TypeChecker]: C: dev [10172]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,620 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10172]: 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-10-30 11:11:57,620 ERROR L1123 TypeChecker]: C: dev [10173]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,621 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10173]: 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-10-30 11:11:57,621 ERROR L1123 TypeChecker]: C: dev [10173]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,621 ERROR L1123 TypeChecker]: C: dev->usage[i1] = dev->usage[i1] & -65 [10173]: 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-10-30 11:11:57,621 ERROR L1123 TypeChecker]: C: dev [10174]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,622 ERROR L1123 TypeChecker]: C: dev->usage[i1] [10174]: 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-10-30 11:11:57,627 ERROR L1123 TypeChecker]: C: dev [10174]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,627 ERROR L1123 TypeChecker]: C: dev->usage[i1] = dev->usage[i1] | u2 [10174]: 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-10-30 11:11:57,628 ERROR L1123 TypeChecker]: C: dev [10175]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,628 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10175]: 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-10-30 11:11:57,628 ERROR L1123 TypeChecker]: C: dev [10175]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,628 ERROR L1123 TypeChecker]: C: dev->usage[i2] = dev->usage[i2] & -65 [10175]: 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-10-30 11:11:57,629 ERROR L1123 TypeChecker]: C: dev [10176]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,629 ERROR L1123 TypeChecker]: C: dev->usage[i2] [10176]: 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-10-30 11:11:57,630 ERROR L1123 TypeChecker]: C: dev [10176]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,630 ERROR L1123 TypeChecker]: C: dev->usage[i2] = dev->usage[i2] | u1 [10176]: 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-10-30 11:11:57,630 ERROR L1123 TypeChecker]: C: dev [10226]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,632 ERROR L1123 TypeChecker]: C: dev->net_verbose [10226]: 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-10-30 11:11:57,632 ERROR L1123 TypeChecker]: C: dev [10232]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,632 ERROR L1123 TypeChecker]: C: dev->net_verbose [10232]: 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-10-30 11:11:57,632 ERROR L1123 TypeChecker]: C: dev [10242]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,633 ERROR L1123 TypeChecker]: C: dev->netdev [10242]: 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-10-30 11:11:57,633 ERROR L1123 TypeChecker]: C: dev [10286]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,633 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10286]: 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-10-30 11:11:57,633 ERROR L1123 TypeChecker]: C: dev [10287]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,634 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10287]: 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-10-30 11:11:57,634 ERROR L1123 TypeChecker]: C: dev [10291]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,634 ERROR L1123 TypeChecker]: C: dev->usage[sidx] [10291]: 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-10-30 11:11:57,634 ERROR L1123 TypeChecker]: C: dev [10292]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,641 ERROR L1123 TypeChecker]: C: dev->usage[sidx] [10292]: 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-10-30 11:11:57,641 ERROR L1123 TypeChecker]: C: dev [10305]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,642 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10305]: 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-10-30 11:11:57,642 ERROR L1123 TypeChecker]: C: dev [10406]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,646 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10406]: 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-10-30 11:11:57,646 ERROR L1123 TypeChecker]: C: dev [10412]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,646 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10412]: 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-10-30 11:11:57,647 ERROR L1123 TypeChecker]: C: dev [10423]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,647 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10423]: 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-10-30 11:11:57,647 ERROR L1123 TypeChecker]: C: dev [10432]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,648 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10432]: 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-10-30 11:11:57,651 ERROR L1123 TypeChecker]: C: dev [10452]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,651 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10452]: 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-10-30 11:11:57,652 ERROR L1123 TypeChecker]: C: dev [10454]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,652 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10454]: 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-10-30 11:11:57,652 ERROR L1123 TypeChecker]: C: dev [10454]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,652 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] & 64 [10454]: 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-10-30 11:11:57,653 ERROR L1123 TypeChecker]: C: dev [10455]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,653 ERROR L1123 TypeChecker]: C: dev->usage[idx] [10455]: 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-10-30 11:11:57,653 ERROR L1123 TypeChecker]: C: dev [10455]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,653 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | 3 [10455]: 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-10-30 11:11:57,654 ERROR L1123 TypeChecker]: C: dev [10456]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,657 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )idx, (char const *)(& nr)) [10456]: 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-10-30 11:11:57,657 ERROR L1123 TypeChecker]: C: dev [10458]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,658 ERROR L1123 TypeChecker]: C: dev->st_netdev[idx] = lp->netdev [10458]: 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-10-30 11:11:57,658 ERROR L1123 TypeChecker]: C: dev [10473]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,658 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10473]: 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-10-30 11:11:57,663 ERROR L1123 TypeChecker]: C: dev [10481]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,663 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10481]: 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-10-30 11:11:57,664 ERROR L1123 TypeChecker]: C: dev [10498]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,665 ERROR L1123 TypeChecker]: C: dev->net_verbose [10498]: 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-10-30 11:11:57,666 ERROR L1123 TypeChecker]: C: dev [10512]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,666 ERROR L1123 TypeChecker]: C: dev->netdev [10512]: 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-10-30 11:11:57,666 ERROR L1123 TypeChecker]: C: dev [10542]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,668 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10542]: 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-10-30 11:11:57,668 ERROR L1123 TypeChecker]: C: dev [10548]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,668 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10548]: 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-10-30 11:11:57,669 ERROR L1123 TypeChecker]: C: dev [10559]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,669 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10559]: 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-10-30 11:11:57,670 ERROR L1123 TypeChecker]: C: dev [10567]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,670 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10567]: 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-10-30 11:11:57,671 ERROR L1123 TypeChecker]: C: dev [10751]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,672 ERROR L1123 TypeChecker]: C: dev->netdev [10751]: 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-10-30 11:11:57,672 ERROR L1123 TypeChecker]: C: dev [10752]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,672 ERROR L1123 TypeChecker]: C: dev->netdev = netdev [10752]: 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-10-30 11:11:57,679 ERROR L1123 TypeChecker]: C: dev [10833]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,679 ERROR L1123 TypeChecker]: C: dev->drv[i] [10833]: 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-10-30 11:11:57,680 ERROR L1123 TypeChecker]: C: dev [10834]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,680 ERROR L1123 TypeChecker]: C: dev->drv[i] [10834]: 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-10-30 11:11:57,680 ERROR L1123 TypeChecker]: C: isdn_concap_reliable_dl_dops [10874]: Undeclared identifier ~#isdn_concap_reliable_dl_dops~0 in IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL] [2018-10-30 11:11:57,681 ERROR L1123 TypeChecker]: C: lp->dops = & isdn_concap_reliable_dl_dops [10874]: 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-10-30 11:11:57,685 ERROR L1123 TypeChecker]: C: dev [10954]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,685 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [10954]: 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-10-30 11:11:57,685 ERROR L1123 TypeChecker]: C: dev [10960]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,685 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10960]: 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-10-30 11:11:57,686 ERROR L1123 TypeChecker]: C: dev [10965]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,686 ERROR L1123 TypeChecker]: C: dev->usage[i] = 64 [10965]: 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-10-30 11:11:57,686 ERROR L1123 TypeChecker]: C: dev [10967]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,686 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [10967]: 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-10-30 11:11:57,691 ERROR L1123 TypeChecker]: C: dev [11322]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,691 ERROR L1123 TypeChecker]: C: strncmp((char const *)(& dev->num) + (unsigned long )idx, "???", 3UL) [11322]: 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-10-30 11:11:57,692 ERROR L1123 TypeChecker]: C: dev [11328]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,694 ERROR L1123 TypeChecker]: C: strncpy((char *)(& phone->phone), (char const *)(& dev->num) + (unsigned long )idx, 32UL) [11328-11329]: 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-10-30 11:11:57,694 ERROR L1123 TypeChecker]: C: dev [11330]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,695 ERROR L1123 TypeChecker]: C: dev->usage[idx] [11330]: 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-10-30 11:11:57,696 ERROR L1123 TypeChecker]: C: dev [11502]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,696 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11502]: 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-10-30 11:11:57,696 ERROR L1123 TypeChecker]: C: dev [11507]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,696 ERROR L1123 TypeChecker]: C: dev->netdev = (isdn_net_dev *)p->next [11507]: 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-10-30 11:11:57,703 ERROR L1123 TypeChecker]: C: dev [11511]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,703 ERROR L1123 TypeChecker]: C: dev->netdev [11511]: 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-10-30 11:11:57,704 ERROR L1123 TypeChecker]: C: dev [11517]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,704 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11517]: 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-10-30 11:11:57,704 ERROR L1123 TypeChecker]: C: dev [11519]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,704 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11519]: 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-10-30 11:11:57,705 ERROR L1123 TypeChecker]: C: dev [11537]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,705 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11537]: 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-10-30 11:11:57,705 ERROR L1123 TypeChecker]: C: dev [11538]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,705 ERROR L1123 TypeChecker]: C: dev->netdev [11538]: 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-10-30 11:11:57,705 ERROR L1123 TypeChecker]: C: dev [11558]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,709 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11558]: 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-10-30 11:11:57,709 ERROR L1123 TypeChecker]: C: dev [11560]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,709 ERROR L1123 TypeChecker]: C: dev->netdev [11560]: 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-10-30 11:11:57,710 ERROR L1123 TypeChecker]: C: dev [11566]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,710 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11566]: 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-10-30 11:11:57,710 ERROR L1123 TypeChecker]: C: dev [11580]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,710 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11580]: 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-10-30 11:11:57,711 ERROR L1123 TypeChecker]: C: dev [11581]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,711 ERROR L1123 TypeChecker]: C: dev->netdev [11581]: 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-10-30 11:11:57,714 ERROR L1123 TypeChecker]: C: dev [11597]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,714 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11597]: 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-10-30 11:11:57,714 ERROR L1123 TypeChecker]: C: dev [11601]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,715 ERROR L1123 TypeChecker]: C: dev->netdev [11601]: 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-10-30 11:11:57,715 ERROR L1123 TypeChecker]: C: dev [11602]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,715 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11602]: 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-10-30 11:11:57,715 ERROR L1123 TypeChecker]: C: dev [11603]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,715 ERROR L1123 TypeChecker]: C: dev->netdev [11603]: 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-10-30 11:11:57,719 ERROR L1123 TypeChecker]: C: dev [11609]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,719 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [11609]: 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-10-30 11:11:57,720 ERROR L1123 TypeChecker]: C: dev [11615]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,720 ERROR L1123 TypeChecker]: C: dev->netdev [11615]: 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-10-30 11:11:57,720 ERROR L1123 TypeChecker]: C: dev [11620]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,720 ERROR L1123 TypeChecker]: C: dev->netdev = (isdn_net_dev *)0 [11620]: 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-10-30 11:11:57,721 ERROR L1123 TypeChecker]: C: dev [11621]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,724 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [11621]: 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-10-30 11:11:57,729 ERROR L1123 TypeChecker]: C: dev [12668]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,730 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [12668]: 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-10-30 11:11:57,730 ERROR L1123 TypeChecker]: C: dev [12674]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,730 ERROR L1123 TypeChecker]: C: dev [12740]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,731 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [12740]: 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-10-30 11:11:57,734 ERROR L1123 TypeChecker]: C: dev [12746]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,735 ERROR L1123 TypeChecker]: C: dev [12822]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,735 ERROR L1123 TypeChecker]: C: dev->drv[di] [12822]: 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-10-30 11:11:57,735 ERROR L1123 TypeChecker]: C: dev [12834]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,736 ERROR L1123 TypeChecker]: C: dev->drv[di] [12834]: 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-10-30 11:11:57,736 ERROR L1123 TypeChecker]: C: dev [12835]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,736 ERROR L1123 TypeChecker]: C: dev->drv[di] [12835]: 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-10-30 11:11:57,736 ERROR L1123 TypeChecker]: C: dev [12835]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,736 ERROR L1123 TypeChecker]: C: dev->drv[di] [12835]: 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-10-30 11:11:57,739 ERROR L1123 TypeChecker]: C: dev [12837]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,739 ERROR L1123 TypeChecker]: C: dev->modempoll [12837]: 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-10-30 11:11:57,740 ERROR L1123 TypeChecker]: C: dev [13068]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,741 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13068]: 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-10-30 11:11:57,741 ERROR L1123 TypeChecker]: C: dev [13223]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,745 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13223]: 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-10-30 11:11:57,745 ERROR L1123 TypeChecker]: C: dev [13227]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,745 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13227]: 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-10-30 11:11:57,746 ERROR L1123 TypeChecker]: C: dev [13230]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,747 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13230]: 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-10-30 11:11:57,747 ERROR L1123 TypeChecker]: C: dev [13231]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,747 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13231]: 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-10-30 11:11:57,748 ERROR L1123 TypeChecker]: C: dev [13233]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,748 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13233]: 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-10-30 11:11:57,748 ERROR L1123 TypeChecker]: C: dev [13234]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,748 ERROR L1123 TypeChecker]: C: dev->usage[i] [13234]: 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-10-30 11:11:57,749 ERROR L1123 TypeChecker]: C: dev [13234]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,755 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13234]: 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-10-30 11:11:57,756 ERROR L1123 TypeChecker]: C: dev [13238]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,756 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13238]: 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-10-30 11:11:57,756 ERROR L1123 TypeChecker]: C: dev [13273]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,760 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )i, (char const *)n) [13273]: 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-10-30 11:11:57,761 ERROR L1123 TypeChecker]: C: dev [13343]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,761 ERROR L1123 TypeChecker]: C: dev->m_idx[info->drv_index] = -1 [13343]: 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-10-30 11:11:57,762 ERROR L1123 TypeChecker]: C: dev [13440]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,762 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13440]: 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-10-30 11:11:57,762 ERROR L1123 TypeChecker]: C: dev [13444]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,763 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13444]: 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-10-30 11:11:57,763 ERROR L1123 TypeChecker]: C: dev [13447]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,763 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13447]: 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-10-30 11:11:57,765 ERROR L1123 TypeChecker]: C: dev [13448]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,765 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13448]: 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-10-30 11:11:57,765 ERROR L1123 TypeChecker]: C: dev [13450]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,766 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13450]: 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-10-30 11:11:57,766 ERROR L1123 TypeChecker]: C: dev [13451]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,766 ERROR L1123 TypeChecker]: C: dev->usage[i] [13451]: 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-10-30 11:11:57,766 ERROR L1123 TypeChecker]: C: dev [13451]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,767 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13451]: 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-10-30 11:11:57,771 ERROR L1123 TypeChecker]: C: dev [13454]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,772 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13454]: 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-10-30 11:11:57,773 ERROR L1123 TypeChecker]: C: dev [13550]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,776 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [13550]: 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-10-30 11:11:57,779 ERROR L1123 TypeChecker]: C: dev [13554]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,779 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13554]: 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-10-30 11:11:57,779 ERROR L1123 TypeChecker]: C: dev [13557]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,780 ERROR L1123 TypeChecker]: C: dev->drvmap[i] [13557]: 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-10-30 11:11:57,780 ERROR L1123 TypeChecker]: C: dev [13558]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,780 ERROR L1123 TypeChecker]: C: dev->chanmap[i] [13558]: 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-10-30 11:11:57,780 ERROR L1123 TypeChecker]: C: dev [13560]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,780 ERROR L1123 TypeChecker]: C: dev->m_idx[i] = info->line [13560]: 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-10-30 11:11:57,782 ERROR L1123 TypeChecker]: C: dev [13561]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,782 ERROR L1123 TypeChecker]: C: dev->usage[i] [13561]: 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-10-30 11:11:57,783 ERROR L1123 TypeChecker]: C: dev [13561]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,783 ERROR L1123 TypeChecker]: C: dev->usage[i] = dev->usage[i] | 128 [13561]: 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-10-30 11:11:57,783 ERROR L1123 TypeChecker]: C: dev [13564]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,784 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [13564]: 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-10-30 11:11:57,785 ERROR L1123 TypeChecker]: C: dev [13773]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,785 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13773]: 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-10-30 11:11:57,786 ERROR L1123 TypeChecker]: C: dev [13774]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,795 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [13774]: 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-10-30 11:11:57,798 ERROR L1123 TypeChecker]: C: dev [14206]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,798 ERROR L1123 TypeChecker]: C: dev [14241]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,802 ERROR L1123 TypeChecker]: C: dev->modempoll [14241]: 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-10-30 11:11:57,802 ERROR L1123 TypeChecker]: C: dev [14241]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,802 ERROR L1123 TypeChecker]: C: dev->modempoll = dev->modempoll + 1 [14241]: 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-10-30 11:11:57,803 ERROR L1123 TypeChecker]: C: dev [14314]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,803 ERROR L1123 TypeChecker]: C: dev->modempoll [14314]: 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-10-30 11:11:57,803 ERROR L1123 TypeChecker]: C: dev [14314]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,804 ERROR L1123 TypeChecker]: C: dev->modempoll = dev->modempoll - 1 [14314]: 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-10-30 11:11:57,808 ERROR L1123 TypeChecker]: C: dev [14455]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,808 ERROR L1123 TypeChecker]: C: dev->profd [14455]: 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-10-30 11:11:57,808 ERROR L1123 TypeChecker]: C: dev [14456]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,809 ERROR L1123 TypeChecker]: C: dev->profd [14456]: 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-10-30 11:11:57,809 ERROR L1123 TypeChecker]: C: dev [14493]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,810 ERROR L1123 TypeChecker]: C: dev [14607]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,810 ERROR L1123 TypeChecker]: C: dev [14620]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,818 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem [14620]: 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-10-30 11:11:57,818 ERROR L1123 TypeChecker]: C: dev [14621]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,819 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem [14621]: 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-10-30 11:11:57,819 ERROR L1123 TypeChecker]: C: dev [14622]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,819 ERROR L1123 TypeChecker]: C: dev->mdm.tty_modem = (struct tty_driver *)0 [14622]: 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-10-30 11:11:57,820 ERROR L1123 TypeChecker]: C: dev [14714]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,820 ERROR L1123 TypeChecker]: C: spinlock_check(& dev->lock) [14714]: 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-10-30 11:11:57,820 ERROR L1123 TypeChecker]: C: dev [14719]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,820 ERROR L1123 TypeChecker]: C: dev [14727]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,824 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14727]: 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-10-30 11:11:57,824 ERROR L1123 TypeChecker]: C: dev [14738]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,825 ERROR L1123 TypeChecker]: C: dev->m_idx[idx] = info->line [14738]: 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-10-30 11:11:57,825 ERROR L1123 TypeChecker]: C: dev [14739]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,825 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14739]: 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-10-30 11:11:57,825 ERROR L1123 TypeChecker]: C: dev [14739]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,826 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] & 64 [14739]: 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-10-30 11:11:57,826 ERROR L1123 TypeChecker]: C: dev [14741]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,826 ERROR L1123 TypeChecker]: C: dev->usage[idx] [14741]: 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-10-30 11:11:57,826 ERROR L1123 TypeChecker]: C: dev [14741]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,827 ERROR L1123 TypeChecker]: C: dev->usage[idx] = dev->usage[idx] | tmp___0 [14741]: 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-10-30 11:11:57,830 ERROR L1123 TypeChecker]: C: dev [14742]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,830 ERROR L1123 TypeChecker]: C: strcpy((char *)(& dev->num) + (unsigned long )idx, (char const *)nr) [14742]: 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-10-30 11:11:57,831 ERROR L1123 TypeChecker]: C: dev [14748]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,831 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [14748]: 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-10-30 11:11:57,831 ERROR L1123 TypeChecker]: C: dev [14771]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,831 ERROR L1123 TypeChecker]: C: spin_unlock_irqrestore(& dev->lock, flags) [14771]: 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-10-30 11:11:57,832 ERROR L1123 TypeChecker]: C: dev [14772]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,835 ERROR L1123 TypeChecker]: C: dev->drv[di] [14772]: 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-10-30 11:11:57,836 ERROR L1123 TypeChecker]: C: dev [14789]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,836 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [14789]: 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-10-30 11:11:57,836 ERROR L1123 TypeChecker]: C: dev [14791]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,847 ERROR L1123 TypeChecker]: C: dev [14882]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,847 ERROR L1123 TypeChecker]: C: dev->usage[i] [14882]: 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-10-30 11:11:57,848 ERROR L1123 TypeChecker]: C: dev [14892]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,848 ERROR L1123 TypeChecker]: C: dev->usage[i] [14892]: 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-10-30 11:11:57,848 ERROR L1123 TypeChecker]: C: dev [14931]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,849 ERROR L1123 TypeChecker]: C: dev [15025]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,853 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15025]: 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-10-30 11:11:57,853 ERROR L1123 TypeChecker]: C: dev [15084]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,854 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15084]: 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-10-30 11:11:57,854 ERROR L1123 TypeChecker]: C: dev [15086]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,854 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15086]: 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-10-30 11:11:57,855 ERROR L1123 TypeChecker]: C: dev [15086]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,860 ERROR L1123 TypeChecker]: C: dev->drv[info->isdn_driver] [15086]: 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-10-30 11:11:57,861 ERROR L1123 TypeChecker]: C: dev [15088]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,861 ERROR L1123 TypeChecker]: C: dev->modempoll [15088]: 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-10-30 11:11:57,862 ERROR L1123 TypeChecker]: C: dev [15267]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,862 ERROR L1123 TypeChecker]: C: isdn_tty_at_cout((char *)(& dev->num) + (unsigned long )info->drv_index, info) [15267-15268]: 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-10-30 11:11:57,873 ERROR L1123 TypeChecker]: C: dev [15303]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,873 ERROR L1123 TypeChecker]: C: isdn_tty_at_cout((char *)(& dev->num) + (unsigned long )info->drv_index, info) [15303]: 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-10-30 11:11:57,880 ERROR L1123 TypeChecker]: C: dev [15944]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,881 ERROR L1123 TypeChecker]: C: strcpy((char *)(& info->last_num), (char const *)(& dev->num) + (unsigned long )info->drv_index) [15944]: 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-10-30 11:11:57,881 ERROR L1123 TypeChecker]: C: dev [16027]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,885 ERROR L1123 TypeChecker]: C: dev->global_features [16027]: 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-10-30 11:11:57,885 ERROR L1123 TypeChecker]: C: dev [16040]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,886 ERROR L1123 TypeChecker]: C: dev->global_features [16040]: 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-10-30 11:11:57,886 ERROR L1123 TypeChecker]: C: dev [16061]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,886 ERROR L1123 TypeChecker]: C: dev->global_features [16061]: 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-10-30 11:11:57,886 ERROR L1123 TypeChecker]: C: dev [16066]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,886 ERROR L1123 TypeChecker]: C: dev->global_features [16066]: 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-10-30 11:11:57,894 ERROR L1123 TypeChecker]: C: dev [16831]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,897 ERROR L1123 TypeChecker]: C: dev->usage[i] [16831]: 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-10-30 11:11:57,897 ERROR L1123 TypeChecker]: C: dev [16832]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,898 ERROR L1123 TypeChecker]: C: dev->m_idx[i] [16832]: 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-10-30 11:11:57,898 ERROR L1123 TypeChecker]: C: dev [16834]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,898 ERROR L1123 TypeChecker]: C: dev [16875]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,898 ERROR L1123 TypeChecker]: C: dev [16904]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,899 ERROR L1123 TypeChecker]: C: dev [16935]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,910 ERROR L1123 TypeChecker]: C: dev [18303]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,911 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18303]: 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-10-30 11:11:57,911 ERROR L1123 TypeChecker]: C: dev [18309]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,911 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18309]: 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-10-30 11:11:57,912 ERROR L1123 TypeChecker]: C: dev [18340]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,912 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18340]: 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-10-30 11:11:57,912 ERROR L1123 TypeChecker]: C: dev [18364]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,912 ERROR L1123 TypeChecker]: C: atomic_dec((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18364]: 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-10-30 11:11:57,913 ERROR L1123 TypeChecker]: C: dev [18369]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,916 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18369]: 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-10-30 11:11:57,916 ERROR L1123 TypeChecker]: C: dev [18370]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,916 ERROR L1123 TypeChecker]: C: atomic_dec_and_test((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18370]: 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-10-30 11:11:57,917 ERROR L1123 TypeChecker]: C: dev [18372]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,917 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18372]: 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-10-30 11:11:57,917 ERROR L1123 TypeChecker]: C: dev [18373]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,917 ERROR L1123 TypeChecker]: C: dev->v110[idx] = (isdn_v110_stream *)0 [18373]: 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-10-30 11:11:57,921 ERROR L1123 TypeChecker]: C: dev [18399]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,921 ERROR L1123 TypeChecker]: C: dev->v110emu[idx] [18399]: 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-10-30 11:11:57,922 ERROR L1123 TypeChecker]: C: dev [18399]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,922 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18399]: 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-10-30 11:11:57,922 ERROR L1123 TypeChecker]: C: dev [18400]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,922 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18400]: 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-10-30 11:11:57,922 ERROR L1123 TypeChecker]: C: dev [18401]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,923 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18401]: 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-10-30 11:11:57,923 ERROR L1123 TypeChecker]: C: dev [18402]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,923 ERROR L1123 TypeChecker]: C: atomic_inc((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18402]: 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-10-30 11:11:57,923 ERROR L1123 TypeChecker]: C: dev [18403]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,924 ERROR L1123 TypeChecker]: C: dev->v110emu[idx] [18403]: 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-10-30 11:11:57,929 ERROR L1123 TypeChecker]: C: dev [18405]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,929 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(3, hdrlen, maxsize) [18405]: 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-10-30 11:11:57,930 ERROR L1123 TypeChecker]: C: dev [18408]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,930 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(15, hdrlen, maxsize) [18408]: 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-10-30 11:11:57,930 ERROR L1123 TypeChecker]: C: dev [18411]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,930 ERROR L1123 TypeChecker]: C: dev->v110[idx] = isdn_v110_open(255, hdrlen, maxsize) [18411]: 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-10-30 11:11:57,931 ERROR L1123 TypeChecker]: C: dev [18416]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,937 ERROR L1123 TypeChecker]: C: dev->v110[idx] [18416]: 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-10-30 11:11:57,938 ERROR L1123 TypeChecker]: C: dev [18422]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,938 ERROR L1123 TypeChecker]: C: dev->drv[c->driver] [18422]: 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-10-30 11:11:57,938 ERROR L1123 TypeChecker]: C: dev [18442]: Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] [2018-10-30 11:11:57,938 ERROR L1123 TypeChecker]: C: atomic_dec((atomic_t *)(& dev->v110use) + (unsigned long )idx) [18442]: 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-10-30 11:11:58,515 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:11:57" (1/1) ... [2018-10-30 11:11:58,516 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 30.10 11:11:57" (1/1) ... [2018-10-30 11:11:58,909 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:435) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.expandExpression(StructExpander.java:498) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpressions(StructExpander.java:610) 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:466) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.expandExpression(StructExpander.java:498) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processExpressions(StructExpander.java:610) at de.uni_freiburg.informatik.ultimate.boogie.BoogieTransformer.processStatement(BoogieTransformer.java:388) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.processStatement(StructExpander.java:817) 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:811) at de.uni_freiburg.informatik.ultimate.boogie.preprocessor.StructExpander.process(StructExpander.java:340) 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-10-30 11:11:58,918 INFO L168 Benchmark]: Toolchain (without parser) took 61656.99 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.8 GB in the end (delta: 124.4 MB). Peak memory consumption was 620.5 MB. Max. memory is 3.9 GB. [2018-10-30 11:11:58,926 INFO L168 Benchmark]: CDTParser took 0.32 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-10-30 11:11:58,926 INFO L168 Benchmark]: CACSL2BoogieTranslator took 59982.30 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.3 GB in the end (delta: 570.8 MB). Peak memory consumption was 634.0 MB. Max. memory is 3.9 GB. [2018-10-30 11:11:58,927 INFO L168 Benchmark]: Boogie Preprocessor took 1661.52 ms. Allocated memory is still 2.0 GB. Free memory was 1.3 GB in the beginning and 1.8 GB in the end (delta: -446.4 MB). Peak memory consumption was 49.7 MB. Max. memory is 3.9 GB. [2018-10-30 11:11:58,935 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.32 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 59982.30 ms. Allocated memory is still 2.0 GB. Free memory was 1.9 GB in the beginning and 1.3 GB in the end (delta: 570.8 MB). Peak memory consumption was 634.0 MB. Max. memory is 3.9 GB. * Boogie Preprocessor took 1661.52 ms. Allocated memory is still 2.0 GB. Free memory was 1.3 GB in the beginning and 1.8 GB in the end (delta: -446.4 MB). Peak memory consumption was 49.7 MB. Max. memory is 3.9 GB. * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor: - TypeErrorResult [Line: 8250]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8250]: 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: 8251]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8251]: 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: 8252]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8252]: 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: 8253]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8253]: 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: 8271]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8271]: 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: 8273]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8273]: 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: 8293]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8293]: 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: 8304]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8304]: 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: 8360]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8360]: 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: 8402]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8402]: 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: 8476]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8476]: 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: 8476]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8476]: 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: 8479]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8479]: 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: 8580]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8580]: 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: 8622]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8622]: 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: 8623]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8623]: 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: 8705]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8705]: 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: 8706]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8706]: 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: 8706]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 8706]: 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: 9282]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9282]: 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: 9290]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9290]: 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: 9300]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9300]: 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: 9312]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9312]: 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: 9321]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9321]: 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: 9328]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9328]: 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: 9335]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9335]: 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: 9478]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9478]: 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: 9986]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 9986]: 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: 10113]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10113]: 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: 10114]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10114]: 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: 10115]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10115]: 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: 10138]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10138]: 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: 10171]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10171]: 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: 10172]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10172]: 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: 10173]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10173]: 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: 10173]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10173]: 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: 10174]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10174]: 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: 10174]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10174]: 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: 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~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: 10175]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10175]: 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: 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~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: 10176]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10176]: 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: 10226]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10226]: 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: 10232]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10232]: 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: 10242]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10242]: 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: 10286]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10286]: 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: 10287]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10287]: 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: 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~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: 10292]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10292]: 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: 10305]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10305]: 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: 10406]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10406]: 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: 10412]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10412]: 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: 10423]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10423]: 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: 10432]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10432]: 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: 10452]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10452]: 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: 10454]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10454]: 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: 10454]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10454]: 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: 10455]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10455]: 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: 10455]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10455]: 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: 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~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: 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~$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: 10473]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10473]: 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: 10481]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10481]: 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: 10498]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10498]: 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: 10512]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10512]: 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: 10542]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10542]: 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: 10548]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10548]: 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: 10559]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10559]: 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: 10567]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10567]: 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: 10751]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10751]: 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: 10752]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10752]: 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: 10833]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10833]: 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: 10834]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10834]: 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: 10874]: Type Error Undeclared identifier ~#isdn_concap_reliable_dl_dops~0 in IdentifierExpression[~#isdn_concap_reliable_dl_dops~0,GLOBAL] - TypeErrorResult [Line: 10874]: 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: 10954]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10954]: 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: 10960]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10960]: 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: 10965]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10965]: 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: 10967]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 10967]: 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: 11322]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11322]: 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: 11328]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11328]: 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: 11330]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11330]: 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: 11502]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11502]: 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: 11507]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11507]: 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: 11511]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11511]: 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: 11517]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11517]: 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: 11519]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11519]: 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: 11537]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11537]: 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: 11538]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11538]: 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: 11558]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11558]: 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: 11560]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11560]: 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: 11566]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11566]: 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: 11580]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11580]: 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: 11581]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11581]: 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: 11597]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11597]: 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: 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~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: 11602]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11602]: 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: 11603]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11603]: 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: 11609]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11609]: 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: 11615]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11615]: 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: 11620]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11620]: 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: 11621]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 11621]: 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: 12668]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12668]: 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: 12674]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12740]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12740]: 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: 12746]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12822]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12822]: 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: 12834]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12834]: 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: 12835]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12835]: 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: 12835]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12835]: 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: 12837]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 12837]: 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: 13068]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13068]: 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: 13223]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13223]: 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: 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,[],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: 13230]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13230]: 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: 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,[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: 13233]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13233]: 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: 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~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: 13234]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13234]: 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: 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,[],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: 13273]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13273]: 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: 13343]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13343]: 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: 13440]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13440]: 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: 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,[],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: 13447]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13447]: 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: 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,[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: 13450]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13450]: 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: 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~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: 13451]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13451]: 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: 13454]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13454]: 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: 13550]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13550]: 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: 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,[],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: 13557]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13557]: 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: 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,[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: 13560]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13560]: 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: 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~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: 13561]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13561]: 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: 13564]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13564]: 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: 13773]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13773]: 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: 13774]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 13774]: 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: 14206]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14241]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14241]: 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: 14241]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14241]: 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: 14314]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14314]: 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: 14314]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14314]: 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: 14455]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14455]: 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: 14456]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14456]: 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: 14493]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14607]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14620]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14620]: 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: 14621]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14621]: 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: 14622]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14622]: 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: 14714]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14714]: 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: 14719]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14727]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14727]: 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: 14738]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14738]: 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: 14739]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14739]: 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: 14739]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14739]: 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: 14741]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14741]: 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: 14741]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14741]: 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: 14742]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14742]: 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: 14748]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14748]: 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: 14771]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14771]: 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: 14772]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14772]: 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: 14789]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14789]: 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: 14791]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14882]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14882]: 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: 14892]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 14892]: 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: 14931]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15025]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15025]: 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: 15084]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15084]: 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: 15086]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15086]: 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: 15086]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15086]: 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: 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~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: 15267]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15267]: 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: 15303]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15303]: 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: 15944]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 15944]: 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: 16027]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16027]: 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: 16040]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16040]: 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: 16061]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16061]: 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: 16066]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16066]: 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: 16831]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16831]: 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: 16832]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16832]: 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: 16834]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16875]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16904]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 16935]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18303]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18303]: 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: 18309]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18309]: 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: 18340]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18340]: 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: 18364]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18364]: 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: 18369]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18369]: 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: 18370]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18370]: 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: 18372]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18372]: 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: 18373]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18373]: 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: 18399]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18399]: 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: 18399]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18399]: 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: 18400]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18400]: 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: 18401]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18401]: 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: 18402]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18402]: 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: 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~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: 18405]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18405]: 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: 18408]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18408]: 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: 18411]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18411]: 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: 18416]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18416]: 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: 18422]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18422]: 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: 18442]: Type Error Undeclared identifier ~dev~0 in IdentifierExpression[~dev~0,GLOBAL] - TypeErrorResult [Line: 18442]: 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:435) RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request...