/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-commit-tester/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa.i


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


This is Ultimate 0.2.1-bitabs-dcfa08f
[2020-12-23 14:49:50,823 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2020-12-23 14:49:50,826 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2020-12-23 14:49:50,882 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2020-12-23 14:49:50,883 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2020-12-23 14:49:50,886 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2020-12-23 14:49:50,900 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2020-12-23 14:49:50,906 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2020-12-23 14:49:50,910 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2020-12-23 14:49:50,916 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2020-12-23 14:49:50,920 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2020-12-23 14:49:50,922 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2020-12-23 14:49:50,922 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2020-12-23 14:49:50,925 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2020-12-23 14:49:50,927 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2020-12-23 14:49:50,929 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2020-12-23 14:49:50,930 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2020-12-23 14:49:50,933 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2020-12-23 14:49:50,940 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2020-12-23 14:49:50,946 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2020-12-23 14:49:50,948 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2020-12-23 14:49:50,952 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2020-12-23 14:49:50,953 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2020-12-23 14:49:50,956 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2020-12-23 14:49:50,965 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2020-12-23 14:49:50,966 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2020-12-23 14:49:50,966 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2020-12-23 14:49:50,967 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2020-12-23 14:49:50,968 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2020-12-23 14:49:50,970 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2020-12-23 14:49:50,971 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2020-12-23 14:49:50,972 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2020-12-23 14:49:50,974 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2020-12-23 14:49:50,975 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2020-12-23 14:49:50,976 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2020-12-23 14:49:50,976 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2020-12-23 14:49:50,977 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2020-12-23 14:49:50,984 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2020-12-23 14:49:50,984 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2020-12-23 14:49:50,985 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2020-12-23 14:49:50,986 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2020-12-23 14:49:50,991 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 14:49:51,037 INFO  L113        SettingsManager]: Loading preferences was successful
[2020-12-23 14:49:51,038 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2020-12-23 14:49:51,043 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2020-12-23 14:49:51,043 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2020-12-23 14:49:51,043 INFO  L138        SettingsManager]:  * Use SBE=true
[2020-12-23 14:49:51,043 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2020-12-23 14:49:51,044 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2020-12-23 14:49:51,044 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2020-12-23 14:49:51,044 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2020-12-23 14:49:51,044 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2020-12-23 14:49:51,045 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2020-12-23 14:49:51,046 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2020-12-23 14:49:51,046 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2020-12-23 14:49:51,046 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2020-12-23 14:49:51,046 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2020-12-23 14:49:51,047 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2020-12-23 14:49:51,047 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2020-12-23 14:49:51,047 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2020-12-23 14:49:51,047 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2020-12-23 14:49:51,047 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2020-12-23 14:49:51,048 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2020-12-23 14:49:51,048 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2020-12-23 14:49:51,048 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2020-12-23 14:49:51,048 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2020-12-23 14:49:51,048 INFO  L138        SettingsManager]:  * Trace refinement exception blacklist=NONE
[2020-12-23 14:49:51,049 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 14:49:51,495 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2020-12-23 14:49:51,528 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2020-12-23 14:49:51,531 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2020-12-23 14:49:51,532 INFO  L271        PluginConnector]: Initializing CDTParser...
[2020-12-23 14:49:51,533 INFO  L275        PluginConnector]: CDTParser initialized
[2020-12-23 14:49:51,534 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/../sv-benchmarks/c/ldv-commit-tester/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa.i
[2020-12-23 14:49:51,616 INFO  L220              CDTParser]: Created temporary CDT project at /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/39709f950/2946daeb6c8f444ea440475d5055924c/FLAG35e487569
[2020-12-23 14:49:52,996 INFO  L306              CDTParser]: Found 1 translation units.
[2020-12-23 14:49:52,997 INFO  L160              CDTParser]: Scanning /storage/repos/ultimate-bitabs/releaseScripts/default/sv-benchmarks/c/ldv-commit-tester/main0_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa.i
[2020-12-23 14:49:53,071 INFO  L349              CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/39709f950/2946daeb6c8f444ea440475d5055924c/FLAG35e487569
[2020-12-23 14:49:53,187 INFO  L357              CDTParser]: Successfully deleted /storage/repos/ultimate-bitabs/releaseScripts/default/UAutomizer-linux/data/39709f950/2946daeb6c8f444ea440475d5055924c
[2020-12-23 14:49:53,191 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2020-12-23 14:49:53,194 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2020-12-23 14:49:53,199 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2020-12-23 14:49:53,199 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2020-12-23 14:49:53,204 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2020-12-23 14:49:53,205 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 23.12 02:49:53" (1/1) ...
[2020-12-23 14:49:53,208 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7487dd60 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 02:49:53, skipping insertion in model container
[2020-12-23 14:49:53,208 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 23.12 02:49:53" (1/1) ...
[2020-12-23 14:49:53,217 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2020-12-23 14:49:53,456 INFO  L178         MainTranslator]: Built tables and reachable declarations
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[~actual~0,<LOCAL,usb_make_path>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[80],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[96],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[124],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[172],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[164],StructAccessExpression[IdentifierExpression[~urb,<LOCAL,usb_fill_bulk_urb>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~0,<LOCAL,kmalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~0,<LOCAL,kzalloc>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~1,<LOCAL,video_get_drvdata>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~2,<LOCAL,video_is_registered>]
left hand side expression in assignment: lhs: VariableLHS[~i~0,<LOCAL,get_audio_std>]
left hand side expression in assignment: lhs: VariableLHS[~i~0,<LOCAL,get_audio_std>]
left hand side expression in assignment: lhs: VariableLHS[~front~0,<LOCAL,vidioc_querycap>]
left hand side expression in assignment: lhs: VariableLHS[~p~0,<LOCAL,vidioc_querycap>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~cap,<LOCAL,vidioc_querycap>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[80],StructAccessExpression[IdentifierExpression[~cap,<LOCAL,vidioc_querycap>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~cap,<LOCAL,vidioc_querycap>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[84],StructAccessExpression[IdentifierExpression[~cap,<LOCAL,vidioc_querycap>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~1,<LOCAL,init_copy>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[72],StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[76],StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~3,<LOCAL,init_copy>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~video,<LOCAL,init_copy>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem156,<LOCAL,init_copy>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[#t~mem156,<LOCAL,init_copy>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~vb~0,<LOCAL,get_frame>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~4,<LOCAL,get_frame>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~0,<LOCAL,get_frame>]
left hand side expression in assignment: lhs: VariableLHS[~vb~0,<LOCAL,get_frame>]
left hand side expression in assignment: address: IdentifierExpression[~need_init,<LOCAL,get_frame>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front,<LOCAL,get_frame>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[590],StructAccessExpression[IdentifierExpression[~front,<LOCAL,get_frame>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~need_init~0,<LOCAL,get_video_frame>]
left hand side expression in assignment: lhs: VariableLHS[~ret~0,<LOCAL,get_video_frame>]
left hand side expression in assignment: lhs: VariableLHS[~ret~0,<LOCAL,get_video_frame>]
left hand side expression in assignment: lhs: VariableLHS[~vb~1,<LOCAL,submit_frame>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front,<LOCAL,submit_frame>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[590],StructAccessExpression[IdentifierExpression[~front,<LOCAL,submit_frame>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb~1,<LOCAL,submit_frame>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~vb~1,<LOCAL,submit_frame>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb~1,<LOCAL,submit_frame>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[152],StructAccessExpression[IdentifierExpression[~vb~1,<LOCAL,submit_frame>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[72],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__len~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~__ret~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~src,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~count,<LOCAL,copy_video_data>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[76],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[72],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~__len___0~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~__ret___0~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~src,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~count,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~__len___1~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~__ret___1~0,<LOCAL,copy_video_data>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[76],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~video,<LOCAL,copy_video_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~vbi~0,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~offset~0,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~offset~0,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~buf~0,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~5,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~field_num~0,<LOCAL,check_trailer>]
left hand side expression in assignment: lhs: VariableLHS[~front~2,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~0,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~6,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~buf~1,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~buf~1,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~__len~1,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: lhs: VariableLHS[~__ret~1,<LOCAL,copy_vbi_data>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi,<LOCAL,copy_vbi_data>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~vbi,<LOCAL,copy_vbi_data>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~vbi~1,<LOCAL,copy_vbi_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~vbi_delta~0,<LOCAL,copy_vbi_video_data>]
left hand side expression in assignment: lhs: VariableLHS[~front~3,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~video~0,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~src~0,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~count~0,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~ret~1,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~7,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~1,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~1,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~ret~1,<LOCAL,urb_complete_bulk>]
left hand side expression in assignment: lhs: VariableLHS[~pkt~0,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~ret~2,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~8,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~tail,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~head,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~pkt~0,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~bubble_err,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~head,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~tail,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~head,<LOCAL,get_chunk>]
left hand side expression in assignment: address: IdentifierExpression[~tail,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~start,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~ret~2,<LOCAL,get_chunk>]
left hand side expression in assignment: lhs: VariableLHS[~front~4,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~video~1,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~bubble_err~0,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~head~0,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~tail~0,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~src~1,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~9,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~2,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~0,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~head~0,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~ret~3,<LOCAL,urb_complete_iso>]
left hand side expression in assignment: lhs: VariableLHS[~udev~0,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: lhs: VariableLHS[~i~1,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: lhs: VariableLHS[~urb~0,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,IntegerLiteral[89],StructAccessExpression[IdentifierExpression[~video,<LOCAL,prepare_iso_urb>],offset]],BinaryExpression[ARITHMUL,IntegerLiteral[8],IdentifierExpression[~i~1,<LOCAL,prepare_iso_urb>]]]]]
left hand side expression in assignment: lhs: VariableLHS[~mem~0,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[172],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[164],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~10,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[80],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[156],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[92],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[152],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[96],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[124],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~j~0,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,IntegerLiteral[180],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]],BinaryExpression[ARITHMUL,IntegerLiteral[16],IdentifierExpression[~j~0,<LOCAL,prepare_iso_urb>]]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],BinaryExpression[ARITHPLUS,BinaryExpression[ARITHPLUS,IntegerLiteral[180],StructAccessExpression[IdentifierExpression[~urb~0,<LOCAL,prepare_iso_urb>],offset]],BinaryExpression[ARITHMUL,IntegerLiteral[16],IdentifierExpression[~j~0,<LOCAL,prepare_iso_urb>]]]]]]
left hand side expression in assignment: lhs: VariableLHS[~j~0,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: lhs: VariableLHS[~i~1,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: lhs: VariableLHS[~i~1,<LOCAL,prepare_iso_urb>]
left hand side expression in assignment: lhs: VariableLHS[~i~2,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~11,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: lhs: VariableLHS[~urb~1,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: lhs: VariableLHS[~mem~1,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~3,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb~1,<LOCAL,alloc_bulk_urbs_generic>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[92],StructAccessExpression[IdentifierExpression[~urb~1,<LOCAL,alloc_bulk_urbs_generic>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb_array,<LOCAL,alloc_bulk_urbs_generic>],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~urb_array,<LOCAL,alloc_bulk_urbs_generic>],offset],BinaryExpression[ARITHMUL,IntegerLiteral[8],IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~2,<LOCAL,alloc_bulk_urbs_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~2,<LOCAL,alloc_bulk_urbs_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~2,<LOCAL,alloc_bulk_urbs_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]]]]]]
left hand side expression in assignment: lhs: VariableLHS[~i~2,<LOCAL,alloc_bulk_urbs_generic>]
left hand side expression in assignment: lhs: VariableLHS[~i~3,<LOCAL,free_all_urb_generic>]
left hand side expression in assignment: lhs: VariableLHS[~urb~2,<LOCAL,free_all_urb_generic>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~urb_array,<LOCAL,free_all_urb_generic>],base],BinaryExpression[ARITHPLUS,StructAccessExpression[IdentifierExpression[~urb_array,<LOCAL,free_all_urb_generic>],offset],BinaryExpression[ARITHMUL,IntegerLiteral[8],IfThenElseExpression[BinaryExpression[COMPLEQ,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~3,<LOCAL,free_all_urb_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[9223372036854775807]],BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~3,<LOCAL,free_all_urb_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],BinaryExpression[ARITHMINUS,BinaryExpression[ARITHMOD,BinaryExpression[ARITHMOD,IdentifierExpression[~i~3,<LOCAL,free_all_urb_generic>],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]],IntegerLiteral[18446744073709551616]]]]]]]
left hand side expression in assignment: lhs: VariableLHS[~i~3,<LOCAL,free_all_urb_generic>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_release>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~5,<LOCAL,pd_buf_queue>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_queue>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_queue>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~6,<LOCAL,pd_buf_prepare>]
left hand side expression in assignment: lhs: VariableLHS[~pix~0,<LOCAL,pd_buf_prepare>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[12],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~rc~0,<LOCAL,pd_buf_prepare>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~rc~0,<LOCAL,pd_buf_prepare>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~vb,<LOCAL,pd_buf_prepare>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,fire_all_urb>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[177],StructAccessExpression[IdentifierExpression[~video,<LOCAL,fire_all_urb>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~i~4,<LOCAL,fire_all_urb>]
left hand side expression in assignment: lhs: VariableLHS[~ret~4,<LOCAL,fire_all_urb>]
left hand side expression in assignment: lhs: VariableLHS[~i~4,<LOCAL,fire_all_urb>]
left hand side expression in assignment: lhs: VariableLHS[~video~2,<LOCAL,start_video_stream>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~0,<LOCAL,start_video_stream>],counter]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~2,<LOCAL,start_video_stream>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[185],StructAccessExpression[IdentifierExpression[~video~2,<LOCAL,start_video_stream>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~2,<LOCAL,start_video_stream>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[209],StructAccessExpression[IdentifierExpression[~video~2,<LOCAL,start_video_stream>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~7,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: lhs: VariableLHS[~pd~0,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: lhs: VariableLHS[~video~3,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: lhs: VariableLHS[~pix~1,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: IdentifierExpression[~size,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: IdentifierExpression[~count,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[88],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[153],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem330,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[#t~mem330,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[161],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[80],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[84],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[169],StructAccessExpression[IdentifierExpression[~video~3,<LOCAL,pd_buf_setup>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~12,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: lhs: VariableLHS[~vbi~2,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: IdentifierExpression[~size,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: IdentifierExpression[~count,<LOCAL,pd_buf_setup>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_enum_fmt>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~8,<LOCAL,vidioc_g_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~pd~1,<LOCAL,vidioc_g_fmt>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_g_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~f,<LOCAL,vidioc_g_fmt>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~video~4,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~context~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~ret~5,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~cmd_status~1,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~vid_resol~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~vid_resol~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~ret~5,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~vid_resol~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~vid_resol~0,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],base],StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],offset]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~13,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~ret~5,<LOCAL,pd_vidioc_s_fmt>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],base],StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~pix_def~0,<LOCAL,pd_vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: address: IdentifierExpression[~pix,<LOCAL,pd_vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~front~9,<LOCAL,vidioc_s_fmt>]
left hand side expression in assignment: lhs: VariableLHS[~pd~2,<LOCAL,vidioc_s_fmt>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~2,<LOCAL,vidioc_s_fmt>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3502],StructAccessExpression[IdentifierExpression[~pd~2,<LOCAL,vidioc_s_fmt>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~10,<LOCAL,vidioc_g_fmt_vbi>]
left hand side expression in assignment: lhs: VariableLHS[~pd~3,<LOCAL,vidioc_g_fmt_vbi>]
left hand side expression in assignment: lhs: VariableLHS[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[12],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[28],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[24],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[28],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~vbi_fmt~0,<LOCAL,vidioc_g_fmt_vbi>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~video~5,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~vbi~3,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~ret~6,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~i~5,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~param~0,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~i~5,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~ret~6,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~context~1,<LOCAL,set_std>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context~1,<LOCAL,set_std>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~context~1,<LOCAL,set_std>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi~3,<LOCAL,set_std>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[28],StructAccessExpression[IdentifierExpression[~vbi~3,<LOCAL,set_std>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~height~0,<LOCAL,set_std>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi~3,<LOCAL,set_std>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[28],StructAccessExpression[IdentifierExpression[~vbi~3,<LOCAL,set_std>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~height~0,<LOCAL,set_std>]
left hand side expression in assignment: lhs: VariableLHS[~pix~2,<LOCAL,set_std>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix~2,<LOCAL,set_std>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~pix~2,<LOCAL,set_std>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pix~2,<LOCAL,set_std>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~pix~2,<LOCAL,set_std>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~11,<LOCAL,vidioc_s_std>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~14,<LOCAL,vidioc_s_std>]
left hand side expression in assignment: lhs: VariableLHS[~front~12,<LOCAL,vidioc_enum_input>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[56],StructAccessExpression[IdentifierExpression[~in,<LOCAL,vidioc_enum_input>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~13,<LOCAL,vidioc_g_input>]
left hand side expression in assignment: lhs: VariableLHS[~pd~4,<LOCAL,vidioc_g_input>]
left hand side expression in assignment: lhs: VariableLHS[~context~2,<LOCAL,vidioc_g_input>]
left hand side expression in assignment: address: IdentifierExpression[~i,<LOCAL,vidioc_g_input>]
left hand side expression in assignment: lhs: VariableLHS[~front~14,<LOCAL,vidioc_s_input>]
left hand side expression in assignment: lhs: VariableLHS[~pd~5,<LOCAL,vidioc_s_input>]
left hand side expression in assignment: lhs: VariableLHS[~ret~7,<LOCAL,vidioc_s_input>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~5,<LOCAL,vidioc_s_input>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[508],StructAccessExpression[IdentifierExpression[~pd~5,<LOCAL,vidioc_s_input>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~control~0,<LOCAL,check_control_id>]
left hand side expression in assignment: lhs: VariableLHS[~array_size~0,<LOCAL,check_control_id>]
left hand side expression in assignment: lhs: VariableLHS[~control~0,<LOCAL,check_control_id>]
left hand side expression in assignment: lhs: VariableLHS[~control~1,<LOCAL,vidioc_queryctrl>]
left hand side expression in assignment: lhs: VariableLHS[~control~1,<LOCAL,vidioc_queryctrl>]
left hand side expression in assignment: address: IdentifierExpression[~a,<LOCAL,vidioc_queryctrl>]
left hand side expression in assignment: lhs: VariableLHS[~front~15,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~pd~6,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~control~2,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~ret~8,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~control~2,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~ret~8,<LOCAL,vidioc_g_ctrl>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~ctrl,<LOCAL,vidioc_g_ctrl>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~ctrl,<LOCAL,vidioc_g_ctrl>],offset]]]]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~param~1,<LOCAL,vidioc_s_ctrl>],param_id]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~param~1,<LOCAL,vidioc_s_ctrl>],param_value]
left hand side expression in assignment: lhs: VariableLHS[~control~3,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~front~16,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~pd~7,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~ret~9,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~control~3,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~param~1,<LOCAL,vidioc_s_ctrl>],param_value]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~param~1,<LOCAL,vidioc_s_ctrl>],param_id]
left hand side expression in assignment: lhs: VariableLHS[~params~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~ret~9,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~ret~9,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~__x~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~15,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~4,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___0~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~1,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___1~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~1,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___2~0,<LOCAL,vidioc_s_ctrl>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_enumaudio>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_enumaudio>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_enumaudio>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_enumaudio>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],base],StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~a,<LOCAL,vidioc_g_audio>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~17,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~pd~8,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~count~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~ret~10,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~__x~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~16,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~5,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___0~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~2,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___1~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~2,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___2~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~ret~10,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~0,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~count~1,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[60],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[44],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[40],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~index~0,<LOCAL,vidioc_g_tuner>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[52],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[56],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[64],StructAccessExpression[IdentifierExpression[~tuner,<LOCAL,vidioc_g_tuner>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~11,<LOCAL,pd_vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~param~2,<LOCAL,pd_vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~ret~11,<LOCAL,pd_vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~audiomode~0,<LOCAL,pd_vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~17,<LOCAL,pd_vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~ret~11,<LOCAL,pd_vidioc_s_tuner>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd,<LOCAL,pd_vidioc_s_tuner>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[496],StructAccessExpression[IdentifierExpression[~pd,<LOCAL,pd_vidioc_s_tuner>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~18,<LOCAL,vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~pd~9,<LOCAL,vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~index~1,<LOCAL,vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~18,<LOCAL,vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~index~1,<LOCAL,vidioc_s_tuner>]
left hand side expression in assignment: lhs: VariableLHS[~front~19,<LOCAL,vidioc_g_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~pd~10,<LOCAL,vidioc_g_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~context~3,<LOCAL,vidioc_g_frequency>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~freq,<LOCAL,vidioc_g_frequency>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~freq,<LOCAL,vidioc_g_frequency>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~freq,<LOCAL,vidioc_g_frequency>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~freq,<LOCAL,vidioc_g_frequency>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~12,<LOCAL,set_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~context~4,<LOCAL,set_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~param~3,<LOCAL,set_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~ret~12,<LOCAL,set_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~ret~12,<LOCAL,set_frequency>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context~4,<LOCAL,set_frequency>],base],StructAccessExpression[IdentifierExpression[~context~4,<LOCAL,set_frequency>],offset]]]
left hand side expression in assignment: lhs: VariableLHS[~front~20,<LOCAL,vidioc_s_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~pd~11,<LOCAL,vidioc_s_frequency>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~11,<LOCAL,vidioc_s_frequency>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3510],StructAccessExpression[IdentifierExpression[~pd~11,<LOCAL,vidioc_s_frequency>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~11,<LOCAL,vidioc_s_frequency>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3518],StructAccessExpression[IdentifierExpression[~pd~11,<LOCAL,vidioc_s_frequency>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~19,<LOCAL,vidioc_s_frequency>]
left hand side expression in assignment: lhs: VariableLHS[~front~21,<LOCAL,vidioc_reqbufs>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~20,<LOCAL,vidioc_reqbufs>]
left hand side expression in assignment: lhs: VariableLHS[~front~22,<LOCAL,vidioc_querybuf>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~21,<LOCAL,vidioc_querybuf>]
left hand side expression in assignment: lhs: VariableLHS[~front~23,<LOCAL,vidioc_qbuf>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~22,<LOCAL,vidioc_qbuf>]
left hand side expression in assignment: lhs: VariableLHS[~front~24,<LOCAL,vidioc_dqbuf>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~23,<LOCAL,vidioc_dqbuf>]
left hand side expression in assignment: lhs: VariableLHS[~pd~12,<LOCAL,usb_transfer_stop>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video,<LOCAL,usb_transfer_stop>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[177],StructAccessExpression[IdentifierExpression[~video,<LOCAL,usb_transfer_stop>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~i~6,<LOCAL,usb_transfer_stop>]
left hand side expression in assignment: lhs: VariableLHS[~i~6,<LOCAL,usb_transfer_stop>]
left hand side expression in assignment: lhs: VariableLHS[~video~6,<LOCAL,stop_all_video_stream>]
left hand side expression in assignment: lhs: VariableLHS[~vbi~4,<LOCAL,stop_all_video_stream>]
left hand side expression in assignment: lhs: VariableLHS[~front~25,<LOCAL,stop_all_video_stream>]
left hand side expression in assignment: lhs: VariableLHS[~front~25,<LOCAL,stop_all_video_stream>]
left hand side expression in assignment: lhs: VariableLHS[~__mptr~1,<LOCAL,iso_bubble_handler>]
left hand side expression in assignment: lhs: VariableLHS[~video~7,<LOCAL,iso_bubble_handler>]
left hand side expression in assignment: lhs: VariableLHS[~pd~13,<LOCAL,iso_bubble_handler>]
left hand side expression in assignment: lhs: VariableLHS[~front~26,<LOCAL,vidioc_streamon>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~24,<LOCAL,vidioc_streamon>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~6,<LOCAL,vidioc_streamon>]
left hand side expression in assignment: lhs: VariableLHS[~front~27,<LOCAL,vidioc_streamoff>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~25,<LOCAL,vidioc_streamoff>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~7,<LOCAL,vidioc_streamoff>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~__x~2,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~26,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr~2,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~8,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___0~2,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~3,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___1~2,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~3,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~__ptr___2~2,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___3~1,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___4~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___5~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___6~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___7~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___8~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~audiomode~1,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___9~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___10~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~tmp___11~0,<LOCAL,pd_video_checkmode>]
left hand side expression in assignment: lhs: VariableLHS[~ret~13,<LOCAL,pd_video_checkmode>]
----Is the binary operator a bitwise operator? true
left hand side expression in assignment: lhs: VariableLHS[~front~28,<LOCAL,restore_v4l2_context>]
left hand side expression in assignment: lhs: VariableLHS[~video~8,<LOCAL,pm_video_resume>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1193],StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1193],StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1193],StructAccessExpression[IdentifierExpression[~vfd,<LOCAL,set_debug_mode>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[16],StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],offset]]]]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],width]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],height]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],pixelformat]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],field]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],bytesperline]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],sizeimage]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],colorspace]
left hand side expression in assignment: lhs: StructLHS[VariableLHS[~__constr_expr_0~1,<LOCAL,init_video_context>],priv]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~context,<LOCAL,init_video_context>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp~27,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~vfd~0,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___0~9,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~pd~14,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~front~29,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~tmp___1~4,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~front~29,<LOCAL,pd_video_open>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[480],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,pd_video_open>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3498],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],base],StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[665],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~tmp___2~4,<LOCAL,pd_video_open>]
left hand side expression in assignment: lhs: VariableLHS[~front~29,<LOCAL,pd_video_open>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3498],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],base],StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],offset]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[761],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[777],StructAccessExpression[IdentifierExpression[~pd~14,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~14,<LOCAL,pd_video_open>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[678],StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[590],StructAccessExpression[IdentifierExpression[~front~29,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~file,<LOCAL,pd_video_open>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[276],StructAccessExpression[IdentifierExpression[~file,<LOCAL,pd_video_open>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~30,<LOCAL,pd_video_release>]
left hand side expression in assignment: lhs: VariableLHS[~pd~15,<LOCAL,pd_video_release>]
left hand side expression in assignment: lhs: VariableLHS[~cmd_status~11,<LOCAL,pd_video_release>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3498],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3502],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[665],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[3498],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[761],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[777],StructAccessExpression[IdentifierExpression[~pd~15,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~file,<LOCAL,pd_video_release>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[276],StructAccessExpression[IdentifierExpression[~file,<LOCAL,pd_video_release>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~front~31,<LOCAL,pd_video_mmap>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~28,<LOCAL,pd_video_mmap>]
left hand side expression in assignment: lhs: VariableLHS[~front~32,<LOCAL,pd_video_poll>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~29,<LOCAL,pd_video_poll>]
left hand side expression in assignment: lhs: VariableLHS[~front~33,<LOCAL,pd_video_read>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~30,<LOCAL,pd_video_read>]
left hand side expression in assignment: lhs: VariableLHS[~vfd~1,<LOCAL,vdev_init>]
left hand side expression in assignment: address: IdentifierExpression[~vfd~1,<LOCAL,vdev_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1095],StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1043],StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[1213],StructAccessExpression[IdentifierExpression[~vfd~1,<LOCAL,vdev_init>],offset]]]]
left hand side expression in assignment: lhs: VariableLHS[~dev~0,<LOCAL,destroy_video_device>]
left hand side expression in assignment: lhs: VariableLHS[~tmp~31,<LOCAL,destroy_video_device>]
left hand side expression in assignment: address: IdentifierExpression[~v_dev,<LOCAL,destroy_video_device>]
left hand side expression in assignment: lhs: VariableLHS[~video~9,<LOCAL,pd_video_exit>]
left hand side expression in assignment: lhs: VariableLHS[~vbi~5,<LOCAL,pd_video_exit>]
left hand side expression in assignment: lhs: VariableLHS[~video~10,<LOCAL,pd_video_init>]
left hand side expression in assignment: lhs: VariableLHS[~vbi~6,<LOCAL,pd_video_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,pd_video_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~video~10,<LOCAL,pd_video_init>],base],StructAccessExpression[IdentifierExpression[~video~10,<LOCAL,pd_video_init>],offset]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,pd_video_init>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~vbi~6,<LOCAL,pd_video_init>],base],StructAccessExpression[IdentifierExpression[~vbi~6,<LOCAL,pd_video_init>],offset]]]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,pd_video_init>]
left hand side expression in assignment: lhs: VariableLHS[~ret~15,<LOCAL,pd_video_init>]
left hand side expression in assignment: lhs: VariableLHS[~var_group1~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~int_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_buf_setup_24_p1~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~int_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_buf_setup_24_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_group2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_buf_prepare_21_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_group3~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~res_pd_video_open_64~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~char_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_video_read_68_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_video_read_68_p2~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~loff_t_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_video_read_68_p3~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_pd_video_poll_67_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_group4~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_querycap_1_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_querycap_1_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_fmt_26_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_fmt_26_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enum_fmt_25_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enum_fmt_25_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_fmt_29_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_fmt_29_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_fmt_vbi_30_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_fmt_vbi_30_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_try_fmt_27_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_try_fmt_27_p2~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~int_p3~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_input_34_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_input_34_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_input_35_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_input_35_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enum_input_33_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enum_input_33_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enumaudio_40_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_enumaudio_40_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_audio_41_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_audio_41_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_audio_42_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_audio_42_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_tuner_43_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_tuner_43_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_tuner_45_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_tuner_45_p2~0,<LOCAL,main>]
left hand side expression in assignment: address: IdentifierExpression[~v4l2_std_id_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_std_32_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_std_32_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_frequency_46_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_frequency_46_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_frequency_48_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_frequency_48_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_reqbufs_49_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_reqbufs_49_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_querybuf_50_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_querybuf_50_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_qbuf_51_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_qbuf_51_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_dqbuf_52_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_dqbuf_52_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_streamon_56_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_streamon_56_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_streamoff_57_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_streamoff_57_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_queryctrl_37_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_queryctrl_37_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_ctrl_38_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_g_ctrl_38_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_ctrl_39_p1~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~var_vidioc_s_ctrl_39_p2~0,<LOCAL,main>]
left hand side expression in assignment: lhs: VariableLHS[~ldv_s_pd_video_fops_v4l2_file_operations~0,<LOCAL,main>]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[8],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[12],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[20],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[32],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[36],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[56],StructAccessExpression[IdentifierExpression[~videobuf_buffer_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~file_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[276],StructAccessExpression[IdentifierExpression[~file_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~v4l2_capability_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[80],StructAccessExpression[IdentifierExpression[~v4l2_capability_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~v4l2_capability_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[84],StructAccessExpression[IdentifierExpression[~v4l2_capability_p1~0,<LOCAL,main>],offset]]]]
left hand side expression in assignment: address: StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[~v4l2_format_p1~0,<LOCAL,main>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[4],StructAccessExpression[IdentifierExpression[~v4l2_format_p1~0,<LOCAL,main>],offset]]]]
[2020-12-23 14:49:55,788 ERROR L326         MainTranslator]: Unsupported Syntax: we need to generalize this to nested and/or variable length arrays
[2020-12-23 14:49:55,792 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@14ec5838 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 23.12 02:49:55, skipping insertion in model container
[2020-12-23 14:49:55,793 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2020-12-23 14:49:55,793 INFO  L184        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
[2020-12-23 14:49:55,797 INFO  L168              Benchmark]: Toolchain (without parser) took 2601.03 ms. Allocated memory is still 167.8 MB. Free memory was 127.0 MB in the beginning and 62.7 MB in the end (delta: 64.3 MB). Peak memory consumption was 63.9 MB. Max. memory is 8.0 GB.
[2020-12-23 14:49:55,798 INFO  L168              Benchmark]: CDTParser took 0.23 ms. Allocated memory is still 167.8 MB. Free memory was 138.7 MB in the beginning and 138.6 MB in the end (delta: 108.5 kB). There was no memory consumed. Max. memory is 8.0 GB.
[2020-12-23 14:49:55,799 INFO  L168              Benchmark]: CACSL2BoogieTranslator took 2594.38 ms. Allocated memory is still 167.8 MB. Free memory was 126.8 MB in the beginning and 62.7 MB in the end (delta: 64.1 MB). Peak memory consumption was 63.9 MB. Max. memory is 8.0 GB.
[2020-12-23 14:49:55,801 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.23 ms. Allocated memory is still 167.8 MB. Free memory was 138.7 MB in the beginning and 138.6 MB in the end (delta: 108.5 kB). There was no memory consumed. Max. memory is 8.0 GB.
 * CACSL2BoogieTranslator took 2594.38 ms. Allocated memory is still 167.8 MB. Free memory was 126.8 MB in the beginning and 62.7 MB in the end (delta: 64.1 MB). Peak memory consumption was 63.9 MB. Max. memory is 8.0 GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator:
  - UnsupportedSyntaxResult [Line: 7920]: Unsupported Syntax
    we need to generalize this to nested and/or variable length arrays
RESULT: Ultimate could not prove your program: Toolchain returned no result.
Received shutdown request...