/usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc config/AutomizerReach.xml -s config/svcomp-Reach-64bit-Automizer_Default.epf -i ../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--power--bq2415x_charger.ko-entry_point.cil.out.i


--------------------------------------------------------------------------------


This is Ultimate 0.2.1-bitabs-dcfa08f
[2020-12-23 15:24:52,841 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2020-12-23 15:24:52,843 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2020-12-23 15:24:52,877 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2020-12-23 15:24:52,877 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2020-12-23 15:24:52,881 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2020-12-23 15:24:52,883 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2020-12-23 15:24:52,888 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2020-12-23 15:24:52,893 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2020-12-23 15:24:52,894 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2020-12-23 15:24:52,896 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2020-12-23 15:24:52,897 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2020-12-23 15:24:52,898 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2020-12-23 15:24:52,901 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2020-12-23 15:24:52,903 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2020-12-23 15:24:52,905 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2020-12-23 15:24:52,906 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2020-12-23 15:24:52,912 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2020-12-23 15:24:52,924 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2020-12-23 15:24:52,929 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2020-12-23 15:24:52,931 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2020-12-23 15:24:52,932 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2020-12-23 15:24:52,933 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2020-12-23 15:24:52,934 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2020-12-23 15:24:52,937 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2020-12-23 15:24:52,937 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2020-12-23 15:24:52,938 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2020-12-23 15:24:52,939 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2020-12-23 15:24:52,939 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2020-12-23 15:24:52,940 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2020-12-23 15:24:52,940 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2020-12-23 15:24:52,941 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2020-12-23 15:24:52,942 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2020-12-23 15:24:52,943 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2020-12-23 15:24:52,944 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2020-12-23 15:24:52,944 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2020-12-23 15:24:52,945 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2020-12-23 15:24:52,945 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2020-12-23 15:24:52,946 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2020-12-23 15:24:52,947 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2020-12-23 15:24:52,948 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2020-12-23 15:24:52,949 INFO  L101        SettingsManager]: Beginning loading settings from /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf
[2020-12-23 15:24:52,977 INFO  L113        SettingsManager]: Loading preferences was successful
[2020-12-23 15:24:52,977 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2020-12-23 15:24:52,978 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2020-12-23 15:24:52,979 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2020-12-23 15:24:52,979 INFO  L138        SettingsManager]:  * Use SBE=true
[2020-12-23 15:24:52,979 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2020-12-23 15:24:52,980 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2020-12-23 15:24:52,980 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2020-12-23 15:24:52,980 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2020-12-23 15:24:52,980 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2020-12-23 15:24:52,981 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2020-12-23 15:24:52,981 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2020-12-23 15:24:52,981 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2020-12-23 15:24:52,981 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2020-12-23 15:24:52,982 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2020-12-23 15:24:52,982 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2020-12-23 15:24:52,982 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2020-12-23 15:24:52,982 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2020-12-23 15:24:52,983 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2020-12-23 15:24:52,983 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2020-12-23 15:24:52,983 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2020-12-23 15:24:52,983 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2020-12-23 15:24:52,983 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2020-12-23 15:24:52,984 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2020-12-23 15:24:52,984 INFO  L138        SettingsManager]:  * Trace refinement exception blacklist=NONE
[2020-12-23 15:24:52,984 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int)
WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
[2020-12-23 15:24:53,359 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2020-12-23 15:24:53,384 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2020-12-23 15:24:53,387 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2020-12-23 15:24:53,389 INFO  L271        PluginConnector]: Initializing CDTParser...
[2020-12-23 15:24:53,391 INFO  L275        PluginConnector]: CDTParser initialized
[2020-12-23 15:24:53,392 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/../sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--power--bq2415x_charger.ko-entry_point.cil.out.i
[2020-12-23 15:24:53,483 INFO  L220              CDTParser]: Created temporary CDT project at /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/3409c1b95/9aa63a9d001543d890e67ecb51750737/FLAG74d0d363e
[2020-12-23 15:24:54,509 INFO  L306              CDTParser]: Found 1 translation units.
[2020-12-23 15:24:54,510 INFO  L160              CDTParser]: Scanning /storage/repos/ultimate-bitabs/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--power--bq2415x_charger.ko-entry_point.cil.out.i
[2020-12-23 15:24:54,555 INFO  L349              CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/3409c1b95/9aa63a9d001543d890e67ecb51750737/FLAG74d0d363e
[2020-12-23 15:24:54,948 INFO  L357              CDTParser]: Successfully deleted /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/3409c1b95/9aa63a9d001543d890e67ecb51750737
[2020-12-23 15:24:54,951 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2020-12-23 15:24:54,953 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2020-12-23 15:24:54,955 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2020-12-23 15:24:54,955 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2020-12-23 15:24:54,960 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2020-12-23 15:24:54,962 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 23.12 03:24:54" (1/1) ...
[2020-12-23 15:24:54,964 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@57e62d2d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 03:24:54, skipping insertion in model container
[2020-12-23 15:24:54,964 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 23.12 03:24:54" (1/1) ...
[2020-12-23 15:24:54,973 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2020-12-23 15:24:55,146 INFO  L178         MainTranslator]: Built tables and reachable declarations
left hand side expression in assignment: lhs: VariableLHS[~tmp~0,<LOCAL,kstrtol>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],base],StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~0,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~1,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~0,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~1,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~2,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~1,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~3,<LOCAL,ldv_init_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~2,<LOCAL,ldv_init_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~4,<LOCAL,ldv_memset>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~5,<LOCAL,ldv_undef_int>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~6,<LOCAL,ldv_undef_ulong>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~7,<LOCAL,queue_delayed_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~8,<LOCAL,schedule_delayed_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~9,<LOCAL,devm_kzalloc>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev,<LOCAL,dev_set_drvdata>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[477],StructAccessExpression[IdentifierExpression[~dev,<LOCAL,dev_set_drvdata>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~10,<LOCAL,device_property_read_u32>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~11,<LOCAL,i2c_get_clientdata>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~0,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~0,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~1,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: lhs: VariableLHS[~client~0,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[0]]],addr]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[0]]],flags]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[0]]],buf]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[0]]],len]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[1]]],addr]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[1]]],flags]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[1]]],buf]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~0,<LOCAL,bq2415x_i2c_read>],[IntegerLiteral[1]]],len]
left hand side expression in assignment: lhs: VariableLHS[~ret~0,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: lhs: VariableLHS[~ret~1,<LOCAL,bq2415x_i2c_read_mask>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~12,<LOCAL,bq2415x_i2c_read_bit>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~2,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: lhs: VariableLHS[~client~1,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: lhs: ArrayLHS[VariableLHS[~data~0,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[0]]]
left hand side expression in assignment: lhs: ArrayLHS[VariableLHS[~data~0,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[1]]]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~1,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[0]]],addr]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~1,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[0]]],flags]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~1,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[0]]],buf]
left hand side expression in assignment: lhs: StructLHS[ArrayLHS[VariableLHS[~msg~1,<LOCAL,bq2415x_i2c_write>],[IntegerLiteral[0]]],len]
left hand side expression in assignment: lhs: VariableLHS[~ret~2,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp~13,<LOCAL,bq2415x_i2c_write_mask>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~14,<LOCAL,bq2415x_i2c_write_bit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~15,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~3,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~1,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~ret~4,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___10~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___11~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___12~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___13~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___14~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___15~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___16~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___17~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___18~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___19~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___20~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___21~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___22~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___23~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___24~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___25~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___26~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~3,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~client~2,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~16,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~ret~5,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~17,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~ret~6,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~4,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~chip~0,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~ret~7,<LOCAL,bq2415x_get_vender_code>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_reset_chip>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_reset_chip>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~18,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~8,<LOCAL,bq2415x_get_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~19,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~ret~9,<LOCAL,bq2415x_get_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~3,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~3,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~20,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~21,<LOCAL,bq2415x_get_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~ret~10,<LOCAL,bq2415x_get_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~22,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~11,<LOCAL,bq2415x_get_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~23,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~12,<LOCAL,bq2415x_get_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___2~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___2~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___3~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___3~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~charger~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~boost~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~boost~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~charger~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~0,<LOCAL,bq2415x_set_mode>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp~24,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___0~0,<LOCAL,bq2415x_set_mode>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~5,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___1~0,<LOCAL,bq2415x_set_mode>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~2,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___2~0,<LOCAL,bq2415x_set_mode>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor___3~0,<LOCAL,bq2415x_set_mode>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[357],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~4,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~bq~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~psy~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],modname]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],function]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],filename]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],format]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],lineno]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~descriptor~1,<LOCAL,bq2415x_notifier_call>],flags]
left hand side expression in assignment: lhs: VariableLHS[~tmp~25,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mA~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~0,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[353],StructAccessExpression[IdentifierExpression[~bq~0,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~5,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~bq~1,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~ret~16,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~boost~1,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~error~0,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~26,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: lhs: VariableLHS[~bq~2,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: lhs: VariableLHS[~ret~17,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],of_node]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],drv_data]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],supplied_to]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],num_supplicants]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[56],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[68],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[72],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~27,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~18,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~chip~1,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~chip~1,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~18,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~6,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[373],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~2,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~3,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~28,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~psy~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~7,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~bq~3,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~2,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~3,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~4,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~ret~19,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~29,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~psy~2,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~8,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~bq~4,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~ret~20,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~4,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~5,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~ret~20,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~30,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~psy~3,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~9,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~bq~5,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~6,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~5,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~3,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~31,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~4,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~10,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~21,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~2,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~2,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~4,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~6,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~7,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~21,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~32,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~5,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~11,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~7,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~8,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~7,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~5,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~3,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~3,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~2,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~2,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~1,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~33,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~6,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~12,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~8,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~9,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~8,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~6,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~4,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~4,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~34,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~psy~7,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~13,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~bq~9,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~23,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~10,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~9,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~23,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~35,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~ret~24,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~14,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~11,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~36,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~psy~8,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~15,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~bq~10,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~12,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~10,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~7,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~5,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~5,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~37,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~psy~9,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~16,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~bq~11,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~13,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~3,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~6,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~6,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~8,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~11,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~38,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~psy~10,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~17,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~bq~12,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~7,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~7,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~9,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~12,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~14,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~4,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~39,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~psy~11,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~18,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~bq~13,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~15,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~8,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~8,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~10,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~13,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~ret~28,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~40,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~psy~12,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~19,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~bq~14,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~9,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~11,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~14,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~16,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~ret~29,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~9,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~41,<LOCAL,bq2415x_sysfs_init>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~np~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~pdata~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~acpi_id~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~42,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~20,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~num~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~17,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~15,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~acpi_id~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~12,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~bq~15,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~10,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~10,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[397],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[361],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~5,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~3,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[361],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[381],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[357],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[353],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~2,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~1,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[333],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~0,<LOCAL,bq2415x_probe>],counter]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[117],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[141],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[217],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[225],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~43,<LOCAL,bq2415x_remove>]
left hand side expression in assignment: lhs: VariableLHS[~bq~16,<LOCAL,bq2415x_remove>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~44,<LOCAL,bq2415x_driver_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~45,<LOCAL,ldv_initialize_device_attribute_12>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_otg_pin_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~21,<LOCAL,ldv_initialize_device_attribute_12>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_otg_pin_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~46,<LOCAL,ldv_initialize_device_attribute_13>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_high_impedance_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~22,<LOCAL,ldv_initialize_device_attribute_13>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_high_impedance_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~47,<LOCAL,ldv_initialize_device_attribute_17>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_battery_regulation_voltage_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~23,<LOCAL,ldv_initialize_device_attribute_17>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_battery_regulation_voltage_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~48,<LOCAL,ldv_initialize_device_attribute_14>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_termination_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~24,<LOCAL,ldv_initialize_device_attribute_14>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_termination_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~49,<LOCAL,ldv_initialize_device_attribute_16>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_current_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~25,<LOCAL,ldv_initialize_device_attribute_16>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_current_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~50,<LOCAL,ldv_initialize_device_attribute_11>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_stat_pin_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~26,<LOCAL,ldv_initialize_device_attribute_11>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_stat_pin_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~51,<LOCAL,ldv_initialize_device_attribute_19>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_current_limit_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~27,<LOCAL,ldv_initialize_device_attribute_19>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_current_limit_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~52,<LOCAL,ldv_initialize_device_attribute_9>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_mode_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~28,<LOCAL,ldv_initialize_device_attribute_9>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_mode_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~53,<LOCAL,ldv_initialize_device_attribute_15>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_termination_current_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~29,<LOCAL,ldv_initialize_device_attribute_15>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_termination_current_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~54,<LOCAL,ldv_initialize_i2c_driver_2>]
left hand side expression in assignment: lhs: VariableLHS[~bq2415x_driver_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~55,<LOCAL,ldv_initialize_device_attribute_8>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_timer_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~30,<LOCAL,ldv_initialize_device_attribute_8>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_timer_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~56,<LOCAL,invoke_work_1>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~57,<LOCAL,ldv_initialize_device_attribute_7>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_registers_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~31,<LOCAL,ldv_initialize_device_attribute_7>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_registers_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~58,<LOCAL,ldv_initialize_device_attribute_18>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_weak_battery_voltage_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~32,<LOCAL,ldv_initialize_device_attribute_18>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_weak_battery_voltage_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~59,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg0~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~33,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~18,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg3~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~16,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg5~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~13,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg8~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~11,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg6~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~11,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg9~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~6,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg10~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~4,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg12~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~3,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg13~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~2,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg15~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___10~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg18~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___11~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg16~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___12~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg21~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___13~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg20~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___14~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg19~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___15~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg24~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___16~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg23~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___17~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg22~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___18~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg27~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___19~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg25~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___20~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg28~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___21~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg30~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___22~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg31~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___23~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg33~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___24~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg36~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___25~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg34~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___26~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg39~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___27~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg37~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___28~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg41~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___29~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg42~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___30~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg40~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___31~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg45~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___32~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg43~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___33~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg48~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___34~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg47~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___35~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg46~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___36~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg51~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___37~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg49~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___38~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg50~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___39~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___40~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___41~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___42~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___43~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_retval_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___44~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___45~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_retval_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___46~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___47~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___48~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___49~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___50~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___51~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___52~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___53~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___54~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___55~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___56~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___57~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___58~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~60,<LOCAL,PTR_ERR>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~61,<LOCAL,IS_ERR>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~62,<LOCAL,ldv_queue_work_on_5>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~0,<LOCAL,ldv_queue_work_on_5>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~63,<LOCAL,ldv_queue_delayed_work_on_6>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~1,<LOCAL,ldv_queue_delayed_work_on_6>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~64,<LOCAL,ldv_queue_work_on_7>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~2,<LOCAL,ldv_queue_work_on_7>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~65,<LOCAL,ldv_queue_delayed_work_on_9>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~3,<LOCAL,ldv_queue_delayed_work_on_9>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~66,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~4,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~34,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~67,<LOCAL,ldv_cancel_delayed_work_sync_23>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~5,<LOCAL,ldv_cancel_delayed_work_sync_23>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~68,<LOCAL,ldv_cancel_delayed_work_sync_25>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~6,<LOCAL,ldv_cancel_delayed_work_sync_25>]
[2020-12-23 15:24:56,714 WARN  L226   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate-bitabs/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--power--bq2415x_charger.ko-entry_point.cil.out.i[216479,216492]
left hand side expression in assignment: lhs: VariableLHS[~tmp~69,<LOCAL,ldv_undef_int_negative>]
left hand side expression in assignment: lhs: VariableLHS[~ret~31,<LOCAL,ldv_undef_int_negative>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~70,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~0,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~1,<LOCAL,ldv_mutex_lock_killable_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~0,<LOCAL,ldv_mutex_trylock_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~0,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~2,<LOCAL,ldv_mutex_is_locked_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~71,<LOCAL,ldv_usb_trylock_device_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~36,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~72,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~3,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~4,<LOCAL,ldv_mutex_lock_killable_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~1,<LOCAL,ldv_mutex_trylock_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~1,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~5,<LOCAL,ldv_mutex_is_locked_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~73,<LOCAL,ldv_usb_trylock_device_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~37,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~74,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~6,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~7,<LOCAL,ldv_mutex_lock_killable_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~2,<LOCAL,ldv_mutex_trylock_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~2,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~8,<LOCAL,ldv_mutex_is_locked_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~75,<LOCAL,ldv_usb_trylock_device_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~38,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~76,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~9,<LOCAL,ldv_mutex_lock_interruptible_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~10,<LOCAL,ldv_mutex_lock_killable_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~3,<LOCAL,ldv_mutex_trylock_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~3,<LOCAL,ldv_atomic_dec_and_mutex_lock_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~11,<LOCAL,ldv_mutex_is_locked_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~77,<LOCAL,ldv_usb_trylock_device_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~39,<LOCAL,ldv_usb_lock_device_for_reset_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~78,<LOCAL,ldv_usb_lock_device_for_reset_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~12,<LOCAL,ldv_mutex_lock_interruptible_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~13,<LOCAL,ldv_mutex_lock_killable_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~4,<LOCAL,ldv_mutex_trylock_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~4,<LOCAL,ldv_atomic_dec_and_mutex_lock_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~14,<LOCAL,ldv_mutex_is_locked_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~79,<LOCAL,ldv_usb_trylock_device_lock>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~40,<LOCAL,ldv_usb_lock_device_for_reset_lock>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~80,<LOCAL,ldv_usb_lock_device_for_reset_lock>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~15,<LOCAL,ldv_mutex_lock_interruptible_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~16,<LOCAL,ldv_mutex_lock_killable_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~5,<LOCAL,ldv_mutex_trylock_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~5,<LOCAL,ldv_atomic_dec_and_mutex_lock_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~17,<LOCAL,ldv_mutex_is_locked_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~81,<LOCAL,ldv_usb_trylock_device_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~41,<LOCAL,ldv_usb_lock_device_for_reset_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~82,<LOCAL,ldv_usb_lock_device_for_reset_mutex_of_device>]
[2020-12-23 15:24:56,918 INFO  L206          PostProcessor]: Analyzing one entry point: main
[2020-12-23 15:24:56,986 INFO  L203         MainTranslator]: Completed pre-run
left hand side expression in assignment: lhs: VariableLHS[~tmp~0,<LOCAL,kstrtol>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],base],StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~list,<LOCAL,INIT_LIST_HEAD>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~0,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~1,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~0,<LOCAL,ldv_malloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~1,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~2,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~1,<LOCAL,ldv_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~3,<LOCAL,ldv_init_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~p~2,<LOCAL,ldv_init_zalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~4,<LOCAL,ldv_memset>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~5,<LOCAL,ldv_undef_int>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~6,<LOCAL,ldv_undef_ulong>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~7,<LOCAL,queue_delayed_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~8,<LOCAL,schedule_delayed_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~9,<LOCAL,devm_kzalloc>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~dev,<LOCAL,dev_set_drvdata>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[477],StructAccessExpression[IdentifierExpression[~dev,<LOCAL,dev_set_drvdata>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~10,<LOCAL,device_property_read_u32>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~11,<LOCAL,i2c_get_clientdata>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~0,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~0,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,to_acpi_node>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~1,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: lhs: VariableLHS[~client~0,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[2],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[6],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[14],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[18],StructAccessExpression[IdentifierExpression[~#msg~0,<LOCAL,bq2415x_i2c_read>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~0,<LOCAL,bq2415x_i2c_read>]
left hand side expression in assignment: lhs: VariableLHS[~ret~1,<LOCAL,bq2415x_i2c_read_mask>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~12,<LOCAL,bq2415x_i2c_read_bit>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~2,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: lhs: VariableLHS[~client~1,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#data~0,<LOCAL,bq2415x_i2c_write>],base],StructAccessExpression[IdentifierExpression[~#data~0,<LOCAL,bq2415x_i2c_write>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#data~0,<LOCAL,bq2415x_i2c_write>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1],StructAccessExpression[IdentifierExpression[~#data~0,<LOCAL,bq2415x_i2c_write>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],base],StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[2],StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[6],StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~#msg~1,<LOCAL,bq2415x_i2c_write>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~2,<LOCAL,bq2415x_i2c_write>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,bq2415x_i2c_write_mask>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp~13,<LOCAL,bq2415x_i2c_write_mask>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~14,<LOCAL,bq2415x_i2c_write_bit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~15,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~3,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~1,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~ret~4,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___10~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___11~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___12~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___13~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___14~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___15~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___16~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___17~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___18~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___19~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___20~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___21~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___22~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___23~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___24~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___25~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___26~0,<LOCAL,bq2415x_exec_command>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~3,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~client~2,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~16,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~ret~5,<LOCAL,bq2415x_detect_chip>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~17,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~ret~6,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~4,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~chip~0,<LOCAL,bq2415x_detect_revision>]
left hand side expression in assignment: lhs: VariableLHS[~ret~7,<LOCAL,bq2415x_get_vender_code>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_reset_chip>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_reset_chip>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~1,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~18,<LOCAL,bq2415x_set_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~8,<LOCAL,bq2415x_get_current_limit>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~2,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~19,<LOCAL,bq2415x_set_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~ret~9,<LOCAL,bq2415x_get_weak_battery_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~3,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~3,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~20,<LOCAL,bq2415x_set_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~21,<LOCAL,bq2415x_get_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~ret~10,<LOCAL,bq2415x_get_battery_regulation_voltage>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~4,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~22,<LOCAL,bq2415x_set_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~11,<LOCAL,bq2415x_get_charge_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~val~5,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~23,<LOCAL,bq2415x_set_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~12,<LOCAL,bq2415x_get_termination_current>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___2~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___2~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___3~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret___3~0,<LOCAL,bq2415x_set_defaults>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~charger~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~boost~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~boost~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~charger~0,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~24,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor___0~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~5,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor___1~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~2,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor___2~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor___3~0,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___0~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret___1~1,<LOCAL,bq2415x_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[357],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~4,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~bq~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~psy~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~#descriptor~1,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~25,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mA~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: lhs: VariableLHS[~mode~0,<LOCAL,bq2415x_notifier_call>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~0,<LOCAL,bq2415x_notifier_call>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[353],StructAccessExpression[IdentifierExpression[~bq~0,<LOCAL,bq2415x_notifier_call>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_set_autotimer>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[365],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_timer_error>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~5,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~bq~1,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~ret~16,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~boost~1,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~error~0,<LOCAL,bq2415x_timer_work>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~26,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: lhs: VariableLHS[~bq~2,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: lhs: VariableLHS[~ret~17,<LOCAL,bq2415x_power_supply_get_property>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],base],StructAccessExpression[IdentifierExpression[~val,<LOCAL,bq2415x_power_supply_get_property>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],base],StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~#psy_cfg~0,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[56],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[68],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[72],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~27,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~18,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~chip~1,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~chip~1,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~18,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~6,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[373],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_init>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~2,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~3,<LOCAL,bq2415x_power_supply_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq,<LOCAL,bq2415x_power_supply_exit>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~28,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~psy~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~7,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~bq~3,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~2,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~3,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~4,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~command~0,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~ret~19,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~1,<LOCAL,bq2415x_sysfs_show_status>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~29,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~psy~2,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~8,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~bq~4,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~ret~20,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~4,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~5,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~ret~20,<LOCAL,bq2415x_sysfs_set_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~30,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~psy~3,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~9,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~bq~5,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~6,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~5,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~3,<LOCAL,bq2415x_sysfs_show_timer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~31,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~4,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~10,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~21,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~2,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~2,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~4,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~6,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~7,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~6,<LOCAL,bq2415x_sysfs_set_mode>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~mode~1,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~21,<LOCAL,bq2415x_sysfs_set_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~32,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~5,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~11,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~7,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~8,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~7,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~5,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~3,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~3,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~2,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~2,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~1,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~22,<LOCAL,bq2415x_sysfs_show_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~33,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~psy~6,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~12,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~bq~8,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~9,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~8,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~6,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~4,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~4,<LOCAL,bq2415x_sysfs_show_reported_mode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~34,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~psy~7,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~13,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~bq~9,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~23,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~10,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~9,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~23,<LOCAL,bq2415x_sysfs_set_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~35,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~ret~24,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~14,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~11,<LOCAL,bq2415x_sysfs_print_reg>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~36,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~psy~8,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~15,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~bq~10,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~12,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~10,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~7,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~5,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~5,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~ret~25,<LOCAL,bq2415x_sysfs_show_registers>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~37,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~psy~9,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~16,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~bq~11,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~13,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~3,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~6,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~6,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~8,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~11,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~26,<LOCAL,bq2415x_sysfs_set_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~38,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~psy~10,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~17,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~bq~12,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~7,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~7,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~9,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~12,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~14,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~ret~27,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~4,<LOCAL,bq2415x_sysfs_show_limit>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~39,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~psy~11,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~18,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~bq~13,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~15,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~8,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~8,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~10,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~13,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~1,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~ret~28,<LOCAL,bq2415x_sysfs_set_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~40,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~psy~12,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~19,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~bq~14,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~9,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~11,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~14,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~16,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~command~2,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~ret~29,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~9,<LOCAL,bq2415x_sysfs_show_enable>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~41,<LOCAL,bq2415x_sysfs_init>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~np~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~pdata~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~acpi_id~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~42,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~20,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~num~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~17,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~15,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~acpi_id~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~name~0,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~12,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~bq~15,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~10,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~10,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[325],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[397],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[361],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~5,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~3,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[361],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[381],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[357],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[353],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[389],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~2,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~1,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[333],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~30,<LOCAL,bq2415x_probe>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[393],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~#__constr_expr_0~0,<LOCAL,bq2415x_probe>],base],StructAccessExpression[IdentifierExpression[~#__constr_expr_0~0,<LOCAL,bq2415x_probe>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[117],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[141],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[217],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[225],StructAccessExpression[IdentifierExpression[~bq~15,<LOCAL,bq2415x_probe>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~43,<LOCAL,bq2415x_remove>]
left hand side expression in assignment: lhs: VariableLHS[~bq~16,<LOCAL,bq2415x_remove>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~44,<LOCAL,bq2415x_driver_init>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~45,<LOCAL,ldv_initialize_device_attribute_12>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_otg_pin_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~21,<LOCAL,ldv_initialize_device_attribute_12>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_otg_pin_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~46,<LOCAL,ldv_initialize_device_attribute_13>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_high_impedance_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~22,<LOCAL,ldv_initialize_device_attribute_13>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_high_impedance_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~47,<LOCAL,ldv_initialize_device_attribute_17>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_battery_regulation_voltage_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~23,<LOCAL,ldv_initialize_device_attribute_17>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_battery_regulation_voltage_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~48,<LOCAL,ldv_initialize_device_attribute_14>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_termination_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~24,<LOCAL,ldv_initialize_device_attribute_14>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_termination_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_struct_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~49,<LOCAL,ldv_initialize_device_attribute_16>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_current_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~25,<LOCAL,ldv_initialize_device_attribute_16>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_charge_current_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~50,<LOCAL,ldv_initialize_device_attribute_11>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_stat_pin_enable_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~26,<LOCAL,ldv_initialize_device_attribute_11>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_stat_pin_enable_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~51,<LOCAL,ldv_initialize_device_attribute_19>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_current_limit_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~27,<LOCAL,ldv_initialize_device_attribute_19>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_current_limit_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~52,<LOCAL,ldv_initialize_device_attribute_9>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_mode_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~28,<LOCAL,ldv_initialize_device_attribute_9>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_mode_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~53,<LOCAL,ldv_initialize_device_attribute_15>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_termination_current_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~29,<LOCAL,ldv_initialize_device_attribute_15>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_termination_current_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~54,<LOCAL,ldv_initialize_i2c_driver_2>]
left hand side expression in assignment: lhs: VariableLHS[~bq2415x_driver_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~55,<LOCAL,ldv_initialize_device_attribute_8>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_timer_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~30,<LOCAL,ldv_initialize_device_attribute_8>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_timer_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~56,<LOCAL,invoke_work_1>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_work_1_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~57,<LOCAL,ldv_initialize_device_attribute_7>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_registers_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~31,<LOCAL,ldv_initialize_device_attribute_7>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_registers_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~58,<LOCAL,ldv_initialize_device_attribute_18>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_weak_battery_voltage_group0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~32,<LOCAL,ldv_initialize_device_attribute_18>]
left hand side expression in assignment: lhs: VariableLHS[~dev_attr_weak_battery_voltage_group1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~59,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg0~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~33,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~18,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg3~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~16,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg5~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~13,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg8~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~11,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg6~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~11,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg9~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~6,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg10~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~4,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg12~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~3,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg13~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~2,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg15~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___10~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg18~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___11~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg16~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___12~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg21~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___13~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg20~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___14~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg19~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___15~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg24~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___16~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg23~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___17~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg22~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___18~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg27~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___19~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg25~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___20~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg28~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___21~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg30~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___22~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg31~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___23~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg33~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___24~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg36~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___25~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg34~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___26~1,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg39~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___27~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg37~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___28~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg41~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___29~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg42~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___30~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg40~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___31~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg45~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___32~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg43~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___33~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg48~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___34~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg47~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___35~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg46~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___36~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg51~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___37~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg49~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___38~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldvarg50~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___39~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___40~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___41~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___42~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___43~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_retval_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ref_cnt~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___44~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___45~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_retval_1~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_18~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_2~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_17~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_7~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_11~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_0~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___46~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_16~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___47~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_13~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___48~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_6~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___49~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_3~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___50~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_9~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___51~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_12~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___52~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_14~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___53~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_15~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___54~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_8~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___55~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_4~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___56~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_19~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___57~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_10~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp___58~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_state_variable_5~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~60,<LOCAL,PTR_ERR>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~61,<LOCAL,IS_ERR>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~62,<LOCAL,ldv_queue_work_on_5>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~0,<LOCAL,ldv_queue_work_on_5>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~63,<LOCAL,ldv_queue_delayed_work_on_6>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~1,<LOCAL,ldv_queue_delayed_work_on_6>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~64,<LOCAL,ldv_queue_work_on_7>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~2,<LOCAL,ldv_queue_work_on_7>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~65,<LOCAL,ldv_queue_delayed_work_on_9>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~3,<LOCAL,ldv_queue_delayed_work_on_9>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~66,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~4,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~34,<LOCAL,ldv_mutex_trylock_13>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~67,<LOCAL,ldv_cancel_delayed_work_sync_23>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~5,<LOCAL,ldv_cancel_delayed_work_sync_23>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~68,<LOCAL,ldv_cancel_delayed_work_sync_25>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_func_res~6,<LOCAL,ldv_cancel_delayed_work_sync_25>]
[2020-12-23 15:24:57,433 WARN  L226   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate-bitabs/releaseScripts/default/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--power--bq2415x_charger.ko-entry_point.cil.out.i[216479,216492]
left hand side expression in assignment: lhs: VariableLHS[~tmp~69,<LOCAL,ldv_undef_int_negative>]
left hand side expression in assignment: lhs: VariableLHS[~ret~31,<LOCAL,ldv_undef_int_negative>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~70,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~35,<LOCAL,ldv_is_err_or_null>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~0,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~1,<LOCAL,ldv_mutex_lock_killable_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~0,<LOCAL,ldv_mutex_trylock_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~0,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~2,<LOCAL,ldv_mutex_is_locked_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_i2c_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~71,<LOCAL,ldv_usb_trylock_device_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~36,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~72,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_i2c_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~3,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~4,<LOCAL,ldv_mutex_lock_killable_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~1,<LOCAL,ldv_mutex_trylock_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~1,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~5,<LOCAL,ldv_mutex_is_locked_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_id_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~73,<LOCAL,ldv_usb_trylock_device_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~37,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~74,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_id_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~6,<LOCAL,ldv_mutex_lock_interruptible_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~7,<LOCAL,ldv_mutex_lock_killable_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~2,<LOCAL,ldv_mutex_trylock_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~2,<LOCAL,ldv_atomic_dec_and_mutex_lock_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~8,<LOCAL,ldv_mutex_is_locked_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_bq2415x_timer_mutex~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~75,<LOCAL,ldv_usb_trylock_device_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~38,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~76,<LOCAL,ldv_usb_lock_device_for_reset_bq2415x_timer_mutex>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~9,<LOCAL,ldv_mutex_lock_interruptible_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~10,<LOCAL,ldv_mutex_lock_killable_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~3,<LOCAL,ldv_mutex_trylock_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~3,<LOCAL,ldv_atomic_dec_and_mutex_lock_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~11,<LOCAL,ldv_mutex_is_locked_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_i_mutex_of_inode~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~77,<LOCAL,ldv_usb_trylock_device_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~39,<LOCAL,ldv_usb_lock_device_for_reset_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~78,<LOCAL,ldv_usb_lock_device_for_reset_i_mutex_of_inode>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~12,<LOCAL,ldv_mutex_lock_interruptible_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~13,<LOCAL,ldv_mutex_lock_killable_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~4,<LOCAL,ldv_mutex_trylock_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~4,<LOCAL,ldv_atomic_dec_and_mutex_lock_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~14,<LOCAL,ldv_mutex_is_locked_lock>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_lock~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~79,<LOCAL,ldv_usb_trylock_device_lock>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~40,<LOCAL,ldv_usb_lock_device_for_reset_lock>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~80,<LOCAL,ldv_usb_lock_device_for_reset_lock>]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~15,<LOCAL,ldv_mutex_lock_interruptible_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~16,<LOCAL,ldv_mutex_lock_killable_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~is_mutex_held_by_another_thread~5,<LOCAL,ldv_mutex_trylock_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~atomic_value_after_dec~5,<LOCAL,ldv_atomic_dec_and_mutex_lock_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~nondetermined~17,<LOCAL,ldv_mutex_is_locked_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_mutex_mutex_of_device~0,GLOBAL]
left hand side expression in assignment: lhs: VariableLHS[~tmp~81,<LOCAL,ldv_usb_trylock_device_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~41,<LOCAL,ldv_usb_lock_device_for_reset_mutex_of_device>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~82,<LOCAL,ldv_usb_lock_device_for_reset_mutex_of_device>]
[2020-12-23 15:24:57,464 INFO  L206          PostProcessor]: Analyzing one entry point: main
[2020-12-23 15:24:57,927 INFO  L208         MainTranslator]: Completed translation
[2020-12-23 15:24:57,927 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 03:24:57 WrapperNode
[2020-12-23 15:24:57,927 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2020-12-23 15:24:57,929 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2020-12-23 15:24:57,929 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2020-12-23 15:24:57,929 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2020-12-23 15:24:57,937 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 03:24:57" (1/1) ...
[2020-12-23 15:24:58,085 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 03:24:57" (1/1) ...