Linux Driver Verification

Build log contatins line with <anonymous> tag

drivers/block/DAC960.c:5095:30: warning: comparison between ‘DAC960_V2_IOCTL_Opcode_T’ and ‘enum <anonymous>’

Command line:

LDV_DEBUG=100 ldv-manager envs=linux-3.0.7-rt20.tar.bz2 drivers=drivers/ kernel_driver=1 rule_models=68_1 2>&1 | tee log.txt

ldv-task: DEBUG: LDV_ENVS_TARGET=/work/experiments/osadl/check/inst/current /home/mutilin/opt/ldv/ldv/ldv-task-reporter --report-name=report_after_ldv_core.xml --report-out=/work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/report_after_ldv.xml --state-file=/work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/ldv.state --reports-dir=/work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1;

mismatched tag at line 547, column 6, byte 67093 at /usr/lib/perl5/XML/Parser.pm line 187
 at /home/mutilin/opt/ldv/ldv/ldv-task-reporter line 87
 at /home/mutilin/opt/ldv/ldv/ldv-task-reporter line 87
ldv-task-reporter: DEBUG: Process report from file: "/work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/linux-3.0.7-rt20/report_after_ldv_core.xml".
ldv-task: ERROR: LDV reporter failed.
make: *** [work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/checked] Ошибка 1

Log contains also:

deg: DEBUG: Start sanity checks for input cmd stream file...
deg: DEBUG: Check LD command with id:"4104"...
deg: DEBUG: Check CC command for input section with file:"/work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/linux-3.0.7-rt20/csd_deg_dscv/4104/driver/drivers/platform/x86/asus-nb-wmi.o"...
deg: DEBUG: CC command exists.
deg: DEBUG: LD command :"4104" -Ok.
deg: DEBUG: Ok
Нет такого файла или каталога at /home/mutilin/opt/ldv/ldv-core/ldv-core line 260.
ldv-core: WARNING: Fatal error.  Stopping services before reporting...
ldv-core: WARNING: Killing build...
ldv-core: INFO: Shutting down watcher
watcher: DEBUG: Called watcher: /home/mutilin/opt/ldv/ldv-core/../watcher/ldv-watcher fail ldv 1
watcher: TRACE: Checking if exists /work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/linux-3.0.7-rt20/watcher/instance_pool...
watcher: TRACE: Checking if exists /work/experiments/osadl/check/work/current--X--drivers/--X--defaultlinux-3.0.7-rt20--X--68_1/linux-3.0.7-rt20/watcher/key_pool...
watcher: TRACE: : fail ldv 1
watcher:  INFO: Reported failure for ["1"]