Bug #1366
open
Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables
Added by Pavel Shved about 13 years ago.
Updated over 12 years ago.
Category:
Environment Generation
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 open — 0 closed)
- 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).
Rule 43_1a, driver drivers/atm/he.c is attached.
It seems from description that the problem in generated main again. So can you attach he.c.p and he.c.p.ma files?
here you are (debug level, btw, is 30)
- 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)
{ ... }
- 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.
- Assignee changed from Vladimir Rubanov to Vadim Mutilin
Ehh.... Vadim, PLEASE, Change your name appearance to latin!
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?
Most likely, it was from LDV-Git.
fix commited in 6b5bd23
should be tested in association with #1625
- Priority changed from High to Normal
- 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
Is it ok now? Then close it...
Also available in: Atom
PDF