Feature #6822
closedSupport for workqueues in EMG
0%
Description
EMG should generate invocations of workqueue handlers.
See commit
790cc82~1, drivers/input/misc/arizona-haptics.ko, 32_7a
Updated by Evgeny Novikov over 7 years ago
- Assignee set to Ilja Zakharov
- Priority changed from Normal to Urgent
This is very valuable miss of EMG.
Updated by Evgeny Novikov over 5 years ago
- Priority changed from High to Urgent
- Target version set to 3.0
This support was added in Klever 2.0 but the mentioned validation sub-job was not fixed appropriately (another verifier options are necessary to activate workqueue models).
Updated by Ilja Zakharov over 5 years ago
- Status changed from New to Resolved
- Target version changed from 3.0 to 2.0
Changing verification options has nothing to do with workqueues and EMG. Read the title of the issue once again. Moreover, the verification profiles file already has the necessary configuration set. I propose to open another issue to investigate do we need to turn on function pointer analysis or keep it disabled. In the validation preset the status of the task should be changed from EMG to verifier pointer analysis related problem (or maybe it is another problem there) because EMG has not any "activation" properties and it always generates necessary calls and strictly speaking verification task should already call workqueue handlers.
Updated by Ilja Zakharov over 5 years ago
- Related to Feature #9350: Update validation tasks that require function pointer analysis added
Updated by Ilja Zakharov over 5 years ago
- Status changed from Resolved to Closed
Created the relevant issue about function pointer analysis for validation.