Project

General

Profile

Actions
Copy link

Bug #422

closed

Environment generator doesn't generate label ldv_module_exit

Added by Pavel Shved over 14 years ago. Updated almost 14 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
Vadim Mutilin
Category:
Environment Generation
Start date:
09/06/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
9dcab5d6b56e87ecc47e80d99594cd0f33006a39
Platform:
Published in build:
7e62c9a9e53d802f49f6953bcf3e162e7b2dcdc8

Description

Model doesn't generate label ldv_module_exit itself, while it generated goto to it. This is an error.

Moreover, this leads to not finding main functions, which contain this label. See bug #416 for more details and example.

Related issues 2 (0 open — 2 closed)

Related to Linux Driver Verification - Bug #416: BLAST fails on the example in which the LDV_ERROR label and ldv_main are defined in different filesClosedPavel Shved09/03/201009/07/2010

Actions
Related to Linux Driver Verification - Bug #436: INTEGRATION ERROR at base/firmware_class.cClosedAlexey Khoroshilov09/15/201009/21/2010

Actions
Actions
Copy link
 #1

Updated by Vadim Mutilin over 14 years ago

If module_exit callback not found in C code then ldv_module_exit label is not generated.
TODO: separate label and module exit call.

Actions
Copy link
 #2

Updated by Vadim Mutilin over 14 years ago

  • Published in build set to 7e62c9a9e53d802f49f6953bcf3e162e7b2dcdc8
Actions
Copy link
 #3

Updated by Vadim Mutilin over 14 years ago

  • Status changed from Open to Closed
Actions
Copy link

Also available in: Atom PDF