Project

General

Profile

Actions

Bug #1158

closed

GCC-aspectator re-defines integers instead of export

Added by Pavel Shved about 13 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
High
Category:
-
Start date:
05/03/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
4ec46d7 model-43_1a

Description

Steps to reproduce:

LDV_DEBUG=30 ldv-manager rule_models=32_1a "envs=linux-2.6.31.6.tar.bz2" drivers=drivers/hid/hid.ko kernel_driver=1 name=ri03

Let's check the file work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/cmdfiles/rcv/32_1a/preprocessed/drivers-hid-hid-core.o.general.i

# 56 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
int hid_debug = 0;
static inline int *__check_debug(void)
{
# 57 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
  return & hid_debug;
}
# 57 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static int __param_perm_check_debug = 0;
# 57 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static char const __param_str_debug[6U] = "debug";
# 57 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static struct kernel_param const __param_debug = { . name = ( char const *) & __param_str_debug , . perm = 384U , . flags = 0U , . set = & param_set_int , . get = & param_get_int , . ldv_9522 = { . arg = ( void *) & hid_debug } };
# 57 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static char const __mod_debugtype57[19U] = "parmtype=debug:int";
static char const __mod_debug58[76U] = "parm=debug:HID debugging (0=off, 1=probing info, 2=continuous data dumping)";
# 56 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
int hid_debug = 0;
# 59 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
extern void *__crc_hid_debug;
# 59 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static long unsigned int const __kcrctab_hid_debug = ( long unsigned int ) & __crc_hid_debug;
# 59 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static char const __kstrtab_hid_debug[10U] = "hid_debug";
# 59 "/home/pavel/work/ldv/test/work/current--X--drivers/hid/hid.ko--X--ri03linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/17/dscv_tempdir/dscv/ri/32_1a/drivers/hid/hid-core.c.p" 
static struct kernel_symbol const __ksymtab_hid_debug = { . value = ( long unsigned int ) & hid_debug , . name = ( char const *) & __kstrtab_hid_debug };

We see two int hid_debug here, and BLAST doesn't like redefinition of global variables (let alone it's not a compilable C code). What makes me think it's an aspectator's error are not monotonic line numbers: 56-57-56-59.


Related issues 2 (1 open1 closed)

Related to Linux Driver Verification - Bug #1167: Bugs related with 32_1a modelOpen05/03/2011

Actions
Related to C Instrumentation Framework - Bug #1160: New aspectator doesn't convert abs() function properlyClosedEvgeny Novikov05/03/2011

Actions
Actions

Also available in: Atom PDF