Project

General

Profile

Actions

Bug #7064

closed

EMG fails on usbcore.ko

Added by Alexey Polushkin about 8 years ago. Updated over 7 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
Environment models
Target version:
-
Start date:
04/12/2016
Due date:
% Done:

0%

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

Description

EMG fails, when analyse drivers/usb/core/usbcore.ko.


Related issues 1 (0 open1 closed)

Is duplicate of Klever - Bug #7456: EMG generates incorrect environment model for drivers/usb/core/usbcore.koClosedIlja Zakharov08/08/2016

Actions
Actions #1

Updated by Evgeny Novikov about 8 years ago

  • Subject changed from Emg fails on usbcore.ko to EMG fails on usbcore.ko
  • Description updated (diff)
  • Category set to Environment models
Actions #2

Updated by Ilja Zakharov about 8 years ago

The problem caused by a declaration AST without a type specifier which is required to determine type.

Actions #3

Updated by Alexey Khoroshilov about 8 years ago

Ilja Zakharov wrote:

The problem caused by a declaration AST without a type specifier which is required to determine type.

What does it mean?

Actions #4

Updated by Ilja Zakharov over 7 years ago

  • Status changed from New to Closed

Dublicates issue #7456 (currently resolved).

Actions #5

Updated by Evgeny Novikov over 7 years ago

  • Status changed from Closed to Rejected
  • Assignee deleted (Ilja Zakharov)

Reject it as the duplicate.

Actions

Also available in: Atom PDF