Project

General

Profile

Feature #6822

Support for workqueues in EMG

Added by Vadim Mutilin over 3 years ago. Updated 7 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
Start date:
02/08/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

EMG should generate invocations of workqueue handlers.
See commit

790cc82~1, drivers/input/misc/arizona-haptics.ko, 32_7a


Related issues

Related to Klever - Feature #9350: Update validation tasks that require function pointer analysisNew10/26/2018

Actions

History

#1

Updated by Ilja Zakharov over 3 years ago

  • Priority changed from High to Normal
#2

Updated by Evgeny Novikov over 2 years ago

  • Assignee set to Ilja Zakharov
  • Priority changed from Normal to Urgent

This is very valuable miss of EMG.

#3

Updated by Ilja Zakharov about 2 years ago

  • Priority changed from Urgent to High
#4

Updated by Evgeny Novikov 7 months ago

  • Target version set to 3.0
  • Priority changed from High to Urgent

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).

#5

Updated by Ilja Zakharov 7 months ago

  • Target version changed from 3.0 to 2.0
  • Status changed from New to Resolved

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.

#6

Updated by Ilja Zakharov 7 months ago

  • Related to Feature #9350: Update validation tasks that require function pointer analysis added
#7

Updated by Ilja Zakharov 7 months ago

  • Status changed from Resolved to Closed

Created the relevant issue about function pointer analysis for validation.

Also available in: Atom PDF