Project

General

Profile

Actions
Copy link

Bug #7456

closed

EMG generates incorrect environment model for drivers/usb/core/usbcore.ko

Added by Evgeny Novikov over 7 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
08/08/2016
Due date:
% Done:

0%

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

Description

The generated environment model causes several "error: dereferencing pointer to incomplete type".

Related issues 1 (0 open — 1 closed)

Has duplicate Klever - Bug #7064: EMG fails on usbcore.koRejected04/12/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

  • Subject changed from EMG generates incorrect environment model for _drivers/usb/core/usbcore.ko_ to EMG generates incorrect environment model for drivers/usb/core/usbcore.ko
Actions
Copy link
 #2

Updated by Ilja Zakharov over 7 years ago

  • Status changed from New to Resolved

I checked this on branch 'emg-porting-specs' and it is working well.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 7 years ago

  • Status changed from Resolved to Closed

Now I observe time outs for many various rules on drivers/usb/core/usbcore.ko.

Actions
Copy link

Also available in: Atom PDF