Project

General

Profile

Actions
Copy link

Bug #7245

closed

EMG generates variables for labels with conflicting types

Added by Ilja Zakharov almost 8 years ago. Updated over 4 years ago.

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

0%

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

Description

Weaver cannot apply aspects generated by EMG due to conflicting types error.

Related issues 1 (0 open — 1 closed)

Related to Klever - Bug #7043: EMG generates a parameter with incompatible typeClosedIlja Zakharov04/06/2016

Actions
Actions
Copy link
 #1

Updated by Ilja Zakharov almost 8 years ago

Drivers to reproduce:
drivers/md/dm-multipath.ko
drivers/staging/lustre/lnet/lnet/lnet.ko
drivers/misc/sgi-xp/xpc.ko
drivers/md/dm-round-robin.ko
drivers/isdn/hisax/hisax.ko
drivers/md/dm-mirror.ko
net/irda/ircomm/ircomm-tty.ko
...

Actions
Copy link
 #2

Updated by Ilja Zakharov almost 8 years ago

  • Category set to Environment models
Actions
Copy link
 #3

Updated by Ilja Zakharov about 6 years ago

  • Status changed from New to Resolved

Do not see such issues now. Tested with 8066-abstract-translator.

Actions
Copy link
 #4

Updated by Evgeny Novikov over 4 years ago

  • Status changed from Resolved to Closed

It seems that the branch was merged to master a long ago, but issues were not closed at that time.

Actions
Copy link

Also available in: Atom PDF