Project

General

Profile

Actions
Copy link

Bug #416

closed

BLAST fails on the example in which the LDV_ERROR label and ldv_main are defined in different files

Added by Vadim Mutilin almost 14 years ago. Updated over 13 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
Pavel Shved
Category:
BLAST
Start date:
09/03/2010
Due date:
09/07/2010
% Done:

0%

Estimated time:
2.00 h
Detected in build:
9dcab5d6b56e87ecc47e80d99594cd0f33006a39
Platform:
Published in build:

Description

rcv-blast: NORMAL: Running BLAST with alias analysis (this may take longer).
rcv-blast: NORMAL: Running BLAST for drivers/tests-envgen/test-twomains-mutex/twomains.ko, entry ldv_main1_plain_sorted_withcheck...
rcv-blast: INFO: /home/mutilin/opt/ldv/bin/../shared/sh/timeout -m 1000000 -t 900 pblast.opt /home/mutilin/temp/ldv-tools-test/test-envmodels/launcher-working-dir/ldv-manager-work-dir/work/current--X--tests-envgen--test-twomains-mutex.tar.bz2--X--defaultmykernel-1-2.6.32.15--X--32_1/mykernel-1-2.6.32.15/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/32_1/preprocessed/drivers-tests-envgen-test-twomains-mutex-main1_mod.c.common.i /home/mutilin/temp/ldv-tools-test/test-envmodels/launcher-working-dir/ldv-manager-work-dir/work/current--X--tests-envgen--test-twomains-mutex.tar.bz2--X--defaultmykernel-1-2.6.32.15--X--32_1/mykernel-1-2.6.32.15/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/32_1/preprocessed/drivers-tests-envgen-test-twomains-mutex-main2_obj.i -predH 7 -craig 2 -ignoredupfn -nosserr -main ldv_main1_plain_sorted_withcheck -L LDV_ERROR -cldepth 0 -alias bdd -cref -nomusts -const -devdebug
BLAST couldn't find entry point/error location at /home/mutilin/opt/ldv/bin/../dscv/rcv/blast line 285.
 at /home/mutilin/opt/ldv/bin/../dscv/rcv/blast line 90
 at /home/mutilin/opt/ldv/bin/../dscv/rcv/blast line 90
rcv-blast: INFO: BLAST debug trace is being written to /home/mutilin/temp/ldv-tools-test/test-envmodels/launcher-working-dir/ldv-manager-work-dir/work/current--X--tests-envgen--test-twomains-mutex.tar.bz2--X--defaultmykernel-1-2.6.32.15--X--32_1/mykernel-1-2.6.32.15/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/32_1/reports/drivers/tests-envgen/test-twomains-mutex/twomains.ko.ldv_main1_plain_sorted_withcheck.debug.gz
rcv-blast: TRACE: BLAST open3 return value: 768
rcv-blast: INFO: BLAST return value: 768
rcv-blast: TRACE: BLAST stats: utime 0.97206, stime 0.144009

Files

Download all files
drivers-tests-envgen-test-twomains-mutex-main2_obj.i (645 KB) drivers-tests-envgen-test-twomains-mutex-main2_obj.i ldv_main1 Vadim Mutilin, 09/03/2010 02:41 PM
drivers-tests-envgen-test-twomains-mutex-main1_mod.c.common.i (649 KB) drivers-tests-envgen-test-twomains-mutex-main1_mod.c.common.i ldv_main0 Vadim Mutilin, 09/03/2010 02:41 PM
twomains.ko.ldv_main1_plain_sorted_withcheck.debug.gz (822 Bytes) twomains.ko.ldv_main1_plain_sorted_withcheck.debug.gz debug Vadim Mutilin, 09/03/2010 02:41 PM
a.c (47 Bytes) a.c first file to check that different files are ok Pavel Shved, 09/06/2010 11:24 AM
b.c (62 Bytes) b.c second file to check that different files are ok Pavel Shved, 09/06/2010 11:24 AM

Related issues 2 (0 open — 2 closed)

Related to Linux Driver Verification - Bug #422: Environment generator doesn't generate label ldv_module_exitClosedVadim Mutilin09/06/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

Also available in: Atom PDF