Project

General

Profile

Actions

Bug #7277

closed

EMG generates useless code

Added by Pavel Andrianov almost 8 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Environment models
Target version:
-
Start date:
06/08/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

In the environment model useless functions are often generated. They are not called anywhere. For the drivers/net/wireless/marvell/libertas/libertas.ko one of the useless functions is ldv_dispatch_40_1_deregister.


Related issues 1 (0 open1 closed)

Related to Klever - Bug #7270: EMG incorretly models deregistrationClosedIlja Zakharov06/03/2016

Actions
Actions #1

Updated by Ilja Zakharov almost 8 years ago

  • Priority changed from Normal to Urgent

Deregistration functions should be called, this can be a dangerous bug so it should be properly analysed.

Actions #2

Updated by Ilja Zakharov almost 8 years ago

  • Status changed from New to Feedback
  • Priority changed from Urgent to Normal

Deregistration is reimplemented, so the priority is decreased.

Actions #3

Updated by Evgeny Novikov over 7 years ago

  • Status changed from Feedback to Closed

No feedback during 3 months.

Actions

Also available in: Atom PDF