Bug #547: INTEGRATION ERROR at isdn/hisax/hisax_isac.c - Linux Driver Verification - Open-Source Projects

Actions

Copy link

Bug #547

closed

INTEGRATION ERROR at isdn/hisax/hisax_isac.c

Added by Alexey Khoroshilov about 14 years ago. Updated almost 14 years ago.

Status:

Closed

Priority:

Urgent

Assignee:

Pavel Shved

Category:

Infrastructure

Start date:

11/15/2010

Due date:

% Done:

Estimated time:

Detected in build:

bdca68a

Platform:

Published in build:

Description

ldv-git: NORMAL: Checking drivers/isdn/hisax/hisax_isac.c (400 of 400)...
mv: cannot stat `finished/*': No such file or directory
/home/tester/ldv/opt/ldv-manager/mk/ldv-manager.mk:60: Variable "name" is empty, falling back to "default" 
current--X--commands.xml--X--default commands.xml
if [[ "current" != "current" ]] ; then export PATH=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/inst/current/bin:$PATH ; fi ; LDV_ENVS_TARGET=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/inst/current ldv task --cmdstream=commands.xml --workdir=work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1 --env=/home/tester/.ldv/ldv/envs/1/shadows@08_1,29_1,32_7,37_1,43_1,77_1  
ldv: NORMAL: ldv start.
ldv-task: NORMAL: Start process for environment "/home/tester/.ldv/ldv/envs/1/shadows".
vanilla-extractor: NORMAL: GSOC Linux Vanilla extractor.
ldv-kmanager: NORMAL: Description name = "artificial_env_1".
ldv-kmanager: NORMAL: Kernel successfully prepared.
ldv-task: NORMAL: Calling LDV-core.
ldv-core: NORMAL: Calling Build Command Extractor
build-cmd-extractor: WARNING: Temp directory: "/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/bce_tempdir" - already exists. Reuse it.
cmd-filter: NORMAL: Filter out drivers.
cmd-filter: NORMAL: Remove unused commands.
build-cmd-extractor: NORMAL: Command stream is successfully extracted.
ldv-core: NORMAL: Calling Command Stream Divider.
CSD: NORMAL: Generate cmdstream for driver: "/home/tester/.ldv/ldv/envs/1/shadows/hisax_isac.ko".
CSD: NORMAL: Number of extracted command streams: 1.
ldv-core: NORMAL: Process driver number 0.
ldv-core: NORMAL: Calling Driver Environment Generator
ldv-core: NORMAL: Calling Domain Speicific C-Verifier
dscv: NORMAL: CMDFILE    : /home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/deg_tempdir/cmd_after_deg.xml
dscv: NORMAL: CMDFILE-OUT: /home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/cmd08_1.xml
dscv: NORMAL: BASEDIR: /home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/ri/08_1
dscv: NORMAL: Calling rule_instrumenter for rule model 08_1...
rule-instrumentor: NORMAL: Obtain the absolute path of the current working directory.
rule-instrumentor: NORMAL: Process the command-line options.
rule-instrumentor: NORMAL: Check presence of needed files, executables and directories. Copy needed files and directories.
rule-instrumentor: NORMAL: Get and store information on the required model.
rule-instrumentor: NORMAL: Create a general aspect if it's needed.
rule-instrumentor: NORMAL: Process the commands input file.
rule-instrumentor: NORMAL: Delete auxiliary files in the nondebug modes.
rule-instrumentor: NORMAL: Make all successfully.
dscv: NORMAL: Calling RCV blast backend for cc command 4-llvm-cc...
dscv: NORMAL: Calling RCV blast backend for ld command 4-llvm-ld...
rcv-blast: WARNING: Use of BLAST_EXP_NOALIAS is obsolete!!
rcv-blast: NORMAL: Running BLAST without alias analysis.
rcv-blast: NORMAL: Running BLAST for hisax_isac.ko.linked, entry ldv_main0_plain_sorted_withcheck...
BLAST couldn't find entry point/error location at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 349.
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
INTEGRATION ERROR.  Cmdline:  /home/tester/ldv/opt/bin/../dscv/rcv/blast --cmdfile=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1/model08_1-blast-4-llvm-ld.xml --workdir=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1 --sanity-dir=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv at /home/tester/ldv/opt/bin//dscv line 570.
 at /home/tester/ldv/opt/bin//dscv line 577
 at /home/tester/ldv/opt/bin//dscv line 577
ldv-core: ERROR: DSCV failed.
ldv-task: ERROR: ldv-core failed.
make: *** [work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/checked] Error 1
Code: 512 at /home/tester/ldv/opt/bin/ldv-git line 681.
Verification of drivers/isdn/hisax/hisax_isac.c failed!  Proceeding to the next driver...

Files

hisax_isac.ko.linked.ldv_main0_plain_sorted_withcheck.debug.gz (1.59 KB) hisax_isac.ko.linked.ldv_main0_plain_sorted_withcheck.debug.gz

Alexey Khoroshilov, 11/15/2010 12:51 PM

Related issues 1 (0 open — 1 closed)

Actions

Copy link

Updated by Pavel Shved about 14 years ago

Category set to Infrastructure
Status changed from New to Open
Assignee set to Alexandr Strakh

Since DSCV can't find an entry point/error location, and I don't see that any trace that an environment generator was called, this could be a bug in the main generator.

It also would be useful if you provided BLAST's report file, which resides somewhere here:

/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1/reports/......./*.debug.gz

Actions

Copy link

Updated by Alexey Khoroshilov about 14 years ago

File hisax_isac.ko.linked.ldv_main0_plain_sorted_withcheck.debug.gz hisax_isac.ko.linked.ldv_main0_plain_sorted_withcheck.debug.gz added

The file requested attached.

Actions

Copy link

Updated by Pavel Shved about 14 years ago

Priority changed from Urgent to Normal

Quoting the debug report, it says:

Main function ldv_main0_plain_sorted_withcheck not found in call graph!
Entry point not found.  Exiting.

It doesn't show any errors in this function, so chances are high that it's really not there. Could you check it, please?

grep ldv_main0_plain_sorted_withcheck /home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/isdn/hisax/hisax_isac.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1/preprocessed/hisax_isac.ko.linked.cbe.i

Actions

Copy link

Updated by Alexey Khoroshilov about 14 years ago

Priority changed from Normal to Urgent

Yes, there are no ldv_main functions in that file.

Actions

Copy link

Updated by Alexey Khoroshilov about 14 years ago

I see 73 more INTEGRATION ERRORS in my current test run (ae81c80). For example:

ldv-git: NORMAL: Checking drivers/net/wireless/libertas/debugfs.c (1029 of 2965)...
mv: cannot stat `finished/*': No such file or directory
/home/tester/ldv/opt/ldv-manager/mk/ldv-manager.mk:60: Variable "name" is empty, falling back to "default" 
current--X--commands.xml--X--default commands.xml
if [[ "current" != "current" ]] ; then export PATH=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/inst/current/bin:$PATH ; fi ; LDV_ENVS_TARGET=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/inst/current ldv task --cmdstream=commands.xml --workdir=work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1 --env=/home/tester/.ldv/ldv/envs/1/shadows@08_1,29_1,32_7,37_1,43_1,77_1  
ldv: NORMAL: ldv start.
ldv-task: NORMAL: Start process for environment "/home/tester/.ldv/ldv/envs/1/shadows".
vanilla-extractor: NORMAL: GSOC Linux Vanilla extractor.
ldv-kmanager: NORMAL: Description name = "artificial_env_1".
ldv-kmanager: NORMAL: Kernel successfully prepared.
ldv-task: NORMAL: Calling LDV-core.
ldv-core: NORMAL: Calling Build Command Extractor
build-cmd-extractor: WARNING: Temp directory: "/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/bce_tempdir" - already exists. Reuse it.
cmd-filter: NORMAL: Filter out drivers.
cmd-filter: NORMAL: Remove unused commands.
build-cmd-extractor: NORMAL: Command stream is successfully extracted.
ldv-core: NORMAL: Calling Command Stream Divider.
CSD: NORMAL: Generate cmdstream for driver: "/home/tester/.ldv/ldv/envs/1/shadows/debugfs.ko".
CSD: NORMAL: Number of extracted command streams: 1.
ldv-core: NORMAL: Process driver number 0.
ldv-core: NORMAL: Calling Driver Environment Generator
ldv-core: NORMAL: Calling Domain Speicific C-Verifier
dscv: NORMAL: CMDFILE    : /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/deg_tempdir/cmd_after_deg.xml
dscv: NORMAL: CMDFILE-OUT: /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/cmd08_1.xml
dscv: NORMAL: BASEDIR: /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/ri/08_1
dscv: NORMAL: Calling rule_instrumenter for rule model 08_1...
rule-instrumentor: NORMAL: Obtain the absolute path of the current working directory.
rule-instrumentor: NORMAL: Process the command-line options.
rule-instrumentor: NORMAL: Check presence of needed files, executables and directories. Copy needed files and directories.
rule-instrumentor: NORMAL: Get and store information on the required model.
rule-instrumentor: NORMAL: Create a general aspect if it's needed.
rule-instrumentor: NORMAL: Process the commands input file.
rule-instrumentor: NORMAL: Delete auxiliary files in the nondebug modes.
rule-instrumentor: NORMAL: Make all successfully.
dscv: NORMAL: Calling RCV blast backend for cc command 4-llvm-cc...
dscv: NORMAL: Calling RCV blast backend for ld command 4-llvm-ld...
rcv-blast: WARNING: Use of BLAST_EXP_NOALIAS is obsolete!!
rcv-blast: NORMAL: Running BLAST without alias analysis.
rcv-blast: NORMAL: Running BLAST for debugfs.ko.linked, entry ldv_main0_plain_sorted_withcheck...
BLAST couldn't find entry point/error location at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 349.
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
INTEGRATION ERROR.  Cmdline:  /home/tester/ldv/opt/bin/../dscv/rcv/blast --cmdfile=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1/model08_1-blast-4-llvm-ld.xml --workdir=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1 --sanity-dir=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv at /home/tester/ldv/opt/bin//dscv line 570.
 at /home/tester/ldv/opt/bin//dscv line 577
 at /home/tester/ldv/opt/bin//dscv line 577
ldv-core: ERROR: DSCV failed.
ldv-task: ERROR: ldv-core failed.
make: *** [work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/checked] Error 1
Code: 512 at /home/tester/ldv/opt/bin/ldv-git line 681.
Verification of drivers/net/wireless/libertas/debugfs.c failed!  Proceeding to the next driver...

Actions

Copy link

Updated by Pavel Shved about 14 years ago

Assignee changed from Alexandr Strakh to Pavel Shved

This seems to be the issue with caching... again! Bug #436 was not fixed well enough (there were two places to insert checking to, and I inserted only to one of them).

I hope that 1dffa9df finally fixes this issue. Or it arises again?

Actions

Copy link