/usr/bin/java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --traceabstraction.trace.refinement.strategy FIXED_PREFERENCES --cacsl2boogietranslator.allow.undefined.functions true --traceabstraction.smt.solver External_ModelsAndUnsatCoreMode --traceabstraction.command.for.external.solver 'z3 -smt2 -in SMTLIB2_COMPLIANT=true' -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Bitvector.epf -i ../../../trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i -------------------------------------------------------------------------------- This is Ultimate 0.2.5-dev-356b6ba-m [2024-11-01 02:46:43,804 INFO L188 SettingsManager]: Resetting all preferences to default values... [2024-11-01 02:46:43,891 INFO L114 SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Bitvector.epf [2024-11-01 02:46:43,899 WARN L101 SettingsManager]: Preference file contains the following unknown settings: [2024-11-01 02:46:43,899 WARN L103 SettingsManager]: * de.uni_freiburg.informatik.ultimate.core.Log level for class [2024-11-01 02:46:43,933 INFO L130 SettingsManager]: Preferences different from defaults after loading the file: [2024-11-01 02:46:43,934 INFO L151 SettingsManager]: Preferences of UltimateCore differ from their defaults: [2024-11-01 02:46:43,934 INFO L153 SettingsManager]: * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR; [2024-11-01 02:46:43,934 INFO L151 SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults: [2024-11-01 02:46:43,935 INFO L153 SettingsManager]: * Use memory slicer=true [2024-11-01 02:46:43,936 INFO L151 SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults: [2024-11-01 02:46:43,936 INFO L153 SettingsManager]: * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS [2024-11-01 02:46:43,937 INFO L151 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2024-11-01 02:46:43,939 INFO L153 SettingsManager]: * Create parallel compositions if possible=false [2024-11-01 02:46:43,939 INFO L153 SettingsManager]: * Use SBE=true [2024-11-01 02:46:43,939 INFO L151 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2024-11-01 02:46:43,940 INFO L153 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2024-11-01 02:46:43,940 INFO L153 SettingsManager]: * Check division by zero=IGNORE [2024-11-01 02:46:43,940 INFO L153 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2024-11-01 02:46:43,941 INFO L153 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2024-11-01 02:46:43,941 INFO L153 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2024-11-01 02:46:43,941 INFO L153 SettingsManager]: * Adapt memory model on pointer casts if necessary=true [2024-11-01 02:46:43,942 INFO L153 SettingsManager]: * Use bitvectors instead of ints=true [2024-11-01 02:46:43,942 INFO L153 SettingsManager]: * Allow undefined functions=false [2024-11-01 02:46:43,942 INFO L153 SettingsManager]: * Memory model=HoenickeLindenmann_4ByteResolution [2024-11-01 02:46:43,942 INFO L153 SettingsManager]: * Check if freed pointer was valid=false [2024-11-01 02:46:43,943 INFO L153 SettingsManager]: * Use constant arrays=true [2024-11-01 02:46:43,943 INFO L151 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2024-11-01 02:46:43,944 INFO L153 SettingsManager]: * Size of a code block=SequenceOfStatements [2024-11-01 02:46:43,944 INFO L153 SettingsManager]: * Only consider context switches at boundaries of atomic blocks=true [2024-11-01 02:46:43,945 INFO L153 SettingsManager]: * SMT solver=External_DefaultMode [2024-11-01 02:46:43,945 INFO L153 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000 [2024-11-01 02:46:43,945 INFO L151 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2024-11-01 02:46:43,945 INFO L153 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2024-11-01 02:46:43,946 INFO L153 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopHeads [2024-11-01 02:46:43,946 INFO L153 SettingsManager]: * Trace refinement strategy=WOLF [2024-11-01 02:46:43,947 INFO L153 SettingsManager]: * Command for external solver=cvc4 --incremental --print-success --lang smt [2024-11-01 02:46:43,947 INFO L153 SettingsManager]: * Apply one-shot large block encoding in concurrent analysis=false [2024-11-01 02:46:43,947 INFO L153 SettingsManager]: * Automaton type used in concurrency analysis=PETRI_NET [2024-11-01 02:46:43,948 INFO L153 SettingsManager]: * Order on configurations for Petri net unfoldings=DBO [2024-11-01 02:46:43,948 INFO L153 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2024-11-01 02:46:43,948 INFO L153 SettingsManager]: * Logic for external solver=AUFBV [2024-11-01 02:46:43,948 INFO L153 SettingsManager]: * Looper check in Petri net analysis=SEMANTIC WARNING: An illegal reflective access operation has occurred WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/storage/repos/ultimate/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 Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: Trace refinement strategy -> FIXED_PREFERENCES Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Allow undefined functions -> true Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMT solver -> External_ModelsAndUnsatCoreMode Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: Command for external solver -> z3 -smt2 -in SMTLIB2_COMPLIANT=true [2024-11-01 02:46:44,282 INFO L75 nceAwareModelManager]: Repository-Root is: /tmp [2024-11-01 02:46:44,306 INFO L261 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2024-11-01 02:46:44,311 INFO L217 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2024-11-01 02:46:44,312 INFO L270 PluginConnector]: Initializing CDTParser... [2024-11-01 02:46:44,312 INFO L274 PluginConnector]: CDTParser initialized [2024-11-01 02:46:44,313 INFO L431 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i [2024-11-01 02:46:45,888 INFO L533 CDTParser]: Created temporary CDT project at NULL [2024-11-01 02:46:46,530 INFO L384 CDTParser]: Found 1 translation units. [2024-11-01 02:46:46,530 INFO L180 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i [2024-11-01 02:46:46,595 INFO L427 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/0ae3f4e06/8289684ddedd407a8939232d4a62d6f9/FLAG9c8b7bd06 [2024-11-01 02:46:46,614 INFO L435 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/0ae3f4e06/8289684ddedd407a8939232d4a62d6f9 [2024-11-01 02:46:46,620 INFO L299 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2024-11-01 02:46:46,623 INFO L133 ToolchainWalker]: Walking toolchain with 5 elements. [2024-11-01 02:46:46,625 INFO L112 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2024-11-01 02:46:46,625 INFO L270 PluginConnector]: Initializing CACSL2BoogieTranslator... [2024-11-01 02:46:46,631 INFO L274 PluginConnector]: CACSL2BoogieTranslator initialized [2024-11-01 02:46:46,632 INFO L184 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 01.11 02:46:46" (1/1) ... [2024-11-01 02:46:46,633 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@67fe49ad and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.11 02:46:46, skipping insertion in model container [2024-11-01 02:46:46,633 INFO L184 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 01.11 02:46:46" (1/1) ... [2024-11-01 02:46:46,791 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-11-01 02:46:47,685 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i[81795,81808] [2024-11-01 02:46:48,000 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,001 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,005 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,010 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,011 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,012 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,019 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,020 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,021 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,022 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,483 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,487 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,811 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,831 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,831 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,832 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,842 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,913 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,915 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,925 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,927 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,991 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:48,996 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,029 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,066 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,067 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,100 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,101 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,101 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,101 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,101 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,102 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,204 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,205 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,325 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,327 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,342 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,342 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,347 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,347 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,348 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,375 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,404 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,412 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,414 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,607 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,660 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,709 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,718 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,725 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,736 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,749 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,806 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,974 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,987 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:49,988 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,085 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,087 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,087 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,094 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,095 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,099 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,099 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,103 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,104 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,229 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,230 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,238 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,238 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,246 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,246 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,248 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,249 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,253 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,253 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,254 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,254 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,433 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,444 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,445 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,446 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,446 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,447 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,447 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,448 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,449 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,456 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,457 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,458 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,458 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,459 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,562 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,585 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,590 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,677 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,694 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,694 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,781 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:50,782 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-11-01 02:46:50,921 INFO L197 MainTranslator]: Restarting translation with changed settings: SettingsChange [mNewPreferredMemoryModel=HoenickeLindenmann_1ByteResolution] [2024-11-01 02:46:51,020 INFO L175 MainTranslator]: Built tables and reachable declarations [2024-11-01 02:46:51,075 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i[81795,81808] [2024-11-01 02:46:51,081 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,082 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,082 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,083 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,083 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,083 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,085 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,085 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,085 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,085 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,091 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,092 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,101 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,104 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,104 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,104 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,105 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,112 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,113 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,114 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,115 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,122 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,123 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,127 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,135 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,136 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,136 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,137 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,137 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,137 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,137 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,137 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,143 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,143 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,154 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,155 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,158 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,159 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,161 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,161 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,162 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,175 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,181 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,185 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,186 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,201 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,207 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,214 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,214 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,215 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,218 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,230 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,254 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,277 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,285 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,286 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,298 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,299 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,299 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,301 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,302 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,303 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,303 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,305 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,305 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,314 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,315 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,316 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,316 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,319 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,319 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,321 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,321 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,324 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,324 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,324 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,324 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,404 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,409 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,410 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,410 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,410 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,411 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,411 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,411 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,412 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,418 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,418 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,419 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,420 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,420 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,427 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,431 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,431 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,437 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,440 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,440 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,446 WARN L1053 CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model [2024-11-01 02:46:51,447 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-11-01 02:46:51,524 INFO L200 MainTranslator]: Completed pre-run [2024-11-01 02:46:51,584 WARN L251 ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/trunk/examples/svcomp/ldv-validator-v0.6/linux-torvalds-645ef9e-32_7a-sound--oss--sound.ko-entry_point.cil.out.i[81795,81808] [2024-11-01 02:46:51,595 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack)); [3343] [2024-11-01 02:46:51,597 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3346] [2024-11-01 02:46:51,598 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3349] [2024-11-01 02:46:51,598 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3352] [2024-11-01 02:46:51,602 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3487] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3490] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3492] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3497] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3500] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3502] [2024-11-01 02:46:51,603 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3507] [2024-11-01 02:46:51,604 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3510] [2024-11-01 02:46:51,604 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3512] [2024-11-01 02:46:51,604 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3517] [2024-11-01 02:46:51,604 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3520] [2024-11-01 02:46:51,604 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3522] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3535] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3538] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3540] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3545] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3548] [2024-11-01 02:46:51,605 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3550] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3555] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3558] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3560] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3565] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3568] [2024-11-01 02:46:51,606 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3570] [2024-11-01 02:46:51,607 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3583] [2024-11-01 02:46:51,607 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3586] [2024-11-01 02:46:51,607 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3588] [2024-11-01 02:46:51,607 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3593] [2024-11-01 02:46:51,607 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3596] [2024-11-01 02:46:51,608 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3598] [2024-11-01 02:46:51,609 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3603] [2024-11-01 02:46:51,609 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3606] [2024-11-01 02:46:51,609 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3608] [2024-11-01 02:46:51,609 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3613] [2024-11-01 02:46:51,609 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3616] [2024-11-01 02:46:51,610 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3618] [2024-11-01 02:46:51,610 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3631] [2024-11-01 02:46:51,610 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3634] [2024-11-01 02:46:51,610 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3636] [2024-11-01 02:46:51,610 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3641] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3644] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3646] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3651] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3654] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3656] [2024-11-01 02:46:51,611 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3661] [2024-11-01 02:46:51,612 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3664] [2024-11-01 02:46:51,612 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3666] [2024-11-01 02:46:51,613 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("661:\n\tcall %P4\n662:\n.section .altinstructions,\"a\"\n .balign 8 \n .quad 661b\n .quad 663f\n\t .word (3*32+16)\n\t .byte 662b-661b\n\t .byte 664f-663f\n.previous\n.section .discard,\"aw\",@progbits\n\t .byte 0xff + (664f-663f) - (662b-661b)\n.previous\n.section .altinstr_replacement, \"ax\"\n663:\n\tcall %P5\n664:\n.previous": "=a" (ret), "=D" (to), "=S" (from), "=d" (len): [old] "i" (& copy_user_generic_unrolled), [new] "i" (& copy_user_generic_string), "1" (to), "2" (from), "3" (len): "memory", "rcx", "r8", "r9", "r10", "r11"); [3709-3712] [2024-11-01 02:46:51,614 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=q" (*((u8 *)dst)): "m" (*((struct __large_struct *)src)), "i" (1), "0" (ret)); [3740-3742] [2024-11-01 02:46:51,614 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u16 *)dst)): "m" (*((struct __large_struct *)src)), "i" (2), "0" (ret)); [3745-3747] [2024-11-01 02:46:51,614 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u32 *)dst)): "m" (*((struct __large_struct *)src)), "i" (4), "0" (ret)); [3750-3752] [2024-11-01 02:46:51,615 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (8), "0" (ret)); [3755-3757] [2024-11-01 02:46:51,615 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (10), "0" (ret)); [3760-3762] [2024-11-01 02:46:51,615 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u16 *)dst + 8U)): "m" (*((struct __large_struct *)src + 8U)), "i" (2), "0" (ret)); [3768-3770] [2024-11-01 02:46:51,615 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (16), "0" (ret)); [3773-3775] [2024-11-01 02:46:51,616 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst + 8U)): "m" (*((struct __large_struct *)src + 8U)), "i" (8), "0" (ret)); [3781-3783] [2024-11-01 02:46:51,616 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "iq" (*((u8 *)src)), "m" (*((struct __large_struct *)dst)), "i" (1), "0" (ret)); [3805-3806] [2024-11-01 02:46:51,616 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u16 *)src)), "m" (*((struct __large_struct *)dst)), "i" (2), "0" (ret)); [3809-3810] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u32 *)src)), "m" (*((struct __large_struct *)dst)), "i" (4), "0" (ret)); [3813-3814] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (8), "0" (ret)); [3817-3818] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (10), "0" (ret)); [3821-3822] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [3828] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u16 *)src + 4UL)), "m" (*((struct __large_struct *)dst + 4U)), "i" (2), "0" (ret)); [3829-3830] [2024-11-01 02:46:51,617 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (16), "0" (ret)); [3833-3834] [2024-11-01 02:46:51,618 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [3840] [2024-11-01 02:46:51,618 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src + 1UL)), "m" (*((struct __large_struct *)dst + 1U)), "i" (8), "0" (ret)); [3841-3842] [2024-11-01 02:46:51,622 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3979-3981] [2024-11-01 02:46:51,623 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3984-3986] [2024-11-01 02:46:51,623 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3989-3991] [2024-11-01 02:46:51,623 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3994-3996] [2024-11-01 02:46:51,637 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("add %3,%1 ; sbb %0,%0 ; cmp %1,%4 ; sbb $0,%0": "=&r" (flag), "=r" (roksum): "1" (p), "g" ((long )len), "rm" (tmp___0->addr_limit.seg)); [4280-4281] [2024-11-01 02:46:51,637 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("add %3,%1 ; sbb %0,%0 ; cmp %1,%4 ; sbb $0,%0": "=&r" (flag___0), "=r" (roksum___0): "1" (p), "g" ((long )len), "rm" (tmp___2->addr_limit.seg)); [4291-4292] [2024-11-01 02:46:51,638 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "iq" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4306-4307] [2024-11-01 02:46:51,638 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4310-4311] [2024-11-01 02:46:51,638 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4314-4315] [2024-11-01 02:46:51,638 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "er" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4318-4319] [2024-11-01 02:46:51,662 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5319] [2024-11-01 02:46:51,662 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5322] [2024-11-01 02:46:51,662 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5324] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5329] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5332] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5334] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5339] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5342] [2024-11-01 02:46:51,663 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5344] [2024-11-01 02:46:51,664 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5349] [2024-11-01 02:46:51,664 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5352] [2024-11-01 02:46:51,664 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5354] [2024-11-01 02:46:51,664 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5367] [2024-11-01 02:46:51,664 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5370] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5372] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5377] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5380] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5382] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5387] [2024-11-01 02:46:51,665 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5390] [2024-11-01 02:46:51,666 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5392] [2024-11-01 02:46:51,666 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5397] [2024-11-01 02:46:51,666 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5400] [2024-11-01 02:46:51,666 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5402] [2024-11-01 02:46:51,666 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5415] [2024-11-01 02:46:51,667 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5418] [2024-11-01 02:46:51,667 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5420] [2024-11-01 02:46:51,667 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5425] [2024-11-01 02:46:51,667 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5428] [2024-11-01 02:46:51,667 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5430] [2024-11-01 02:46:51,668 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5435] [2024-11-01 02:46:51,668 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5438] [2024-11-01 02:46:51,668 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5440] [2024-11-01 02:46:51,669 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5445] [2024-11-01 02:46:51,669 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5448] [2024-11-01 02:46:51,669 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5450] [2024-11-01 02:46:51,669 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5463] [2024-11-01 02:46:51,670 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5466] [2024-11-01 02:46:51,670 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5468] [2024-11-01 02:46:51,670 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5473] [2024-11-01 02:46:51,670 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5476] [2024-11-01 02:46:51,670 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5478] [2024-11-01 02:46:51,671 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5483] [2024-11-01 02:46:51,671 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5486] [2024-11-01 02:46:51,671 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5488] [2024-11-01 02:46:51,671 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5493] [2024-11-01 02:46:51,671 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5496] [2024-11-01 02:46:51,672 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5498] [2024-11-01 02:46:51,691 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6136] [2024-11-01 02:46:51,691 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6139] [2024-11-01 02:46:51,692 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6142] [2024-11-01 02:46:51,692 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6145] [2024-11-01 02:46:51,692 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6148] [2024-11-01 02:46:51,695 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6210] [2024-11-01 02:46:51,695 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6213] [2024-11-01 02:46:51,695 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6216] [2024-11-01 02:46:51,695 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6219] [2024-11-01 02:46:51,695 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6222] [2024-11-01 02:46:51,696 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6240] [2024-11-01 02:46:51,696 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6243] [2024-11-01 02:46:51,696 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6246] [2024-11-01 02:46:51,696 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6249] [2024-11-01 02:46:51,754 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6252] [2024-11-01 02:46:51,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6272] [2024-11-01 02:46:51,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6275] [2024-11-01 02:46:51,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6278] [2024-11-01 02:46:51,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6281] [2024-11-01 02:46:51,756 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6284] [2024-11-01 02:46:51,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6314] [2024-11-01 02:46:51,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6317] [2024-11-01 02:46:51,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6320] [2024-11-01 02:46:51,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6323] [2024-11-01 02:46:51,758 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6326] [2024-11-01 02:46:51,760 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6381] [2024-11-01 02:46:51,760 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6384] [2024-11-01 02:46:51,760 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6387] [2024-11-01 02:46:51,760 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6390] [2024-11-01 02:46:51,760 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6393] [2024-11-01 02:46:51,768 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6664] [2024-11-01 02:46:51,768 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6667] [2024-11-01 02:46:51,768 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6670] [2024-11-01 02:46:51,768 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6673] [2024-11-01 02:46:51,769 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6676] [2024-11-01 02:46:51,774 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6771] [2024-11-01 02:46:51,774 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6774] [2024-11-01 02:46:51,774 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6777] [2024-11-01 02:46:51,775 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6780] [2024-11-01 02:46:51,775 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6783] [2024-11-01 02:46:51,781 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6965] [2024-11-01 02:46:51,782 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6968] [2024-11-01 02:46:51,782 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6971] [2024-11-01 02:46:51,782 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6974] [2024-11-01 02:46:51,782 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6977] [2024-11-01 02:46:51,784 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7022] [2024-11-01 02:46:51,784 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7025] [2024-11-01 02:46:51,784 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7028] [2024-11-01 02:46:51,784 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7031] [2024-11-01 02:46:51,784 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7034] [2024-11-01 02:46:51,786 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [7073] [2024-11-01 02:46:51,786 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr)); [7080] [2024-11-01 02:46:51,786 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)), "Ir" (nr)); [7088-7089] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [7101] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7104] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7107] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7110] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack)); [7129] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7132] [2024-11-01 02:46:51,787 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7135] [2024-11-01 02:46:51,788 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7138] [2024-11-01 02:46:51,790 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port)); [7194] [2024-11-01 02:46:51,790 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port)); [7202] [2024-11-01 02:46:51,873 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9712] [2024-11-01 02:46:51,873 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9715] [2024-11-01 02:46:51,873 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9718] [2024-11-01 02:46:51,873 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9721] [2024-11-01 02:46:51,873 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9724] [2024-11-01 02:46:51,894 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10439] [2024-11-01 02:46:51,894 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10442] [2024-11-01 02:46:51,895 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10445] [2024-11-01 02:46:51,895 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10448] [2024-11-01 02:46:51,895 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10451] [2024-11-01 02:46:51,895 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10470] [2024-11-01 02:46:51,895 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10473] [2024-11-01 02:46:51,896 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10476] [2024-11-01 02:46:51,896 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10479] [2024-11-01 02:46:51,896 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10482] [2024-11-01 02:46:51,948 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12217] [2024-11-01 02:46:51,948 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12220] [2024-11-01 02:46:51,948 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12223] [2024-11-01 02:46:51,948 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12226] [2024-11-01 02:46:51,949 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12229] [2024-11-01 02:46:51,949 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12276-12278] [2024-11-01 02:46:51,950 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12281-12283] [2024-11-01 02:46:51,950 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12286-12288] [2024-11-01 02:46:51,950 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12291-12293] [2024-11-01 02:46:51,951 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12351] [2024-11-01 02:46:51,952 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12354] [2024-11-01 02:46:51,952 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12357] [2024-11-01 02:46:51,952 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12360] [2024-11-01 02:46:51,952 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12363] [2024-11-01 02:46:51,953 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12384] [2024-11-01 02:46:51,953 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12387] [2024-11-01 02:46:51,953 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12390] [2024-11-01 02:46:51,953 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12393] [2024-11-01 02:46:51,953 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12396] [2024-11-01 02:46:51,955 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12425] [2024-11-01 02:46:51,955 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12428] [2024-11-01 02:46:51,955 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12431] [2024-11-01 02:46:51,956 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12434] [2024-11-01 02:46:51,956 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12437] [2024-11-01 02:46:51,956 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12460] [2024-11-01 02:46:51,957 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12463] [2024-11-01 02:46:51,957 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12466] [2024-11-01 02:46:51,957 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12469] [2024-11-01 02:46:51,957 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12472] [2024-11-01 02:46:51,958 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12495] [2024-11-01 02:46:51,958 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12498] [2024-11-01 02:46:51,958 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12501] [2024-11-01 02:46:51,958 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12504] [2024-11-01 02:46:51,959 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12507] [2024-11-01 02:46:51,960 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12530] [2024-11-01 02:46:51,960 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12533] [2024-11-01 02:46:51,961 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12536] [2024-11-01 02:46:51,961 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12539] [2024-11-01 02:46:51,961 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12542] [2024-11-01 02:46:51,963 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12585] [2024-11-01 02:46:51,963 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12588] [2024-11-01 02:46:51,963 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12591] [2024-11-01 02:46:51,963 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12594] [2024-11-01 02:46:51,963 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12597] [2024-11-01 02:46:51,964 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12617] [2024-11-01 02:46:51,964 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12620] [2024-11-01 02:46:51,964 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12623] [2024-11-01 02:46:51,965 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12626] [2024-11-01 02:46:51,965 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12629] [2024-11-01 02:46:51,965 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12652] [2024-11-01 02:46:51,966 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12655] [2024-11-01 02:46:51,966 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12658] [2024-11-01 02:46:51,966 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12661] [2024-11-01 02:46:51,966 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12664] [2024-11-01 02:46:51,967 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12706] [2024-11-01 02:46:51,968 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12709] [2024-11-01 02:46:51,968 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12712] [2024-11-01 02:46:51,968 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12715] [2024-11-01 02:46:51,968 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12718] [2024-11-01 02:46:51,977 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13125] [2024-11-01 02:46:51,977 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13128] [2024-11-01 02:46:51,977 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13131] [2024-11-01 02:46:51,977 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13134] [2024-11-01 02:46:51,977 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13137] [2024-11-01 02:46:51,978 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13164] [2024-11-01 02:46:51,978 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13167] [2024-11-01 02:46:51,978 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13170] [2024-11-01 02:46:51,978 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13173] [2024-11-01 02:46:51,978 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13176] [2024-11-01 02:46:51,979 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13208] [2024-11-01 02:46:51,979 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13211] [2024-11-01 02:46:51,979 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13214] [2024-11-01 02:46:51,979 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13217] [2024-11-01 02:46:51,979 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13220] [2024-11-01 02:46:51,980 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13247] [2024-11-01 02:46:51,980 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13250] [2024-11-01 02:46:51,980 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13253] [2024-11-01 02:46:51,980 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13256] [2024-11-01 02:46:51,980 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13259] [2024-11-01 02:46:51,992 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "iq" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13687-13688] [2024-11-01 02:46:51,992 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13691-13692] [2024-11-01 02:46:51,992 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13695-13696] [2024-11-01 02:46:51,993 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "er" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13699-13700] [2024-11-01 02:46:51,993 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13721-13723] [2024-11-01 02:46:51,993 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13726-13728] [2024-11-01 02:46:51,993 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13731-13733] [2024-11-01 02:46:51,993 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13736-13738] [2024-11-01 02:46:51,994 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "iq" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13765-13766] [2024-11-01 02:46:51,994 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "ir" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13769-13770] [2024-11-01 02:46:51,994 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "ir" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13773-13774] [2024-11-01 02:46:51,994 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "er" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13777-13778] [2024-11-01 02:46:51,994 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=q" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13789-13791] [2024-11-01 02:46:51,995 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13794-13796] [2024-11-01 02:46:51,995 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13799-13801] [2024-11-01 02:46:51,995 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13804-13806] [2024-11-01 02:46:51,995 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "iq" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13838-13839] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "ir" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13842-13843] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "ir" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13846-13847] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "er" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13850-13851] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=q" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13862-13864] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13867-13869] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13872-13874] [2024-11-01 02:46:51,996 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13877-13879] [2024-11-01 02:46:51,997 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "iq" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13899-13900] [2024-11-01 02:46:51,997 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "ir" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13903-13904] [2024-11-01 02:46:51,997 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "ir" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13907-13908] [2024-11-01 02:46:51,997 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "er" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13911-13912] [2024-11-01 02:46:51,998 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "iq" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13923-13924] [2024-11-01 02:46:51,998 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "ir" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13927-13928] [2024-11-01 02:46:51,998 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "ir" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13931-13932] [2024-11-01 02:46:51,998 WARN L75 lationResultReporter]: Unsoundness Warning: Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "er" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13935-13936] [2024-11-01 02:46:52,006 INFO L210 PostProcessor]: Analyzing one entry point: main [2024-11-01 02:46:52,334 ERROR L321 MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __bad_size_call_parameter, __get_user_bad, __put_user_bad, __bad_percpu_size [2024-11-01 02:46:52,335 INFO L204 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@22a03c7b and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.11 02:46:52, skipping insertion in model container [2024-11-01 02:46:52,335 INFO L131 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2024-11-01 02:46:52,335 INFO L186 ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [2024-11-01 02:46:52,338 INFO L158 Benchmark]: Toolchain (without parser) took 5713.49ms. Allocated memory was 185.6MB in the beginning and 434.1MB in the end (delta: 248.5MB). Free memory was 125.4MB in the beginning and 232.0MB in the end (delta: -106.7MB). Peak memory consumption was 162.8MB. Max. memory is 8.0GB. [2024-11-01 02:46:52,339 INFO L158 Benchmark]: CDTParser took 0.13ms. Allocated memory is still 185.6MB. Free memory is still 161.6MB. There was no memory consumed. Max. memory is 8.0GB. [2024-11-01 02:46:52,339 INFO L158 Benchmark]: CACSL2BoogieTranslator took 5709.93ms. Allocated memory was 185.6MB in the beginning and 434.1MB in the end (delta: 248.5MB). Free memory was 124.8MB in the beginning and 232.0MB in the end (delta: -107.2MB). Peak memory consumption was 162.8MB. Max. memory is 8.0GB. [2024-11-01 02:46:52,340 INFO L338 ainManager$Toolchain]: ####################### End [Toolchain 1] ####################### --- Results --- * Results from de.uni_freiburg.informatik.ultimate.core: - StatisticsResult: Toolchain Benchmarks Benchmark results are: * CDTParser took 0.13ms. Allocated memory is still 185.6MB. Free memory is still 161.6MB. There was no memory consumed. Max. memory is 8.0GB. * CACSL2BoogieTranslator took 5709.93ms. Allocated memory was 185.6MB in the beginning and 434.1MB in the end (delta: 248.5MB). Free memory was 124.8MB in the beginning and 232.0MB in the end (delta: -107.2MB). Peak memory consumption was 162.8MB. Max. memory is 8.0GB. * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: - GenericResultAtLocation [Line: 3343]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack)); [3343] - GenericResultAtLocation [Line: 3346]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3346] - GenericResultAtLocation [Line: 3349]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3349] - GenericResultAtLocation [Line: 3352]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [3352] - GenericResultAtLocation [Line: 3487]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3487] - GenericResultAtLocation [Line: 3490]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3490] - GenericResultAtLocation [Line: 3492]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3492] - GenericResultAtLocation [Line: 3497]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3497] - GenericResultAtLocation [Line: 3500]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3500] - GenericResultAtLocation [Line: 3502]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3502] - GenericResultAtLocation [Line: 3507]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3507] - GenericResultAtLocation [Line: 3510]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3510] - GenericResultAtLocation [Line: 3512]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3512] - GenericResultAtLocation [Line: 3517]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3517] - GenericResultAtLocation [Line: 3520]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3520] - GenericResultAtLocation [Line: 3522]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3522] - GenericResultAtLocation [Line: 3535]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3535] - GenericResultAtLocation [Line: 3538]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3538] - GenericResultAtLocation [Line: 3540]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3540] - GenericResultAtLocation [Line: 3545]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3545] - GenericResultAtLocation [Line: 3548]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3548] - GenericResultAtLocation [Line: 3550]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3550] - GenericResultAtLocation [Line: 3555]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3555] - GenericResultAtLocation [Line: 3558]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3558] - GenericResultAtLocation [Line: 3560]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3560] - GenericResultAtLocation [Line: 3565]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3565] - GenericResultAtLocation [Line: 3568]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3568] - GenericResultAtLocation [Line: 3570]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3570] - GenericResultAtLocation [Line: 3583]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3583] - GenericResultAtLocation [Line: 3586]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3586] - GenericResultAtLocation [Line: 3588]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3588] - GenericResultAtLocation [Line: 3593]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3593] - GenericResultAtLocation [Line: 3596]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3596] - GenericResultAtLocation [Line: 3598]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3598] - GenericResultAtLocation [Line: 3603]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3603] - GenericResultAtLocation [Line: 3606]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3606] - GenericResultAtLocation [Line: 3608]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3608] - GenericResultAtLocation [Line: 3613]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3613] - GenericResultAtLocation [Line: 3616]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3616] - GenericResultAtLocation [Line: 3618]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3618] - GenericResultAtLocation [Line: 3631]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [3631] - GenericResultAtLocation [Line: 3634]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [3634] - GenericResultAtLocation [Line: 3636]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [3636] - GenericResultAtLocation [Line: 3641]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [3641] - GenericResultAtLocation [Line: 3644]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [3644] - GenericResultAtLocation [Line: 3646]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3646] - GenericResultAtLocation [Line: 3651]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [3651] - GenericResultAtLocation [Line: 3654]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [3654] - GenericResultAtLocation [Line: 3656]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [3656] - GenericResultAtLocation [Line: 3661]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [3661] - GenericResultAtLocation [Line: 3664]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [3664] - GenericResultAtLocation [Line: 3666]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [3666] - GenericResultAtLocation [Line: 3709]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("661:\n\tcall %P4\n662:\n.section .altinstructions,\"a\"\n .balign 8 \n .quad 661b\n .quad 663f\n\t .word (3*32+16)\n\t .byte 662b-661b\n\t .byte 664f-663f\n.previous\n.section .discard,\"aw\",@progbits\n\t .byte 0xff + (664f-663f) - (662b-661b)\n.previous\n.section .altinstr_replacement, \"ax\"\n663:\n\tcall %P5\n664:\n.previous": "=a" (ret), "=D" (to), "=S" (from), "=d" (len): [old] "i" (& copy_user_generic_unrolled), [new] "i" (& copy_user_generic_string), "1" (to), "2" (from), "3" (len): "memory", "rcx", "r8", "r9", "r10", "r11"); [3709-3712] - GenericResultAtLocation [Line: 3740]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=q" (*((u8 *)dst)): "m" (*((struct __large_struct *)src)), "i" (1), "0" (ret)); [3740-3742] - GenericResultAtLocation [Line: 3745]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u16 *)dst)): "m" (*((struct __large_struct *)src)), "i" (2), "0" (ret)); [3745-3747] - GenericResultAtLocation [Line: 3750]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u32 *)dst)): "m" (*((struct __large_struct *)src)), "i" (4), "0" (ret)); [3750-3752] - GenericResultAtLocation [Line: 3755]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (8), "0" (ret)); [3755-3757] - GenericResultAtLocation [Line: 3760]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (10), "0" (ret)); [3760-3762] - GenericResultAtLocation [Line: 3768]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u16 *)dst + 8U)): "m" (*((struct __large_struct *)src + 8U)), "i" (2), "0" (ret)); [3768-3770] - GenericResultAtLocation [Line: 3773]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst)): "m" (*((struct __large_struct *)src)), "i" (16), "0" (ret)); [3773-3775] - GenericResultAtLocation [Line: 3781]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret), "=r" (*((u64 *)dst + 8U)): "m" (*((struct __large_struct *)src + 8U)), "i" (8), "0" (ret)); [3781-3783] - GenericResultAtLocation [Line: 3805]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "iq" (*((u8 *)src)), "m" (*((struct __large_struct *)dst)), "i" (1), "0" (ret)); [3805-3806] - GenericResultAtLocation [Line: 3809]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u16 *)src)), "m" (*((struct __large_struct *)dst)), "i" (2), "0" (ret)); [3809-3810] - GenericResultAtLocation [Line: 3813]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u32 *)src)), "m" (*((struct __large_struct *)dst)), "i" (4), "0" (ret)); [3813-3814] - GenericResultAtLocation [Line: 3817]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (8), "0" (ret)); [3817-3818] - GenericResultAtLocation [Line: 3821]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (10), "0" (ret)); [3821-3822] - GenericResultAtLocation [Line: 3828]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [3828] - GenericResultAtLocation [Line: 3829]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "ir" (*((u16 *)src + 4UL)), "m" (*((struct __large_struct *)dst + 4U)), "i" (2), "0" (ret)); [3829-3830] - GenericResultAtLocation [Line: 3833]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src)), "m" (*((struct __large_struct *)dst)), "i" (16), "0" (ret)); [3833-3834] - GenericResultAtLocation [Line: 3840]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("": : : "memory"); [3840] - GenericResultAtLocation [Line: 3841]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (ret): "er" (*((u64 *)src + 1UL)), "m" (*((struct __large_struct *)dst + 1U)), "i" (8), "0" (ret)); [3841-3842] - GenericResultAtLocation [Line: 3979]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3979-3981] - GenericResultAtLocation [Line: 3984]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3984-3986] - GenericResultAtLocation [Line: 3989]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3989-3991] - GenericResultAtLocation [Line: 3994]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)(& ((mixer_vol_table *)arg)->num))), "i" (-14), "0" (__gu_err)); [3994-3996] - GenericResultAtLocation [Line: 4280]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("add %3,%1 ; sbb %0,%0 ; cmp %1,%4 ; sbb $0,%0": "=&r" (flag), "=r" (roksum): "1" (p), "g" ((long )len), "rm" (tmp___0->addr_limit.seg)); [4280-4281] - GenericResultAtLocation [Line: 4291]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("add %3,%1 ; sbb %0,%0 ; cmp %1,%4 ; sbb $0,%0": "=&r" (flag___0), "=r" (roksum___0): "1" (p), "g" ((long )len), "rm" (tmp___2->addr_limit.seg)); [4291-4292] - GenericResultAtLocation [Line: 4306]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "iq" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4306-4307] - GenericResultAtLocation [Line: 4310]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4310-4311] - GenericResultAtLocation [Line: 4314]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4314-4315] - GenericResultAtLocation [Line: 4318]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "er" (198658), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [4318-4319] - GenericResultAtLocation [Line: 5319]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5319] - GenericResultAtLocation [Line: 5322]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5322] - GenericResultAtLocation [Line: 5324]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5324] - GenericResultAtLocation [Line: 5329]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5329] - GenericResultAtLocation [Line: 5332]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5332] - GenericResultAtLocation [Line: 5334]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5334] - GenericResultAtLocation [Line: 5339]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5339] - GenericResultAtLocation [Line: 5342]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5342] - GenericResultAtLocation [Line: 5344]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5344] - GenericResultAtLocation [Line: 5349]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5349] - GenericResultAtLocation [Line: 5352]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5352] - GenericResultAtLocation [Line: 5354]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5354] - GenericResultAtLocation [Line: 5367]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5367] - GenericResultAtLocation [Line: 5370]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5370] - GenericResultAtLocation [Line: 5372]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5372] - GenericResultAtLocation [Line: 5377]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5377] - GenericResultAtLocation [Line: 5380]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5380] - GenericResultAtLocation [Line: 5382]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5382] - GenericResultAtLocation [Line: 5387]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5387] - GenericResultAtLocation [Line: 5390]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5390] - GenericResultAtLocation [Line: 5392]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5392] - GenericResultAtLocation [Line: 5397]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5397] - GenericResultAtLocation [Line: 5400]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5400] - GenericResultAtLocation [Line: 5402]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5402] - GenericResultAtLocation [Line: 5415]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5415] - GenericResultAtLocation [Line: 5418]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5418] - GenericResultAtLocation [Line: 5420]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5420] - GenericResultAtLocation [Line: 5425]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5425] - GenericResultAtLocation [Line: 5428]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5428] - GenericResultAtLocation [Line: 5430]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5430] - GenericResultAtLocation [Line: 5435]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5435] - GenericResultAtLocation [Line: 5438]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5438] - GenericResultAtLocation [Line: 5440]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5440] - GenericResultAtLocation [Line: 5445]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5445] - GenericResultAtLocation [Line: 5448]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5448] - GenericResultAtLocation [Line: 5450]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5450] - GenericResultAtLocation [Line: 5463]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incb %%gs:%P0": "+m" ((module->refptr)->incs)); [5463] - GenericResultAtLocation [Line: 5466]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decb %%gs:%P0": "+m" ((module->refptr)->incs)); [5466] - GenericResultAtLocation [Line: 5468]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addb %1, %%gs:%P0": "+m" ((module->refptr)->incs): "qi" (1U)); [5468] - GenericResultAtLocation [Line: 5473]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incw %%gs:%P0": "+m" ((module->refptr)->incs)); [5473] - GenericResultAtLocation [Line: 5476]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decw %%gs:%P0": "+m" ((module->refptr)->incs)); [5476] - GenericResultAtLocation [Line: 5478]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addw %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5478] - GenericResultAtLocation [Line: 5483]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incl %%gs:%P0": "+m" ((module->refptr)->incs)); [5483] - GenericResultAtLocation [Line: 5486]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decl %%gs:%P0": "+m" ((module->refptr)->incs)); [5486] - GenericResultAtLocation [Line: 5488]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addl %1, %%gs:%P0": "+m" ((module->refptr)->incs): "ri" (1U)); [5488] - GenericResultAtLocation [Line: 5493]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("incq %%gs:%P0": "+m" ((module->refptr)->incs)); [5493] - GenericResultAtLocation [Line: 5496]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("decq %%gs:%P0": "+m" ((module->refptr)->incs)); [5496] - GenericResultAtLocation [Line: 5498]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("addq %1, %%gs:%P0": "+m" ((module->refptr)->incs): "re" (1U)); [5498] - GenericResultAtLocation [Line: 6136]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6136] - GenericResultAtLocation [Line: 6139]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6139] - GenericResultAtLocation [Line: 6142]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6142] - GenericResultAtLocation [Line: 6145]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6145] - GenericResultAtLocation [Line: 6148]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [6148] - GenericResultAtLocation [Line: 6210]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6210] - GenericResultAtLocation [Line: 6213]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6213] - GenericResultAtLocation [Line: 6216]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6216] - GenericResultAtLocation [Line: 6219]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6219] - GenericResultAtLocation [Line: 6222]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [6222] - GenericResultAtLocation [Line: 6240]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6240] - GenericResultAtLocation [Line: 6243]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6243] - GenericResultAtLocation [Line: 6246]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6246] - GenericResultAtLocation [Line: 6249]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6249] - GenericResultAtLocation [Line: 6252]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [6252] - GenericResultAtLocation [Line: 6272]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6272] - GenericResultAtLocation [Line: 6275]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6275] - GenericResultAtLocation [Line: 6278]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6278] - GenericResultAtLocation [Line: 6281]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6281] - GenericResultAtLocation [Line: 6284]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [6284] - GenericResultAtLocation [Line: 6314]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6314] - GenericResultAtLocation [Line: 6317]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6317] - GenericResultAtLocation [Line: 6320]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6320] - GenericResultAtLocation [Line: 6323]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6323] - GenericResultAtLocation [Line: 6326]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [6326] - GenericResultAtLocation [Line: 6381]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6381] - GenericResultAtLocation [Line: 6384]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6384] - GenericResultAtLocation [Line: 6387]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6387] - GenericResultAtLocation [Line: 6390]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6390] - GenericResultAtLocation [Line: 6393]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [6393] - GenericResultAtLocation [Line: 6664]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6664] - GenericResultAtLocation [Line: 6667]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6667] - GenericResultAtLocation [Line: 6670]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6670] - GenericResultAtLocation [Line: 6673]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6673] - GenericResultAtLocation [Line: 6676]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [6676] - GenericResultAtLocation [Line: 6771]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6771] - GenericResultAtLocation [Line: 6774]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6774] - GenericResultAtLocation [Line: 6777]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6777] - GenericResultAtLocation [Line: 6780]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6780] - GenericResultAtLocation [Line: 6783]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" ((int *)arg)); [6783] - GenericResultAtLocation [Line: 6965]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6965] - GenericResultAtLocation [Line: 6968]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6968] - GenericResultAtLocation [Line: 6971]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6971] - GenericResultAtLocation [Line: 6974]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6974] - GenericResultAtLocation [Line: 6977]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" ((int *)arg)); [6977] - GenericResultAtLocation [Line: 7022]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7022] - GenericResultAtLocation [Line: 7025]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7025] - GenericResultAtLocation [Line: 7028]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7028] - GenericResultAtLocation [Line: 7031]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7031] - GenericResultAtLocation [Line: 7034]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [7034] - GenericResultAtLocation [Line: 7073]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory"); [7073] - GenericResultAtLocation [Line: 7080]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr)); [7080] - GenericResultAtLocation [Line: 7088]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)), "Ir" (nr)); [7088-7089] - GenericResultAtLocation [Line: 7101]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); [7101] - GenericResultAtLocation [Line: 7104]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7104] - GenericResultAtLocation [Line: 7107]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7107] - GenericResultAtLocation [Line: 7110]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); [7110] - GenericResultAtLocation [Line: 7129]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack)); [7129] - GenericResultAtLocation [Line: 7132]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7132] - GenericResultAtLocation [Line: 7135]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7135] - GenericResultAtLocation [Line: 7138]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); [7138] - GenericResultAtLocation [Line: 7194]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port)); [7194] - GenericResultAtLocation [Line: 7202]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port)); [7202] - GenericResultAtLocation [Line: 9712]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9712] - GenericResultAtLocation [Line: 9715]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9715] - GenericResultAtLocation [Line: 9718]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9718] - GenericResultAtLocation [Line: 9721]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9721] - GenericResultAtLocation [Line: 9724]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((unsigned char *)(addr + ((unsigned long )hdr_size + (unsigned long )i)))); [9724] - GenericResultAtLocation [Line: 10439]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10439] - GenericResultAtLocation [Line: 10442]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10442] - GenericResultAtLocation [Line: 10445]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10445] - GenericResultAtLocation [Line: 10448]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10448] - GenericResultAtLocation [Line: 10451]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" ((int *)arg)); [10451] - GenericResultAtLocation [Line: 10470]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10470] - GenericResultAtLocation [Line: 10473]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10473] - GenericResultAtLocation [Line: 10476]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10476] - GenericResultAtLocation [Line: 10479]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10479] - GenericResultAtLocation [Line: 10482]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" ((int *)arg): "ebx"); [10482] - GenericResultAtLocation [Line: 12217]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12217] - GenericResultAtLocation [Line: 12220]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12220] - GenericResultAtLocation [Line: 12223]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12223] - GenericResultAtLocation [Line: 12226]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12226] - GenericResultAtLocation [Line: 12229]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [12229] - GenericResultAtLocation [Line: 12276]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12276-12278] - GenericResultAtLocation [Line: 12281]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12281-12283] - GenericResultAtLocation [Line: 12286]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12286-12288] - GenericResultAtLocation [Line: 12291]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [12291-12293] - GenericResultAtLocation [Line: 12351]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12351] - GenericResultAtLocation [Line: 12354]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12354] - GenericResultAtLocation [Line: 12357]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12357] - GenericResultAtLocation [Line: 12360]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12360] - GenericResultAtLocation [Line: 12363]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [12363] - GenericResultAtLocation [Line: 12384]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12384] - GenericResultAtLocation [Line: 12387]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12387] - GenericResultAtLocation [Line: 12390]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12390] - GenericResultAtLocation [Line: 12393]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12393] - GenericResultAtLocation [Line: 12396]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [12396] - GenericResultAtLocation [Line: 12425]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12425] - GenericResultAtLocation [Line: 12428]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12428] - GenericResultAtLocation [Line: 12431]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12431] - GenericResultAtLocation [Line: 12434]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12434] - GenericResultAtLocation [Line: 12437]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___2), "=d" (__val_gu___2): "0" (p)); [12437] - GenericResultAtLocation [Line: 12460]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12460] - GenericResultAtLocation [Line: 12463]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12463] - GenericResultAtLocation [Line: 12466]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12466] - GenericResultAtLocation [Line: 12469]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12469] - GenericResultAtLocation [Line: 12472]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___3), "=d" (__val_gu___3): "0" (p)); [12472] - GenericResultAtLocation [Line: 12495]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12495] - GenericResultAtLocation [Line: 12498]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12498] - GenericResultAtLocation [Line: 12501]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12501] - GenericResultAtLocation [Line: 12504]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12504] - GenericResultAtLocation [Line: 12507]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___4), "=d" (__val_gu___4): "0" (& ((struct synth_info *)arg)->device)); [12507] - GenericResultAtLocation [Line: 12530]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12530] - GenericResultAtLocation [Line: 12533]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12533] - GenericResultAtLocation [Line: 12536]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12536] - GenericResultAtLocation [Line: 12539]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12539] - GenericResultAtLocation [Line: 12542]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___5), "=d" (__val_gu___5): "0" (& ((struct synth_info *)arg)->device)); [12542] - GenericResultAtLocation [Line: 12585]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12585] - GenericResultAtLocation [Line: 12588]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12588] - GenericResultAtLocation [Line: 12591]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12591] - GenericResultAtLocation [Line: 12594]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12594] - GenericResultAtLocation [Line: 12597]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___6), "=d" (__val_gu___6): "0" (& ((struct midi_info *)arg)->device)); [12597] - GenericResultAtLocation [Line: 12617]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12617] - GenericResultAtLocation [Line: 12620]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12620] - GenericResultAtLocation [Line: 12623]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12623] - GenericResultAtLocation [Line: 12626]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12626] - GenericResultAtLocation [Line: 12629]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___7), "=d" (__val_gu___7): "0" (p)); [12629] - GenericResultAtLocation [Line: 12652]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12652] - GenericResultAtLocation [Line: 12655]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12655] - GenericResultAtLocation [Line: 12658]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12658] - GenericResultAtLocation [Line: 12661]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12661] - GenericResultAtLocation [Line: 12664]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___8), "=d" (__val_gu___8): "0" (p)); [12664] - GenericResultAtLocation [Line: 12706]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12706] - GenericResultAtLocation [Line: 12709]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12709] - GenericResultAtLocation [Line: 12712]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12712] - GenericResultAtLocation [Line: 12715]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12715] - GenericResultAtLocation [Line: 12718]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [12718] - GenericResultAtLocation [Line: 13125]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13125] - GenericResultAtLocation [Line: 13128]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13128] - GenericResultAtLocation [Line: 13131]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13131] - GenericResultAtLocation [Line: 13134]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13134] - GenericResultAtLocation [Line: 13137]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu), "=d" (__val_gu): "0" (p)); [13137] - GenericResultAtLocation [Line: 13164]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13164] - GenericResultAtLocation [Line: 13167]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13167] - GenericResultAtLocation [Line: 13170]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13170] - GenericResultAtLocation [Line: 13173]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13173] - GenericResultAtLocation [Line: 13176]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___0), "=d" (__val_gu___0): "0" (p)); [13176] - GenericResultAtLocation [Line: 13208]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_1": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13208] - GenericResultAtLocation [Line: 13211]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_2": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13211] - GenericResultAtLocation [Line: 13214]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_4": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13214] - GenericResultAtLocation [Line: 13217]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_8": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13217] - GenericResultAtLocation [Line: 13220]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __get_user_X": "=a" (__ret_gu___1), "=d" (__val_gu___1): "0" (p)); [13220] - GenericResultAtLocation [Line: 13247]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_1": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13247] - GenericResultAtLocation [Line: 13250]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_2": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13250] - GenericResultAtLocation [Line: 13253]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_4": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13253] - GenericResultAtLocation [Line: 13256]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_8": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13256] - GenericResultAtLocation [Line: 13259]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("call __put_user_X": "=a" (__ret_pu): "0" (__pu_val), "c" (p): "ebx"); [13259] - GenericResultAtLocation [Line: 13687]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "iq" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13687-13688] - GenericResultAtLocation [Line: 13691]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13691-13692] - GenericResultAtLocation [Line: 13695]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "ir" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13695-13696] - GenericResultAtLocation [Line: 13699]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err): "er" (1), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err)); [13699-13700] - GenericResultAtLocation [Line: 13721]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=q" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13721-13723] - GenericResultAtLocation [Line: 13726]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13726-13728] - GenericResultAtLocation [Line: 13731]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13731-13733] - GenericResultAtLocation [Line: 13736]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err), "=r" (__gu_val): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err)); [13736-13738] - GenericResultAtLocation [Line: 13765]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "iq" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13765-13766] - GenericResultAtLocation [Line: 13769]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "ir" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13769-13770] - GenericResultAtLocation [Line: 13773]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "ir" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13773-13774] - GenericResultAtLocation [Line: 13777]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___0): "er" (curr_timebase___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___0)); [13777-13778] - GenericResultAtLocation [Line: 13789]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=q" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13789-13791] - GenericResultAtLocation [Line: 13794]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13794-13796] - GenericResultAtLocation [Line: 13799]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13799-13801] - GenericResultAtLocation [Line: 13804]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___0), "=r" (__gu_val___0): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___0)); [13804-13806] - GenericResultAtLocation [Line: 13838]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "iq" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13838-13839] - GenericResultAtLocation [Line: 13842]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "ir" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13842-13843] - GenericResultAtLocation [Line: 13846]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "ir" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13846-13847] - GenericResultAtLocation [Line: 13850]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___1): "er" (curr_tempo___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___1)); [13850-13851] - GenericResultAtLocation [Line: 13862]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %2,%b1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorb %b1,%b1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=q" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13862-13864] - GenericResultAtLocation [Line: 13867]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %2,%w1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorw %w1,%w1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13867-13869] - GenericResultAtLocation [Line: 13872]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %2,%k1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorl %k1,%k1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13872-13874] - GenericResultAtLocation [Line: 13877]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %2,%1\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\txorq %1,%1\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__gu_err___1), "=r" (__gu_val___1): "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__gu_err___1)); [13877-13879] - GenericResultAtLocation [Line: 13899]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "iq" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13899-13900] - GenericResultAtLocation [Line: 13903]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "ir" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13903-13904] - GenericResultAtLocation [Line: 13907]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "ir" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13907-13908] - GenericResultAtLocation [Line: 13911]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___2): "er" (val), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___2)); [13911-13912] - GenericResultAtLocation [Line: 13923]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovb %b1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "iq" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13923-13924] - GenericResultAtLocation [Line: 13927]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovw %w1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "ir" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13927-13928] - GenericResultAtLocation [Line: 13931]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovl %k1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "ir" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13931-13932] - GenericResultAtLocation [Line: 13935]: Unsoundness Warning Ignoring inline assembler instruction C: __asm__ volatile ("1:\tmovq %1,%2\n2:\n.section .fixup,\"ax\"\n3:\tmov %3,%0\n\tjmp 2b\n.previous\n .section __ex_table,\"a\"\n .balign 8 \n .quad 1b,3b\n .previous\n": "=r" (__pu_err___3): "er" ((int )curr_ticks___0), "m" (*((struct __large_struct *)p)), "i" (-14), "0" (__pu_err___3)); [13935-13936] - UnsupportedSyntaxResult [Line: -1]: Unsupported Syntax The following functions are not defined or handled internally: __bad_size_call_parameter, __get_user_bad, __put_user_bad, __bad_percpu_size RESULT: Ultimate could not prove your program: Toolchain returned no result. Received shutdown request...