Bug #1366
openEnv-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables
0%
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
Updated by Evgeny Novikov about 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 about 13 years ago
- File he.c he.c added
- File he.o.xmlcmd he.o.xmlcmd added
- File he.o.i he.o.i added
Rule 43_1a, driver drivers/atm/he.c is attached.
Updated by Evgeny Novikov about 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 about 13 years ago
- File he.c.p he.c.p added
- File he.c.p.ma.aw he.c.p.ma.aw added
here you are (debug level, btw, is 30)
Updated by Evgeny Novikov about 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)
{ ... }
Updated by Pavel Shved about 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.
Updated by Pavel Shved about 13 years ago
- Assignee changed from Vladimir Rubanov to Vadim Mutilin
Ehh.... Vadim, PLEASE, Change your name appearance to latin!
Updated by Vadim Mutilin almost 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?
Updated by Vadim Mutilin almost 13 years ago
fix commited in 6b5bd23
should be tested in association with #1625
Updated by Pavel Shved almost 13 years ago
- Priority changed from High to Normal
Updated by Evgeny Novikov over 12 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