Project

General

Profile

Actions

Bug #1366

open

Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables

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

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

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Here's an excerpt from its log

...
Advice was already applied.
Create cpp definition "alloc_page_vma(gfp_mask,vma,addr)=ldv_check_alloc_flags();".
drivers/atm/he.c.p: In function 'ldv_main0_sequence_infinite_withcheck_stateful':
drivers/atm/he.c.p:4022:100: error: 'no_instrument_function' attribute applies only to functions

Is it a known bug? Do I have to provide any information.


Files

he.c (76.7 KB) he.c bad driver's C file Pavel Shved, 06/16/2011 06:16 PM
he.o.xmlcmd (1.91 KB) he.o.xmlcmd bad driver's compile command Pavel Shved, 06/16/2011 06:16 PM
he.o.i (1.5 MB) he.o.i bad driver's preprocessed sources. Pavel Shved, 06/16/2011 06:16 PM
he.c.p (185 KB) he.c.p bad driver's .c.p file Pavel Shved, 06/16/2011 06:29 PM
he.c.p.ma.aw (1.53 MB) he.c.p.ma.aw bad driver's .c.p.ma file Pavel Shved, 06/16/2011 06:29 PM

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 Evgeny Novikov over 13 years ago

  • Status changed from New to Feedback

I see this for the first time. Any additional information will be helpful (how to reproduce, o concrete files and options).

Updated by Pavel Shved over 13 years ago

Rule 43_1a, driver drivers/atm/he.c is attached.

Actions #3

Updated by Evgeny Novikov over 13 years ago

It seems from description that the problem in generated main again. So can you attach he.c.p and he.c.p.ma files?

Updated by Pavel Shved over 13 years ago

here you are (debug level, btw, is 30)

Actions #5

Updated by Evgeny Novikov over 13 years ago

  • Category changed from 15 to Environment Generation
  • Status changed from Feedback to Open
  • Assignee deleted (Evgeny Novikov)

The problem in main generator since it prints:

static int __attribute__ ((__section__(".devinit.text"))) __attribute__((no_instrument_function)) res_he_init_one_3;

in generated main. Most likely that this comes from stupid regexp from function definition:
static int __attribute__ ((__section__(".devinit.text"))) __attribute__((no_instrument_function))
he_init_one(struct pci_dev *pci_dev, const struct pci_device_id *pci_ent)
{ ... }

Actions #6

Updated by Pavel Shved over 13 years ago

  • Assignee set to Vladimir Rubanov
  • Priority changed from Normal to High

This problem is responsible for 80% of aspectator failures on 43_1a rule on my machine.

Actions #7

Updated by Pavel Shved over 13 years ago

  • Assignee changed from Vladimir Rubanov to Vadim Mutilin

Ehh.... Vadim, PLEASE, Change your name appearance to latin!

Actions #8

Updated by Vadim Mutilin over 13 years ago

the driver drivers/atm/he.ko is successfully verified on my machine, on kernel versions 2.6.37, 2.6.39.

LDV_DEBUG=100 ldv-manager envs=linux-2.6.39.tar.bz2 kernel_driver=1 drivers=drivers/atm/he.ko rule_models=43_1a

Which kernel version did you use?

Actions #9

Updated by Pavel Shved over 13 years ago

Most likely, it was from LDV-Git.

Actions #10

Updated by Vadim Mutilin over 13 years ago

fix commited in 6b5bd23
should be tested in association with #1625

Actions #11

Updated by Pavel Shved over 13 years ago

  • Priority changed from High to Normal
Actions #12

Updated by Evgeny Novikov about 13 years ago

  • Subject changed from Aspectator fails with error: 'no_instrument_function' attribute applies only to functions to Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables
Actions #13

Updated by Evgeny Novikov about 13 years ago

Is it ok now? Then close it...

Actions

Also available in: Atom PDF