Project

General

Profile

Actions

Bug #436

closed

INTEGRATION ERROR at base/firmware_class.c

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

Status:
Closed
Priority:
High
Category:
-
Start date:
09/15/2010
Due date:
09/21/2010
% Done:

0%

Estimated time:
1.00 h
Detected in build:
fde979d6
Platform:
Published in build:

Description

P.S. There is misprint in log messages: ldv-core: NORMAL: Calling Domain Speicific C-Verifier

hed@ubuntu1010:~/ldv/ldv-gsoc/target/linux-2.6$ ldv-git --force --no-update-meta --filter=base/firmware_class.c check
Ensuring that the database is created...
mysql -e '' -uuser -ppasswd results 
Database ok.
Reading GIT history...
The current commit 2bfc96a127bc1cc94d26bfaa40159966064f9c8c has already been checked.  Forcing it's re-checking (due to --force).
Already checked 76be97c1fc945db08aae1f1b746012662d643e97 found.  I'll use it as base, and check changes only (incremental run).
You'll be able to access results via web browser:

        http://localhost:2280/ldv-gsoc/stats-server/public/index.php/stats/index/mode/git/user/user/password/passwd/host//name/results/task1/Kernel-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/task2/Kernel-76be97c1fc945db08aae1f1b746012662d643e97/

Shadow repository is in /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/shadows
Stashing LDV changes...
Saved working directory and index state WIP on master: 2bfc96a Linux 2.6.36-rc3
HEAD is now at 2bfc96a Linux 2.6.36-rc3
Pulling your changes to shadow repo...
Already up-to-date.
Simulating finished build in intermediate commit 76be97c1fc945db08aae1f1b746012662d643e97...
Note: checking out '76be97c1fc945db08aae1f1b746012662d643e97'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:

  git checkout -b new_branch_name

HEAD is now at 76be97c... Linux 2.6.36-rc2
Previous HEAD position was 76be97c... Linux 2.6.36-rc2
Switched to branch 'master'
Patching shadow kernel...
patching file scripts/Makefile.build
Hunk #1 succeeded at 178 (offset 3 lines).
Hunk #2 succeeded at 221 (offset 3 lines).
Dropped refs/stash@{0} (8044130da54ce8fa683c7fef2a3656bc6a2032dc)
Configuring shadow repository in /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/shadows...
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
scripts/kconfig/conf --allyesconfig arch/x86/Kconfig
#
# configuration written to .config
#
Shadow repository is now prepared to static checking of your Linux Kernel.
Generating list of changed files...
Reading list of changed files...
New: 0
Called: 988
Included: 178
Changed: 184
Filtering changed files...
Generating sets of C files that form drivers...
List of drivers that would be verified:
Checking #1:    drivers/base/firmware_class.c
----------------------------------------------
Total:  1 drivers
Generating build commands for all drivers...
1 drivers to verify...
Running static verification on drivers...
Checking drivers/base/firmware_class.c (1 of 1)...
mv: cannot stat `finished/*': No such file or directory
/home/hed/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/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/inst/current/bin:$PATH ; fi ; LDV_ENVS_TARGET=/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/inst/current ldv task --cmdstream=commands.xml --workdir=work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1 --env=/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/shadows@32_1,77_1,08_1,29_1,37_1,43_1  
ldv: NORMAL: ldv start.
ldv-task: NORMAL: Start process for environment "/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/shadows".
ldv-kmanager: WARNING: Old "artificial_env_1" gsoc description already exists. I try to remove it..
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/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/bce_tempdir" - already exists. Reuse it.
build-cmd-extractor: NORMAL: Command stream is successfully extracted.
ldv-core: NORMAL: Calling Command Stream Divider.
CSD: NORMAL: Generate cmdstream for driver: "/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/shadows/firmware_class.ko".
CSD: NORMAL: Number of extracted command streams: 1.
ldv-core: NORMAL: Process driver number 0.
ldv-core: NORMAL: Calling Driver Environment Generator
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/firmware_class.o,17472,714
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/class.o,15620,615
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/dd.o,10366,424
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/power/main.o,27012,1091
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/core.o,47971,1885
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/power/runtime.o,29454,1140
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/devtmpfs.o,8423,396
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/bus.o,26369,1060
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/devres.o,16330,650
HASH TEST: /home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/driver0/drivers/base/power/sysfs.o,9409,315
ldv-core: NORMAL: Calling Domain Speicific C-Verifier
dscv: NORMAL: Calling rule_instrumenter for rule model 32_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 1...
dscv: NORMAL: Calling RCV blast backend for cc command 1-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 2...
dscv: NORMAL: Calling RCV blast backend for cc command 2-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 3...
dscv: NORMAL: Calling RCV blast backend for cc command 3-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 4...
dscv: NORMAL: Calling RCV blast backend for cc command 4-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 5...
dscv: NORMAL: Calling RCV blast backend for cc command 5-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 6...
dscv: NORMAL: Calling RCV blast backend for cc command 6-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 7...
dscv: NORMAL: Calling RCV blast backend for cc command 7-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 8...
dscv: NORMAL: Calling RCV blast backend for cc command 8-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 9...
dscv: NORMAL: Calling RCV blast backend for cc command 9-with-common-model...
dscv: NORMAL: Calling RCV blast backend for cc command 10...
dscv: NORMAL: Calling RCV blast backend for cc command 10-with-common-model...
dscv: NORMAL: Calling RCV blast backend for ld command 11...
rcv-blast: NORMAL: Running BLAST without alias analysis.
rcv-blast: NORMAL: Running BLAST for firmware_class.ko, entry ldv_main0_plain_sorted_withcheck...
rcv-blast: NORMAL: ldv_main0_plain_sorted_withcheck: BLAST status: Exception
dscv: NORMAL: Calling rule-instrumenter to fix up report for rule 32_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: Make the report successfully.
dscv: NORMAL: Calling rule_instrumenter for rule model 77_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 11-llvm-cc...
dscv: NORMAL: Calling RCV blast backend for ld command 11-llvm-ld...
rcv-blast: NORMAL: Running BLAST without alias analysis.
rcv-blast: NORMAL: Running BLAST for firmware_class.ko.linked, entry ldv_main0_plain_sorted_withcheck...
BLAST couldn't find entry point/error location at /home/hed/ldv/opt/bin/../dscv/rcv/blast line 285.
 at /home/hed/ldv/opt/bin/../dscv/rcv/blast line 90
 at /home/hed/ldv/opt/bin/../dscv/rcv/blast line 90
INTEGRATION ERROR.  Cmdline:  /home/hed/ldv/opt/bin/../dscv/rcv/blast --cmdfile=/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/77_1/model77_1-blast-11-llvm-ld.xml --workdir=/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/77_1 --sanity-dir=/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv at /home/hed/ldv/opt/bin//dscv line 548.
 at /home/hed/ldv/opt/bin//dscv line 555
 at /home/hed/ldv/opt/bin//dscv line 555
ldv-core: ERROR: DSCV failed.
ldv-task: ERROR: ldv-core failed.
make: *** [work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/checked] Error 1
Code: 512 at /home/hed/ldv/ldv-gsoc/ldv-git/ldv-git line 650.
Verification of drivers/base/firmware_class.c failed!  Proceeding to the next driver...
You can access results via browser:

        http://localhost:2280/ldv-gsoc/stats-server/public/index.php/stats/index/mode/git/user/user/password/passwd/host//name/results/task1/Kernel-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/task2/Kernel-76be97c1fc945db08aae1f1b746012662d643e97/

All drivers are verified.

Files


Related issues 3 (0 open3 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 #422: Environment generator doesn't generate label ldv_module_exitClosedVadim Mutilin09/06/2010

Actions
Related to Linux Driver Verification - Bug #547: INTEGRATION ERROR at isdn/hisax/hisax_isac.cClosedPavel Shved11/15/2010

Actions
Actions #1

Updated by Alexey Khoroshilov over 14 years ago

Totally there are 95 such INTEGRATION ERRORS of 1023 drivers verified (~10%).

Actions #2

Updated by Pavel Shved over 14 years ago

We've already encountered a similar error (see issue #416). It's said to be fixed in #422. The thing was that main function contained errors inside its body, and it was skipped by parser. Then it was not found when looking up for the entry point.

To check if it's the case, please, could you, please, attach the relevant .debug.gz file found somewhere inside

/home/hed/ldv/workdir/home/hed/ldv/ldv-gsoc/target/linux-2.6/work/work-2bfc96a127bc1cc94d26bfaa40159966064f9c8c/drivers/base/firmware_class.c/work/current--X--commands.xml--X--defaultshadows--X--32_1--X--77_1--X--08_1--X--29_1--X--37_1--X--43_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/77_1 ...
Actions #4

Updated by Pavel Shved over 14 years ago

  • Due date set to 09/21/2010
  • Status changed from New to Open
  • Assignee set to Pavel Shved
  • Estimated time set to 1.00 h

So, the problem is with caching: the file gets cached during one of previous tool invocation, where it was without a main. Turning off caching removes this integration error.

As a file with main may only appear once during the whole ldv-git run, I'd suggest excluding files with mains from caching at all, and re-generate them always.

Actions #5

Updated by Pavel Shved about 14 years ago

  • Status changed from Open to Feedback
  • Assignee changed from Pavel Shved to Alexey Khoroshilov

This is fixed in ldv-git latest commit.

Need feedback. Does it work for you now, Alexey?

Actions #6

Updated by Evgeny Novikov about 14 years ago

Is it still actual?

Actions #7

Updated by Pavel Shved about 14 years ago

  • Status changed from Feedback to Closed

I was just about to close it.
Caching is a basic functionality, and it should have reappeared quite soon if it wasn't fixed.

Actions

Also available in: Atom PDF