Project

General

Profile

Actions

Bug #1195

open

drv-env fails to generate ifdefs for interrupt handler in yellowfin.ko

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

Status:
Open
Priority:
Normal
Assignee:
Category:
Environment Generation
Start date:
05/11/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
5b7ee41
Platform:
Published in build:

Description

Driver drivers/net/yellowfin.ko fails with No entry point message

The log shows that preprocessing failed at ifdefs

/home/mutilin/test-gen_interrupt/work/current--X--drivers/--X--defaultlinux-2.6.37--X--32_7/linux-2.6.37/csd_deg_dscv/1563/dscv_tempdir/dscv/ri/32_7/drivers/net/yellowfin.c.common.c:2834: error: #endif without #if
/home/mutilin/test-gen_interrupt/work/current--X--drivers/--X--defaultlinux-2.6.37--X--32_7/linux-2.6.37/csd_deg_dscv/1563/dscv_tempdir/dscv/ri/32_7/drivers/net/yellowfin.c.common.c:3006: error: #endif without #if
PREPROCESS ERROR!  Recovery is unimplemented at /home/mutilin/opt/ldv/bin/../shared/perl/DSCV/RCV/Utils.pm line 329.
 at /home/mutilin/opt/ldv/bin/../dscv/rcv/blast line 113
 at /home/mutilin/opt/ldv/bin/../dscv/rcv/blast line 113
dscv: WARNING: Fatal error.  Stopping services before reporting...
dscv: INFO: Shutting down watcher

The drv-env generated the following code:

ldv_main0_sequence_infinite_withcheck_stateful
                               /* LDV_COMMENT_FUNCTION_CALL */
                                yellowfin_interrupt( var_yellowfin_interrupt_9_p0, var_yellowfin_interrupt_9_p1);
                                /* LDV_COMMENT_BEGIN_PREP */
                                #endif


Related issues 1 (1 open0 closed)

Blocks Linux Driver Verification - Bug #1276: Compile errors made by DEG (rollup)NewVadim Mutilin05/24/2011

Actions
Actions #1

Updated by Pavel Shved over 13 years ago

  • Status changed from New to Open

Confirmed. It prevented cluster runs of master from finishing. There is a preprocessing error indeed.

However, instead of fixing maingen, I fixed cluster and watcher, so that now preprocessing is not a fatal error, and is shown in Problems in the RCV section.

Actions #2

Updated by Evgeny Novikov over 13 years ago

Aspectator also catches this problem:

drivers/net/yellowfin.c.p:2844:6: error: #endif without #if
drivers/net/yellowfin.c.p:3016:2: error: #endif without #if
Aspectator fails on the 2d stage

Actions

Also available in: Atom PDF